0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
1.97/2.07 c #variables 400896 #constraints 402763
1.97/2.07 c objective is ce32
2.07/2.13 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
2.07/2.13 c initial counting CF 32, 64, 128, Arb: 2 , 0 , 0 , 0
2.07/2.13 c GLOBAL bounds - >= -4260887 @ 1.66663
2.46/2.51 c GLOBAL bounds - >= -4260887 @ 1.81728
2.76/2.89 c GLOBAL bounds - >= -4260887 @ 1.94153
3.16/3.27 c GLOBAL bounds - >= -4260887 @ 2.07722
3.56/3.64 c GLOBAL bounds - >= -4260887 @ 2.1926
3.97/4.02 c GLOBAL bounds - >= -4260887 @ 2.3372
4.26/4.39 c GLOBAL bounds - >= -4260887 @ 2.47598
4.66/4.77 c GLOBAL bounds - >= -4260887 @ 2.62125
5.07/5.15 c GLOBAL bounds - >= -4260887 @ 2.74998
5.46/5.52 c GLOBAL bounds - >= -4260887 @ 2.91283
5.86/5.90 c GLOBAL bounds - >= -4260887 @ 3.06325
6.15/6.28 c GLOBAL bounds - >= -4260887 @ 3.18742
6.55/6.67 c GLOBAL bounds - >= -4260887 @ 3.34098
6.96/7.06 c GLOBAL bounds - >= -4260887 @ 3.4912
7.36/7.45 c GLOBAL bounds - >= -4260887 @ 3.65055
7.76/7.84 c GLOBAL bounds - >= -4260887 @ 3.78107
8.16/8.23 c GLOBAL bounds - >= -4260887 @ 3.9041
8.55/8.62 c GLOBAL bounds - >= -4260887 @ 4.03667
8.96/9.01 c GLOBAL bounds - >= -4260887 @ 4.17952
9.35/9.40 c GLOBAL bounds - >= -4260887 @ 4.3122
9.65/9.80 c GLOBAL bounds - >= -4260887 @ 4.45133
10.05/10.19 c GLOBAL bounds - >= -4260887 @ 4.60007
10.45/10.58 c GLOBAL bounds - >= -4260887 @ 4.72075
10.84/10.97 c GLOBAL bounds - >= -4260887 @ 4.85243
11.24/11.36 c GLOBAL bounds - >= -4260887 @ 4.98041
11.65/11.75 c GLOBAL bounds - >= -4260887 @ 5.10919
12.05/12.14 c GLOBAL bounds - >= -4260887 @ 5.25506
12.44/12.53 c GLOBAL bounds - >= -4260887 @ 5.38296
12.85/12.92 c GLOBAL bounds - >= -4260887 @ 5.51201
13.24/13.31 c GLOBAL bounds - >= -4260887 @ 5.63781
13.64/13.71 c GLOBAL bounds - >= -4260887 @ 5.77456
13.95/14.10 c GLOBAL bounds - >= -4260887 @ 5.93312
14.34/14.49 c GLOBAL bounds - >= -4260887 @ 6.06907
14.74/14.88 c GLOBAL bounds - >= -4260887 @ 6.21881
15.14/15.27 c GLOBAL bounds - >= -4260887 @ 6.36049
15.54/15.66 c GLOBAL bounds - >= -4260887 @ 6.48933
15.95/16.05 c GLOBAL bounds - >= -4260887 @ 6.62619
16.33/16.44 c GLOBAL bounds - >= -4260887 @ 6.76005
16.74/16.83 c GLOBAL bounds - >= -4260887 @ 6.89092
17.14/17.23 c GLOBAL bounds - >= -4260887 @ 7.02394
17.53/17.62 c GLOBAL bounds - >= -4260887 @ 7.15488
17.94/18.02 c GLOBAL bounds - >= -4260887 @ 7.26837
18.33/18.41 c GLOBAL bounds - >= -4260887 @ 7.4046
18.74/18.80 c GLOBAL bounds - >= -4260887 @ 7.54285
19.04/19.19 c GLOBAL bounds - >= -4260887 @ 7.70194
19.43/19.58 c GLOBAL bounds - >= -4260887 @ 7.83904
19.84/19.97 c GLOBAL bounds - >= -4260887 @ 7.98131
20.23/20.36 c GLOBAL bounds - >= -4260887 @ 8.11379
20.62/20.75 c GLOBAL bounds - >= -4260887 @ 8.25642
21.03/21.15 c GLOBAL bounds - >= -4260887 @ 8.39883
21.43/21.54 c GLOBAL bounds - >= -4260887 @ 8.55155
21.83/21.93 c GLOBAL bounds - >= -4260887 @ 8.68775
22.23/22.32 c GLOBAL bounds - >= -4260887 @ 8.82927
22.62/22.71 c GLOBAL bounds - >= -4260887 @ 8.97567
23.03/23.10 c GLOBAL bounds - >= -4260887 @ 9.12572
23.32/23.49 c GLOBAL bounds - >= -4260887 @ 9.27131
23.73/23.88 c GLOBAL bounds - >= -4260887 @ 9.41074
24.13/24.28 c GLOBAL bounds - >= -4260887 @ 9.54515
24.52/24.67 c GLOBAL bounds - >= -4260887 @ 9.6878
24.93/25.06 c GLOBAL bounds - >= -4260887 @ 9.83251
25.32/25.45 c GLOBAL bounds - >= -4260887 @ 9.97524
25.72/25.84 c GLOBAL bounds - >= -4260887 @ 10.1161
26.12/26.23 c GLOBAL bounds - >= -4260887 @ 10.2482
26.52/26.62 c GLOBAL bounds - >= -4260887 @ 10.3646
26.93/27.01 c GLOBAL bounds - >= -4260887 @ 10.5182
27.32/27.41 c GLOBAL bounds - >= -4260887 @ 10.6501
27.72/27.80 c GLOBAL bounds - >= -4260887 @ 10.7973
28.02/28.19 c GLOBAL bounds - >= -4260887 @ 10.9337
28.42/28.58 c GLOBAL bounds - >= -4260887 @ 11.0591
28.82/28.97 c GLOBAL bounds - >= -4260887 @ 11.1983
29.21/29.36 c GLOBAL bounds - >= -4260887 @ 11.333
29.61/29.75 c GLOBAL bounds - >= -4260887 @ 11.4638
30.02/30.15 c GLOBAL bounds - >= -4260887 @ 11.6075
30.41/30.54 c GLOBAL bounds - >= -4260887 @ 11.7313
30.81/30.93 c GLOBAL bounds - >= -4260887 @ 11.879
31.21/31.32 c GLOBAL bounds - >= -4260887 @ 12.0078
31.61/31.71 c GLOBAL bounds - >= -4260887 @ 12.1531
32.02/32.10 c GLOBAL bounds - >= -4260887 @ 12.304
32.40/32.50 c GLOBAL bounds - >= -4260887 @ 12.4488
32.70/32.89 c GLOBAL bounds - >= -4260887 @ 12.6
33.10/33.28 c GLOBAL bounds - >= -4260887 @ 12.7299
33.50/33.67 c GLOBAL bounds - >= -4260887 @ 12.8664
33.91/34.06 c GLOBAL bounds - >= -4260887 @ 13.0014
34.30/34.45 c GLOBAL bounds - >= -4260887 @ 13.1368
34.70/34.85 c GLOBAL bounds - >= -4260887 @ 13.2744
35.11/35.24 c GLOBAL bounds - >= -4260887 @ 13.4046
35.50/35.63 c GLOBAL bounds - >= -4260887 @ 13.5394
35.90/36.02 c GLOBAL bounds - >= -4260887 @ 13.6836
36.30/36.41 c GLOBAL bounds - >= -4260887 @ 13.8371
36.70/36.80 c GLOBAL bounds - >= -4260887 @ 13.989
37.09/37.20 c GLOBAL bounds - >= -4260887 @ 14.1166
37.39/37.59 c GLOBAL bounds - >= -4260887 @ 14.2628
37.79/37.98 c GLOBAL bounds - >= -4260887 @ 14.406
38.20/38.37 c GLOBAL bounds - >= -4260887 @ 14.5609
38.59/38.77 c GLOBAL bounds - >= -4260887 @ 14.7014
39.00/39.16 c GLOBAL bounds - >= -4260887 @ 14.849
39.39/39.55 c GLOBAL bounds - >= -4260887 @ 14.983
39.79/39.94 c GLOBAL bounds - >= -4260887 @ 15.1293
40.19/40.34 c GLOBAL bounds - >= -4260887 @ 15.277
40.59/40.73 c GLOBAL bounds - >= -4260887 @ 15.42
41.00/41.12 c GLOBAL bounds - >= -4260887 @ 15.5514
41.39/41.51 c GLOBAL bounds - >= -4260887 @ 15.6895
41.78/41.90 c GLOBAL bounds - >= -4260887 @ 15.8318
42.18/42.30 c GLOBAL bounds - >= -4260887 @ 15.9673
42.49/42.69 c GLOBAL bounds - >= -4260887 @ 16.1053
42.89/43.08 c GLOBAL bounds - >= -4260887 @ 16.2476
43.28/43.48 c GLOBAL bounds - >= -4260887 @ 16.3827
43.68/43.87 c GLOBAL bounds - >= -4260887 @ 16.4984
44.08/44.26 c GLOBAL bounds - >= -4260887 @ 16.6414
44.48/44.65 c GLOBAL bounds - >= -4260887 @ 16.7857
44.88/45.05 c GLOBAL bounds - >= -4260887 @ 16.9306
45.27/45.44 c GLOBAL bounds - >= -4260887 @ 17.0891
45.68/45.83 c GLOBAL bounds - >= -4260887 @ 17.2526
46.08/46.23 c GLOBAL bounds - >= -4260887 @ 17.4083
46.48/46.62 c GLOBAL bounds - >= -4260887 @ 17.5422
46.87/47.02 c GLOBAL bounds - >= -4260887 @ 17.6904
47.27/47.41 c GLOBAL bounds - >= -4260887 @ 17.8134
47.67/47.80 c GLOBAL bounds - >= -4260887 @ 17.9644
48.08/48.20 c GLOBAL bounds - >= -4260887 @ 18.1109
48.37/48.59 c GLOBAL bounds - >= -4260887 @ 18.2436
48.77/48.98 c GLOBAL bounds - >= -4260887 @ 18.3771
49.17/49.37 c GLOBAL bounds - >= -4260887 @ 18.5028
49.56/49.77 c GLOBAL bounds - >= -4260887 @ 18.6166
49.98/50.16 c GLOBAL bounds - >= -4260887 @ 18.7579
50.37/50.55 c GLOBAL bounds - >= -4260887 @ 18.8929
50.77/50.95 c GLOBAL bounds - >= -4260887 @ 19.0437
51.17/51.34 c GLOBAL bounds - >= -4260887 @ 19.1801
51.56/51.74 c GLOBAL bounds - >= -4260887 @ 19.3498
51.97/52.13 c GLOBAL bounds - >= -4260887 @ 19.501
52.37/52.53 c GLOBAL bounds - >= -4260887 @ 19.6303
52.76/52.92 c GLOBAL bounds - >= -4260887 @ 19.793
53.16/53.32 c GLOBAL bounds - >= -4260887 @ 19.9395
53.56/53.72 c GLOBAL bounds - >= -4260887 @ 20.0725
53.97/54.11 c GLOBAL bounds - >= -4260887 @ 20.21
54.35/54.50 c GLOBAL bounds - >= -4260887 @ 20.355
54.75/54.90 c GLOBAL bounds - >= -4260887 @ 20.5103
55.06/55.29 c GLOBAL bounds - >= -4260887 @ 20.645
55.46/55.69 c GLOBAL bounds - >= -4260887 @ 20.7877
55.86/56.08 c GLOBAL bounds - >= -4260887 @ 20.9203
56.25/56.48 c GLOBAL bounds - >= -4260887 @ 21.073
56.65/56.87 c GLOBAL bounds - >= -4260887 @ 21.2129
57.05/57.27 c GLOBAL bounds - >= -4260887 @ 21.3628
57.46/57.66 c GLOBAL bounds - >= -4260887 @ 21.4955
57.86/58.06 c GLOBAL bounds - >= -4260887 @ 21.6368
58.25/58.45 c GLOBAL bounds - >= -4260887 @ 21.7791
58.65/58.84 c GLOBAL bounds - >= -4260887 @ 21.9285
59.04/59.24 c GLOBAL bounds - >= -4260887 @ 22.0876
59.44/59.63 c GLOBAL bounds - >= -4260887 @ 22.2405
59.85/60.03 c GLOBAL bounds - >= -4260887 @ 22.3791
60.25/60.42 c GLOBAL bounds - >= -4260887 @ 22.5289
60.65/60.81 c GLOBAL bounds - >= -4260887 @ 22.6808
61.04/61.21 c GLOBAL bounds - >= -4260887 @ 22.822
61.44/61.61 c GLOBAL bounds - >= -4260887 @ 22.975
61.84/62.00 c GLOBAL bounds - >= -4260887 @ 23.1292
62.24/62.40 c GLOBAL bounds - >= -4260887 @ 23.2709
62.64/62.80 c GLOBAL bounds - >= -4260887 @ 23.4146
62.95/63.19 c GLOBAL bounds - >= -4260887 @ 23.5603
63.33/63.59 c GLOBAL bounds - >= -4260887 @ 23.717
63.73/63.98 c GLOBAL bounds - >= -4260887 @ 23.8587
64.13/64.38 c GLOBAL bounds - >= -4260887 @ 24.0034
64.54/64.77 c GLOBAL bounds - >= -4260887 @ 24.1531
64.94/65.17 c GLOBAL bounds - >= -4260887 @ 24.2883
65.33/65.56 c GLOBAL bounds - >= -4260887 @ 24.4449
65.74/65.96 c GLOBAL bounds - >= -4260887 @ 24.5852
66.13/66.36 c GLOBAL bounds - >= -4260887 @ 24.7355
66.53/66.75 c GLOBAL bounds - >= -4260887 @ 24.8892
66.93/67.15 c GLOBAL bounds - >= -4260887 @ 25.0366
67.32/67.55 c GLOBAL bounds - >= -4260887 @ 25.192
67.72/67.94 c GLOBAL bounds - >= -4260887 @ 25.3424
68.13/68.34 c GLOBAL bounds - >= -4260887 @ 25.4988
68.53/68.74 c GLOBAL bounds - >= -4260887 @ 25.6295
68.93/69.13 c GLOBAL bounds - >= -4260887 @ 25.776
69.32/69.53 c GLOBAL bounds - >= -4260887 @ 25.9009
69.73/69.92 c GLOBAL bounds - >= -4260887 @ 26.0447
70.12/70.32 c GLOBAL bounds - >= -4260887 @ 26.2116
70.52/70.72 c GLOBAL bounds - >= -4260887 @ 26.3462
70.92/71.12 c GLOBAL bounds - >= -4260887 @ 26.5043
71.32/71.51 c GLOBAL bounds - >= -4260887 @ 26.656
71.72/71.90 c GLOBAL bounds - >= -4260887 @ 26.7903
72.12/72.30 c GLOBAL bounds - >= -4260887 @ 26.9445
72.42/72.70 c GLOBAL bounds - >= -4260887 @ 27.0842
72.83/73.09 c GLOBAL bounds - >= -4260887 @ 27.2248
73.21/73.49 c GLOBAL bounds - >= -4260887 @ 27.3754
73.62/73.89 c GLOBAL bounds - >= -4260887 @ 27.5346
74.01/74.29 c GLOBAL bounds - >= -4260887 @ 27.6834
74.41/74.69 c GLOBAL bounds - >= -4260887 @ 27.8423
74.82/75.09 c GLOBAL bounds - >= -4260887 @ 27.9748
75.21/75.49 c GLOBAL bounds - >= -4260887 @ 28.1143
75.61/75.89 c GLOBAL bounds - >= -4260887 @ 28.2774
76.01/76.28 c GLOBAL bounds - >= -4260887 @ 28.4236
76.41/76.68 c GLOBAL bounds - >= -4260887 @ 28.5656
76.81/77.07 c GLOBAL bounds - >= -4260887 @ 28.725
77.21/77.47 c GLOBAL bounds - >= -4260887 @ 28.878
77.61/77.86 c GLOBAL bounds - >= -4260887 @ 29.0336
78.00/78.26 c GLOBAL bounds - >= -4260887 @ 29.1727
78.40/78.66 c GLOBAL bounds - >= -4260887 @ 29.3177
78.81/79.06 c GLOBAL bounds - >= -4260887 @ 29.4662
79.20/79.45 c GLOBAL bounds - >= -4260887 @ 29.6133
79.60/79.86 c GLOBAL bounds - >= -4260887 @ 29.7713
79.99/80.25 c GLOBAL bounds - >= -4260887 @ 29.9052
80.40/80.65 c GLOBAL bounds - >= -4260887 @ 30.0595
80.81/81.05 c GLOBAL bounds - >= -4260887 @ 30.1985
81.19/81.45 c GLOBAL bounds - >= -4260887 @ 30.3492
81.59/81.85 c GLOBAL bounds - >= -4260887 @ 30.4909
81.99/82.25 c GLOBAL bounds - >= -4260887 @ 30.6533
82.39/82.65 c GLOBAL bounds - >= -4260887 @ 30.8008
82.79/83.06 c GLOBAL bounds - >= -4260887 @ 30.9527
83.19/83.46 c GLOBAL bounds - >= -4260887 @ 31.1232
83.59/83.87 c GLOBAL bounds - >= -4260887 @ 31.2857
83.99/84.27 c GLOBAL bounds - >= -4260887 @ 31.4425
84.39/84.67 c GLOBAL bounds - >= -4260887 @ 31.5874
84.79/85.08 c GLOBAL bounds - >= -4260887 @ 31.7406
85.19/85.48 c GLOBAL bounds - >= -4260887 @ 31.8871
85.59/85.88 c GLOBAL bounds - >= -4260887 @ 32.0215
85.98/86.28 c GLOBAL bounds - >= -4260887 @ 32.1664
86.39/86.69 c GLOBAL bounds - >= -4260887 @ 32.3172
86.79/87.10 c GLOBAL bounds - >= -4260887 @ 32.4532
87.28/87.50 c GLOBAL bounds - >= -4260887 @ 32.6214
87.68/87.90 c GLOBAL bounds - >= -4260887 @ 32.7641
88.08/88.30 c GLOBAL bounds - >= -4260887 @ 32.9187
88.48/88.70 c GLOBAL bounds - >= -4260887 @ 33.0723
88.88/89.10 c GLOBAL bounds - >= -4260887 @ 33.2086
89.28/89.50 c GLOBAL bounds - >= -4260887 @ 33.3566
89.68/89.90 c GLOBAL bounds - >= -4260887 @ 33.5371
90.07/90.31 c GLOBAL bounds - >= -4260887 @ 33.6971
90.47/90.71 c GLOBAL bounds - >= -4260887 @ 33.8535
90.88/91.11 c GLOBAL bounds - >= -4260887 @ 34.0109
91.28/91.51 c GLOBAL bounds - >= -4260887 @ 34.1717
91.67/91.91 c GLOBAL bounds - >= -4260887 @ 34.3114
92.07/92.31 c GLOBAL bounds - >= -4260887 @ 34.4429
92.47/92.70 c GLOBAL bounds - >= -4260887 @ 34.5895
92.87/93.10 c GLOBAL bounds - >= -4260887 @ 34.7362
93.27/93.50 c GLOBAL bounds - >= -4260887 @ 34.8908
93.66/93.90 c GLOBAL bounds - >= -4260887 @ 35.0325
94.06/94.30 c GLOBAL bounds - >= -4260887 @ 35.175
94.46/94.70 c GLOBAL bounds - >= -4260887 @ 35.322
94.87/95.10 c GLOBAL bounds - >= -4260887 @ 35.466
95.26/95.51 c GLOBAL bounds - >= -4260887 @ 35.6339
95.66/95.91 c GLOBAL bounds - >= -4260887 @ 35.7815
96.06/96.31 c GLOBAL bounds - >= -4260887 @ 35.9275
96.46/96.71 c GLOBAL bounds - >= -4260887 @ 36.0794
96.86/97.10 c GLOBAL bounds - >= -4260887 @ 36.2148
97.26/97.50 c GLOBAL bounds - >= -4260887 @ 36.3771
97.65/97.90 c GLOBAL bounds - >= -4260887 @ 36.515
98.05/98.31 c GLOBAL bounds - >= -4260887 @ 36.6724
98.46/98.71 c GLOBAL bounds - >= -4260887 @ 36.8191
98.86/99.11 c GLOBAL bounds - >= -4260887 @ 36.9826
99.25/99.52 c GLOBAL bounds - >= -4260887 @ 37.1224
99.65/99.92 c GLOBAL bounds - >= -4260887 @ 37.2684
100.05/100.33 c GLOBAL bounds - >= -4260887 @ 37.4339
100.45/100.72 c GLOBAL bounds - >= -4260887 @ 37.5687
100.85/101.14 c GLOBAL bounds - >= -4260887 @ 37.7499
101.25/101.55 c GLOBAL bounds - >= -4260887 @ 37.9174
101.65/101.96 c GLOBAL bounds - >= -4260887 @ 38.0789
102.05/102.37 c GLOBAL bounds - >= -4260887 @ 38.2478
102.44/102.77 c GLOBAL bounds - >= -4260887 @ 38.3982
102.85/103.18 c GLOBAL bounds - >= -4260887 @ 38.5281
103.24/103.58 c GLOBAL bounds - >= -4260887 @ 38.6815
103.64/103.98 c GLOBAL bounds - >= -4260887 @ 38.8261
104.04/104.39 c GLOBAL bounds - >= -4260887 @ 38.9839
104.44/104.79 c GLOBAL bounds - >= -4260887 @ 39.1248
104.84/105.19 c GLOBAL bounds - >= -4260887 @ 39.2909
105.34/105.60 c GLOBAL bounds - >= -4260887 @ 39.4473
105.64/106.00 c GLOBAL bounds - >= -4260887 @ 39.594
106.13/106.40 c GLOBAL bounds - >= -4260887 @ 39.7538
106.53/106.81 c GLOBAL bounds - >= -4260887 @ 39.9043
106.94/107.22 c GLOBAL bounds - >= -4260887 @ 40.0648
107.33/107.62 c GLOBAL bounds - >= -4260887 @ 40.2285
107.73/108.03 c GLOBAL bounds - >= -4260887 @ 40.3832
108.13/108.43 c GLOBAL bounds - >= -4260887 @ 40.5347
108.53/108.84 c GLOBAL bounds - >= -4260887 @ 40.6953
108.93/109.26 c GLOBAL bounds - >= -4260887 @ 40.851
109.33/109.66 c GLOBAL bounds - >= -4260887 @ 41.0196
109.74/110.06 c GLOBAL bounds - >= -4260887 @ 41.1521
110.12/110.46 c GLOBAL bounds - >= -4260887 @ 41.3026
110.52/110.87 c GLOBAL bounds - >= -4260887 @ 41.4603
110.93/111.27 c GLOBAL bounds - >= -4260887 @ 41.61
111.32/111.68 c GLOBAL bounds - >= -4260887 @ 41.7568
111.82/112.11 c GLOBAL bounds - >= -4260887 @ 41.9224
112.21/112.51 c GLOBAL bounds - >= -4260887 @ 42.0727
112.62/112.92 c GLOBAL bounds - >= -4260887 @ 42.2264
113.02/113.32 c GLOBAL bounds - >= -4260887 @ 42.3683
113.41/113.72 c GLOBAL bounds - >= -4260887 @ 42.511
113.82/114.14 c GLOBAL bounds - >= -4260887 @ 42.6831
114.21/114.56 c GLOBAL bounds - >= -4260887 @ 42.8477
114.62/114.96 c GLOBAL bounds - >= -4260887 @ 42.9924
115.02/115.37 c GLOBAL bounds - >= -4260887 @ 43.156
115.41/115.77 c GLOBAL bounds - >= -4260887 @ 43.3077
115.81/116.18 c GLOBAL bounds - >= -4260887 @ 43.4701
116.21/116.59 c GLOBAL bounds - >= -4260887 @ 43.6138
116.61/117.00 c GLOBAL bounds - >= -4260887 @ 43.7793
117.11/117.40 c GLOBAL bounds - >= -4260887 @ 43.9297
117.50/117.81 c GLOBAL bounds - >= -4260887 @ 44.086
117.91/118.22 c GLOBAL bounds - >= -4260887 @ 44.2447
118.30/118.63 c GLOBAL bounds - >= -4260887 @ 44.4127
118.71/119.03 c GLOBAL bounds - >= -4260887 @ 44.5583
119.10/119.46 c GLOBAL bounds - >= -4260887 @ 44.7397
119.50/119.86 c GLOBAL bounds - >= -4260887 @ 44.877
119.90/120.27 c GLOBAL bounds - >= -4260887 @ 45.0337
120.30/120.68 c GLOBAL bounds - >= -4260887 @ 45.1843
120.70/121.08 c GLOBAL bounds - >= -4260887 @ 45.3362
121.20/121.51 c GLOBAL bounds - >= -4260887 @ 45.5063
121.60/121.92 c GLOBAL bounds - >= -4260887 @ 45.6708
122.00/122.33 c GLOBAL bounds - >= -4260887 @ 45.8277
122.39/122.75 c GLOBAL bounds - >= -4260887 @ 45.9863
122.80/123.19 c GLOBAL bounds - >= -4260887 @ 46.1776
123.29/123.61 c GLOBAL bounds - >= -4260887 @ 46.3395
123.69/124.02 c GLOBAL bounds - >= -4260887 @ 46.4988
124.09/124.43 c GLOBAL bounds - >= -4260887 @ 46.6643
124.49/124.83 c GLOBAL bounds - >= -4260887 @ 46.8093
124.99/125.34 c GLOBAL bounds - >= -4260887 @ 47.0554
125.39/125.75 c GLOBAL bounds - >= -4260887 @ 47.2221
125.79/126.16 c GLOBAL bounds - >= -4260887 @ 47.3781
126.19/126.57 c GLOBAL bounds - >= -4260887 @ 47.5366
126.58/126.97 c GLOBAL bounds - >= -4260887 @ 47.6892
127.08/127.46 c GLOBAL bounds - >= -4260887 @ 47.9192
127.48/127.89 c GLOBAL bounds - >= -4260887 @ 48.1001
127.88/128.29 c GLOBAL bounds - >= -4260887 @ 48.2424
128.28/128.69 c GLOBAL bounds - >= -4260887 @ 48.3873
128.78/129.13 c GLOBAL bounds - >= -4260887 @ 48.5731
129.18/129.54 c GLOBAL bounds - >= -4260887 @ 48.7203
129.57/129.96 c #Conflicts: 1000 | #Constraints: 1639
129.57/129.96 c GLOBAL bounds - >= -4260887 @ 48.8965
129.97/130.36 c GLOBAL bounds - >= -4260887 @ 49.0404
130.37/130.78 c GLOBAL bounds - >= -4260887 @ 49.1863
130.77/131.19 c GLOBAL bounds - >= -4260887 @ 49.3428
131.27/131.60 c GLOBAL bounds - >= -4260887 @ 49.518
131.67/132.01 c GLOBAL bounds - >= -4260887 @ 49.6785
132.06/132.47 c GLOBAL bounds - >= -4260887 @ 49.868
132.47/132.88 c GLOBAL bounds - >= -4260887 @ 50.0347
132.86/133.28 c GLOBAL bounds - >= -4260887 @ 50.1874
133.27/133.68 c GLOBAL bounds - >= -4260887 @ 50.3369
133.66/134.08 c GLOBAL bounds - >= -4260887 @ 50.4949
134.06/134.48 c GLOBAL bounds - >= -4260887 @ 50.6431
134.46/134.88 c GLOBAL bounds - >= -4260887 @ 50.7767
134.86/135.28 c GLOBAL bounds - >= -4260887 @ 50.9186
135.26/135.68 c GLOBAL bounds - >= -4260887 @ 51.0651
135.66/136.08 c GLOBAL bounds - >= -4260887 @ 51.2254
136.06/136.48 c GLOBAL bounds - >= -4260887 @ 51.3918
136.46/136.89 c GLOBAL bounds - >= -4260887 @ 51.5389
136.95/137.30 c GLOBAL bounds - >= -4260887 @ 51.697
137.36/137.70 c GLOBAL bounds - >= -4260887 @ 51.847
137.76/138.11 c GLOBAL bounds - >= -4260887 @ 51.9898
138.15/138.51 c GLOBAL bounds - >= -4260887 @ 52.1425
138.55/138.91 c GLOBAL bounds - >= -4260887 @ 52.2862
138.95/139.35 c GLOBAL bounds - >= -4260887 @ 52.4694
139.35/139.76 c GLOBAL bounds - >= -4260887 @ 52.6382
139.75/140.16 c GLOBAL bounds - >= -4260887 @ 52.7876
140.15/140.59 c GLOBAL bounds - >= -4260887 @ 52.9601
140.55/140.99 c GLOBAL bounds - >= -4260887 @ 53.1029
141.05/141.40 c GLOBAL bounds - >= -4260887 @ 53.2549
141.54/141.91 c GLOBAL bounds - >= -4260887 @ 53.5082
141.94/142.34 c GLOBAL bounds - >= -4260887 @ 53.6895
142.35/142.76 c GLOBAL bounds - >= -4260887 @ 53.8621
142.75/143.18 c GLOBAL bounds - >= -4260887 @ 54.0266
143.14/143.58 c GLOBAL bounds - >= -4260887 @ 54.1644
143.64/144.07 c GLOBAL bounds - >= -4260887 @ 54.4028
144.04/144.47 c GLOBAL bounds - >= -4260887 @ 54.5375
144.44/144.88 c GLOBAL bounds - >= -4260887 @ 54.6946
144.83/145.29 c GLOBAL bounds - >= -4260887 @ 54.8626
145.34/145.75 c GLOBAL bounds - >= -4260887 @ 55.072
145.43/145.89 c GLOBAL bounds - >= -296296 @ 55.2016
147.93/148.30 c GLOBAL bounds - >= -296296 @ 57.4729
147.93/148.36 c GLOBAL bounds - >= -296296 @ 57.5287
148.02/148.41 c GLOBAL bounds - >= -296296 @ 57.5832
148.02/148.48 c GLOBAL bounds - >= -296296 @ 57.6486
148.12/148.53 c GLOBAL bounds - >= -296296 @ 57.7008
148.12/148.59 c GLOBAL bounds - >= -296296 @ 57.7622
148.22/148.64 c GLOBAL bounds - >= -296296 @ 57.81
148.22/148.65 c GLOBAL bounds - >= -296296 @ 57.8228
148.22/148.67 c GLOBAL bounds - >= -296296 @ 57.8366
148.32/148.72 c GLOBAL bounds - >= -296296 @ 57.8921
148.32/148.74 c GLOBAL bounds - >= -296296 @ 57.9072
148.32/148.75 c GLOBAL bounds - >= -296296 @ 57.922
148.32/148.77 c GLOBAL bounds - >= -296296 @ 57.9369
148.32/148.78 c GLOBAL bounds - >= -296296 @ 57.9508
148.32/148.79 c GLOBAL bounds - >= -296296 @ 57.9646
148.42/148.81 c GLOBAL bounds - >= -296296 @ 57.9784
148.42/148.82 c GLOBAL bounds - >= -296296 @ 57.9927
148.42/148.88 c GLOBAL bounds - >= -296296 @ 58.0472
148.42/148.89 c GLOBAL bounds - >= -296296 @ 58.06
148.52/148.90 c GLOBAL bounds - >= -296296 @ 58.0724
148.52/148.91 c GLOBAL bounds - >= -296296 @ 58.0824
148.52/148.96 c GLOBAL bounds - >= -296296 @ 58.1274
148.52/148.97 c GLOBAL bounds - >= -296296 @ 58.1406
148.63/149.03 c GLOBAL bounds - >= -296296 @ 58.1944
148.63/149.07 c GLOBAL bounds - >= -296296 @ 58.2407
148.63/149.08 c GLOBAL bounds - >= -296296 @ 58.2489
148.63/149.09 c GLOBAL bounds - >= -296296 @ 58.2592
148.63/149.10 c GLOBAL bounds - >= -296296 @ 58.267
148.73/149.11 c GLOBAL bounds - >= -296296 @ 58.2776
148.73/149.12 c GLOBAL bounds - >= -296296 @ 58.29
148.73/149.13 c GLOBAL bounds - >= -296296 @ 58.298
148.73/149.14 c GLOBAL bounds - >= -296296 @ 58.3091
148.73/149.16 c GLOBAL bounds - >= -296296 @ 58.323
148.83/149.21 c GLOBAL bounds - >= -296296 @ 58.38
148.83/149.27 c GLOBAL bounds - >= -296296 @ 58.4356
148.93/149.33 c GLOBAL bounds - >= -296296 @ 58.4895
148.93/149.34 c GLOBAL bounds - >= -296296 @ 58.5018
148.93/149.39 c GLOBAL bounds - >= -296296 @ 58.5492
149.03/149.40 c GLOBAL bounds - >= -296296 @ 58.5629
149.03/149.41 c GLOBAL bounds - >= -296296 @ 58.576
149.03/149.42 c GLOBAL bounds - >= -296296 @ 58.5882
149.03/149.48 c GLOBAL bounds - >= -296296 @ 58.6411
149.03/149.49 c GLOBAL bounds - >= -296296 @ 58.6536
149.12/149.54 c GLOBAL bounds - >= -296296 @ 58.7005
149.12/149.55 c GLOBAL bounds - >= -296296 @ 58.7132
149.22/149.61 c GLOBAL bounds - >= -296296 @ 58.7754
149.22/149.66 c GLOBAL bounds - >= -296296 @ 58.8215
149.22/149.67 c GLOBAL bounds - >= -296296 @ 58.8348
149.22/149.69 c GLOBAL bounds - >= -296296 @ 58.8486
149.32/149.74 c GLOBAL bounds - >= -296296 @ 58.9
149.32/149.75 c GLOBAL bounds - >= -296296 @ 58.911
149.32/149.76 c GLOBAL bounds - >= -296296 @ 58.9245
149.32/149.78 c GLOBAL bounds - >= -296296 @ 58.9371
149.42/149.82 c GLOBAL bounds - >= -296296 @ 58.9814
149.42/149.83 c GLOBAL bounds - >= -296296 @ 58.9945
149.42/149.85 c GLOBAL bounds - >= -296296 @ 59.0076
149.52/149.91 c GLOBAL bounds - >= -296296 @ 59.0664
149.52/149.96 c GLOBAL bounds - >= -296296 @ 59.116
149.52/149.97 c GLOBAL bounds - >= -296296 @ 59.1261
149.52/149.98 c GLOBAL bounds - >= -296296 @ 59.1359
149.52/149.99 c GLOBAL bounds - >= -296296 @ 59.1464
149.52/150.00 c GLOBAL bounds - >= -296296 @ 59.1569
149.62/150.01 c GLOBAL bounds - >= -296296 @ 59.1677
149.62/150.02 c GLOBAL bounds - >= -296296 @ 59.1783
149.62/150.03 c GLOBAL bounds - >= -296296 @ 59.1871
149.62/150.08 c GLOBAL bounds - >= -296296 @ 59.242
149.62/150.10 c GLOBAL bounds - >= -296296 @ 59.2557
149.72/150.11 c GLOBAL bounds - >= -296296 @ 59.2681
149.72/150.12 c GLOBAL bounds - >= -296296 @ 59.2784
149.72/150.18 c GLOBAL bounds - >= -296296 @ 59.337
149.72/150.19 c GLOBAL bounds - >= -296296 @ 59.3495
149.82/150.24 c GLOBAL bounds - >= -296296 @ 59.3953
149.82/150.25 c GLOBAL bounds - >= -296296 @ 59.4082
149.82/150.26 c GLOBAL bounds - >= -296296 @ 59.4217
149.82/150.28 c GLOBAL bounds - >= -296296 @ 59.4344
149.82/150.29 c GLOBAL bounds - >= -296296 @ 59.4471
149.92/150.30 c GLOBAL bounds - >= -296296 @ 59.4593
149.92/150.32 c GLOBAL bounds - >= -296296 @ 59.4727
149.92/150.33 c GLOBAL bounds - >= -296296 @ 59.4843
149.92/150.34 c GLOBAL bounds - >= -296296 @ 59.4946
149.92/150.35 c GLOBAL bounds - >= -296296 @ 59.5064
149.92/150.36 c GLOBAL bounds - >= -296296 @ 59.5181
149.92/150.37 c GLOBAL bounds - >= -296296 @ 59.5292
150.02/150.42 c GLOBAL bounds - >= -296296 @ 59.5711
150.02/150.49 c GLOBAL bounds - >= -296296 @ 59.6378
150.12/150.54 c GLOBAL bounds - >= -296296 @ 59.6924
150.22/150.60 c GLOBAL bounds - >= -296296 @ 59.7466
150.22/150.65 c GLOBAL bounds - >= -296296 @ 59.8
150.32/150.70 c GLOBAL bounds - >= -296296 @ 59.8486
150.32/150.71 c GLOBAL bounds - >= -296296 @ 59.8592
150.32/150.76 c GLOBAL bounds - >= -296296 @ 59.9098
150.32/150.77 c GLOBAL bounds - >= -296296 @ 59.9213
150.32/150.78 c GLOBAL bounds - >= -296296 @ 59.932
150.42/150.87 c GLOBAL bounds - >= -296296 @ 60.0158
150.42/150.88 c GLOBAL bounds - >= -296296 @ 60.0279
150.52/150.91 c GLOBAL bounds - >= -296296 @ 60.055
150.52/150.93 c GLOBAL bounds - >= -296296 @ 60.0839
150.52/150.96 c GLOBAL bounds - >= -296296 @ 60.1124
150.52/150.99 c GLOBAL bounds - >= -296296 @ 60.1394
150.62/151.02 c GLOBAL bounds - >= -296296 @ 60.1658
150.62/151.04 c GLOBAL bounds - >= -296296 @ 60.1925
150.62/151.07 c GLOBAL bounds - >= -296296 @ 60.2178
150.62/151.10 c GLOBAL bounds - >= -296296 @ 60.2454
150.72/151.12 c GLOBAL bounds - >= -296296 @ 60.2724
150.72/151.15 c GLOBAL bounds - >= -296296 @ 60.3005
150.72/151.18 c GLOBAL bounds - >= -296296 @ 60.3265
150.82/151.21 c GLOBAL bounds - >= -296296 @ 60.3527
150.82/151.23 c GLOBAL bounds - >= -296296 @ 60.3773
150.82/151.26 c GLOBAL bounds - >= -296296 @ 60.405
150.82/151.29 c GLOBAL bounds - >= -296296 @ 60.4345
150.92/151.32 c GLOBAL bounds - >= -296296 @ 60.4636
150.92/151.35 c GLOBAL bounds - >= -296296 @ 60.4926
150.92/151.38 c GLOBAL bounds - >= -296296 @ 60.5212
151.02/151.40 c GLOBAL bounds - >= -296296 @ 60.5482
151.02/151.43 c GLOBAL bounds - >= -296296 @ 60.5747
151.02/151.46 c GLOBAL bounds - >= -296296 @ 60.6028
151.02/151.48 c GLOBAL bounds - >= -296296 @ 60.6285
151.12/151.51 c GLOBAL bounds - >= -296296 @ 60.6568
151.12/151.54 c GLOBAL bounds - >= -296296 @ 60.6843
151.12/151.57 c GLOBAL bounds - >= -296296 @ 60.7116
151.12/151.59 c GLOBAL bounds - >= -296296 @ 60.7388
151.22/151.61 c GLOBAL bounds - >= -296296 @ 60.7513
151.22/151.62 c GLOBAL bounds - >= -296296 @ 60.7628
151.22/151.63 c GLOBAL bounds - >= -296296 @ 60.7729
151.22/151.64 c GLOBAL bounds - >= -296296 @ 60.7843
151.22/151.67 c GLOBAL bounds - >= -296296 @ 60.811
151.22/151.69 c GLOBAL bounds - >= -296296 @ 60.838
151.32/151.72 c GLOBAL bounds - >= -296296 @ 60.8667
151.32/151.75 c GLOBAL bounds - >= -296296 @ 60.8958
151.32/151.76 c GLOBAL bounds - >= -296296 @ 60.9061
151.32/151.79 c GLOBAL bounds - >= -296296 @ 60.9352
151.42/151.82 c GLOBAL bounds - >= -296296 @ 60.9641
151.42/151.85 c GLOBAL bounds - >= -296296 @ 60.991
151.42/151.87 c GLOBAL bounds - >= -296296 @ 61.0171
151.42/151.88 c GLOBAL bounds - >= -296296 @ 61.0245
151.42/151.89 c GLOBAL bounds - >= -296296 @ 61.0326
151.52/151.90 c GLOBAL bounds - >= -296296 @ 61.0401
151.52/151.90 c GLOBAL bounds - >= -296296 @ 61.048
151.52/151.93 c GLOBAL bounds - >= -296296 @ 61.0713
151.52/151.95 c GLOBAL bounds - >= -296296 @ 61.0975
151.52/151.98 c GLOBAL bounds - >= -296296 @ 61.1249
151.62/152.01 c GLOBAL bounds - >= -296296 @ 61.1518
151.62/152.04 c GLOBAL bounds - >= -296296 @ 61.179
151.62/152.06 c GLOBAL bounds - >= -296296 @ 61.2049
151.62/152.09 c GLOBAL bounds - >= -296296 @ 61.2318
151.72/152.11 c GLOBAL bounds - >= -296296 @ 61.258
151.72/152.14 c GLOBAL bounds - >= -296296 @ 61.2865
151.72/152.17 c GLOBAL bounds - >= -296296 @ 61.3156
151.81/152.20 c GLOBAL bounds - >= -296296 @ 61.3447
151.81/152.23 c GLOBAL bounds - >= -296296 @ 61.3732
151.81/152.26 c GLOBAL bounds - >= -296296 @ 61.4015
151.81/152.29 c GLOBAL bounds - >= -296296 @ 61.4284
151.91/152.31 c GLOBAL bounds - >= -296296 @ 61.4553
151.91/152.34 c GLOBAL bounds - >= -296296 @ 61.4819
151.91/152.37 c GLOBAL bounds - >= -296296 @ 61.5069
151.91/152.39 c GLOBAL bounds - >= -296296 @ 61.5338
152.01/152.42 c GLOBAL bounds - >= -296296 @ 61.561
152.01/152.45 c GLOBAL bounds - >= -296296 @ 61.5879
152.01/152.47 c GLOBAL bounds - >= -296296 @ 61.6146
152.01/152.49 c GLOBAL bounds - >= -296296 @ 61.6268
152.01/152.49 c GLOBAL bounds - >= -296296 @ 61.6353
152.11/152.50 c GLOBAL bounds - >= -296296 @ 61.6429
152.11/152.51 c GLOBAL bounds - >= -296296 @ 61.6489
152.11/152.52 c GLOBAL bounds - >= -296296 @ 61.6571
152.11/152.52 c GLOBAL bounds - >= -296296 @ 61.6646
152.11/152.53 c GLOBAL bounds - >= -296296 @ 61.6711
152.11/152.54 c GLOBAL bounds - >= -296296 @ 61.6786
152.11/152.54 c GLOBAL bounds - >= -296296 @ 61.6853
152.11/152.55 c GLOBAL bounds - >= -296296 @ 61.6948
152.11/152.56 c GLOBAL bounds - >= -296296 @ 61.7031
152.11/152.57 c GLOBAL bounds - >= -296296 @ 61.712
152.11/152.58 c GLOBAL bounds - >= -296296 @ 61.721
152.11/152.59 c GLOBAL bounds - >= -296296 @ 61.73
152.21/152.60 c GLOBAL bounds - >= -296296 @ 61.7372
152.21/152.61 c GLOBAL bounds - >= -296296 @ 61.7506
152.21/152.62 c GLOBAL bounds - >= -296296 @ 61.76
152.21/152.63 c GLOBAL bounds - >= -296296 @ 61.7691
152.21/152.64 c GLOBAL bounds - >= -296296 @ 61.7782
152.21/152.65 c GLOBAL bounds - >= -296296 @ 61.7871
152.21/152.65 c GLOBAL bounds - >= -296296 @ 61.7944
152.21/152.66 c GLOBAL bounds - >= -296296 @ 61.8041
152.21/152.67 c GLOBAL bounds - >= -296296 @ 61.812
152.21/152.68 c GLOBAL bounds - >= -296296 @ 61.8206
152.21/152.69 c GLOBAL bounds - >= -296296 @ 61.8291
152.31/152.70 c GLOBAL bounds - >= -296296 @ 61.8364
152.31/152.70 c GLOBAL bounds - >= -296296 @ 61.8427
152.31/152.71 c GLOBAL bounds - >= -296296 @ 61.8497
152.31/152.72 c GLOBAL bounds - >= -296296 @ 61.8567
152.31/152.72 c GLOBAL bounds - >= -296296 @ 61.8621
152.31/152.73 c GLOBAL bounds - >= -296296 @ 61.8678
152.31/152.74 c GLOBAL bounds - >= -296296 @ 61.8752
152.31/152.74 c GLOBAL bounds - >= -296296 @ 61.8828
152.31/152.75 c GLOBAL bounds - >= -296296 @ 61.889
152.31/152.76 c GLOBAL bounds - >= -296296 @ 61.9013
152.31/152.77 c GLOBAL bounds - >= -296296 @ 61.9114
152.31/152.78 c GLOBAL bounds - >= -296296 @ 61.9216
152.31/152.79 c GLOBAL bounds - >= -296296 @ 61.9331
152.41/152.80 c GLOBAL bounds - >= -296296 @ 61.9417
152.41/152.81 c GLOBAL bounds - >= -296296 @ 61.9534
152.41/152.83 c GLOBAL bounds - >= -296296 @ 61.9659
152.41/152.84 c GLOBAL bounds - >= -296296 @ 61.9779
152.41/152.85 c GLOBAL bounds - >= -296296 @ 61.9894
152.41/152.86 c GLOBAL bounds - >= -296296 @ 62.0014
152.41/152.87 c GLOBAL bounds - >= -296296 @ 62.0076
152.41/152.88 c GLOBAL bounds - >= -296296 @ 62.0158
152.41/152.88 c GLOBAL bounds - >= -296296 @ 62.0234
152.41/152.89 c GLOBAL bounds - >= -296296 @ 62.0338
152.51/152.91 c GLOBAL bounds - >= -296296 @ 62.0448
152.51/152.92 c GLOBAL bounds - >= -296296 @ 62.0566
152.51/152.93 c GLOBAL bounds - >= -296296 @ 62.0678
152.51/152.94 c GLOBAL bounds - >= -296296 @ 62.0766
152.51/152.95 c GLOBAL bounds - >= -296296 @ 62.087
152.51/152.96 c GLOBAL bounds - >= -296296 @ 62.0983
152.51/152.97 c GLOBAL bounds - >= -296296 @ 62.1109
152.51/152.98 c GLOBAL bounds - >= -296296 @ 62.1234
152.51/153.00 c GLOBAL bounds - >= -296296 @ 62.1364
152.61/153.01 c GLOBAL bounds - >= -296296 @ 62.1448
152.61/153.01 c GLOBAL bounds - >= -296296 @ 62.153
152.61/153.02 c GLOBAL bounds - >= -296296 @ 62.1612
152.61/153.03 c GLOBAL bounds - >= -296296 @ 62.1693
152.61/153.04 c GLOBAL bounds - >= -296296 @ 62.1824
152.61/153.06 c GLOBAL bounds - >= -296296 @ 62.1955
152.61/153.07 c GLOBAL bounds - >= -296296 @ 62.2086
152.61/153.08 c GLOBAL bounds - >= -296296 @ 62.2216
152.61/153.09 c GLOBAL bounds - >= -296296 @ 62.2318
152.71/153.11 c GLOBAL bounds - >= -296296 @ 62.2441
152.71/153.12 c GLOBAL bounds - >= -296296 @ 62.2553
152.71/153.13 c GLOBAL bounds - >= -296296 @ 62.2671
152.71/153.14 c GLOBAL bounds - >= -296296 @ 62.2783
152.71/153.15 c GLOBAL bounds - >= -296296 @ 62.2846
152.71/153.15 c GLOBAL bounds - >= -296296 @ 62.2922
152.71/153.16 c GLOBAL bounds - >= -296296 @ 62.3018
152.71/153.17 c GLOBAL bounds - >= -296296 @ 62.3115
152.71/153.18 c GLOBAL bounds - >= -296296 @ 62.3208
152.71/153.19 c GLOBAL bounds - >= -296296 @ 62.3282
152.81/153.20 c GLOBAL bounds - >= -296296 @ 62.3353
152.81/153.21 c GLOBAL bounds - >= -296296 @ 62.3439
152.81/153.21 c GLOBAL bounds - >= -296296 @ 62.3527
152.81/153.22 c GLOBAL bounds - >= -296296 @ 62.3614
152.81/153.23 c GLOBAL bounds - >= -296296 @ 62.3703
152.81/153.24 c GLOBAL bounds - >= -296296 @ 62.3801
152.81/153.25 c GLOBAL bounds - >= -296296 @ 62.3898
152.81/153.26 c GLOBAL bounds - >= -296296 @ 62.3972
152.81/153.27 c GLOBAL bounds - >= -296296 @ 62.4028
152.81/153.27 c GLOBAL bounds - >= -296296 @ 62.4101
152.81/153.28 c GLOBAL bounds - >= -296296 @ 62.4175
152.81/153.29 c GLOBAL bounds - >= -296296 @ 62.4248
152.91/153.30 c GLOBAL bounds - >= -296296 @ 62.4329
152.91/153.30 c GLOBAL bounds - >= -296296 @ 62.4408
152.91/153.31 c GLOBAL bounds - >= -296296 @ 62.4477
152.91/153.32 c GLOBAL bounds - >= -296296 @ 62.4533
152.91/153.32 c GLOBAL bounds - >= -296296 @ 62.4592
152.91/153.33 c GLOBAL bounds - >= -296296 @ 62.4662
152.91/153.34 c GLOBAL bounds - >= -296296 @ 62.4736
152.91/153.34 c GLOBAL bounds - >= -296296 @ 62.4805
152.91/153.35 c GLOBAL bounds - >= -296296 @ 62.4871
152.91/153.36 c GLOBAL bounds - >= -296296 @ 62.4937
152.91/153.36 c GLOBAL bounds - >= -296296 @ 62.5008
152.91/153.37 c GLOBAL bounds - >= -296296 @ 62.5065
152.91/153.38 c GLOBAL bounds - >= -296296 @ 62.5124
152.91/153.38 c GLOBAL bounds - >= -296296 @ 62.5197
152.91/153.39 c GLOBAL bounds - >= -296296 @ 62.5279
153.01/153.40 c GLOBAL bounds - >= -296296 @ 62.5357
153.01/153.41 c GLOBAL bounds - >= -296296 @ 62.5436
153.01/153.42 c GLOBAL bounds - >= -296296 @ 62.5517
153.01/153.42 c GLOBAL bounds - >= -296296 @ 62.5599
153.01/153.43 c GLOBAL bounds - >= -296296 @ 62.5681
153.01/153.44 c GLOBAL bounds - >= -296296 @ 62.5764
153.01/153.45 c GLOBAL bounds - >= -296296 @ 62.5846
153.01/153.46 c GLOBAL bounds - >= -296296 @ 62.5928
153.01/153.46 c GLOBAL bounds - >= -296296 @ 62.6011
153.01/153.47 c GLOBAL bounds - >= -296296 @ 62.6093
153.01/153.48 c GLOBAL bounds - >= -296296 @ 62.6175
153.01/153.49 c GLOBAL bounds - >= -296296 @ 62.6257
153.11/153.50 c GLOBAL bounds - >= -296296 @ 62.634
153.11/153.51 c GLOBAL bounds - >= -296296 @ 62.6421
153.11/153.51 c GLOBAL bounds - >= -296296 @ 62.6503
153.11/153.52 c GLOBAL bounds - >= -296296 @ 62.6582
153.11/153.53 c GLOBAL bounds - >= -296296 @ 62.6658
153.11/153.54 c GLOBAL bounds - >= -296296 @ 62.6726
153.11/153.54 c GLOBAL bounds - >= -296296 @ 62.6786
153.11/153.55 c GLOBAL bounds - >= -296296 @ 62.6858
153.11/153.56 c GLOBAL bounds - >= -296296 @ 62.6931
153.11/153.56 c GLOBAL bounds - >= -296296 @ 62.6993
153.11/153.57 c GLOBAL bounds - >= -296296 @ 62.7047
153.11/153.58 c GLOBAL bounds - >= -296296 @ 62.7116
153.11/153.58 c GLOBAL bounds - >= -296296 @ 62.7195
153.11/153.59 c GLOBAL bounds - >= -296296 @ 62.7295
153.21/153.63 c GLOBAL bounds - >= -296296 @ 62.766
153.21/153.64 c GLOBAL bounds - >= -296296 @ 62.7736
153.21/153.64 c GLOBAL bounds - >= -296296 @ 62.7803
153.21/153.65 c GLOBAL bounds - >= -296296 @ 62.7867
153.21/153.66 c GLOBAL bounds - >= -296296 @ 62.7941
153.21/153.67 c GLOBAL bounds - >= -296296 @ 62.8019
153.21/153.67 c GLOBAL bounds - >= -296296 @ 62.8083
153.21/153.68 c GLOBAL bounds - >= -296296 @ 62.8144
153.21/153.68 c GLOBAL bounds - >= -296296 @ 62.819
153.31/153.71 c GLOBAL bounds - >= -296296 @ 62.845
153.31/153.72 c GLOBAL bounds - >= -296296 @ 62.8513
153.31/153.72 c GLOBAL bounds - >= -296296 @ 62.8576
153.31/153.73 c GLOBAL bounds - >= -296296 @ 62.8634
153.31/153.73 c GLOBAL bounds - >= -296296 @ 62.8691
153.31/153.74 c GLOBAL bounds - >= -296296 @ 62.876
153.31/153.75 c GLOBAL bounds - >= -296296 @ 62.881
153.31/153.75 c GLOBAL bounds - >= -296296 @ 62.8872
153.31/153.76 c GLOBAL bounds - >= -296296 @ 62.8929
153.31/153.77 c GLOBAL bounds - >= -296296 @ 62.9011
153.31/153.77 c GLOBAL bounds - >= -296296 @ 62.9061
153.31/153.78 c GLOBAL bounds - >= -296296 @ 62.9143
153.31/153.78 c GLOBAL bounds - >= -296296 @ 62.9192
153.31/153.79 c GLOBAL bounds - >= -296296 @ 62.9231
153.31/153.79 c GLOBAL bounds - >= -296296 @ 62.9285
153.41/153.80 c GLOBAL bounds - >= -296296 @ 62.9357
153.41/153.81 c GLOBAL bounds - >= -296296 @ 62.9438
153.41/153.82 c GLOBAL bounds - >= -296296 @ 62.9529
153.41/153.86 c GLOBAL bounds - >= -296296 @ 62.9974
153.41/153.89 c GLOBAL bounds - >= -296296 @ 63.0256
153.51/153.92 c GLOBAL bounds - >= -296296 @ 63.0533
153.51/153.93 c GLOBAL bounds - >= -296296 @ 63.0621
153.51/153.94 c GLOBAL bounds - >= -296296 @ 63.0756
153.51/153.95 c GLOBAL bounds - >= -296296 @ 63.0848
153.51/153.96 c GLOBAL bounds - >= -296296 @ 63.096
153.51/153.97 c GLOBAL bounds - >= -296296 @ 63.1039
153.51/153.98 c GLOBAL bounds - >= -296296 @ 63.1113
153.51/153.98 c GLOBAL bounds - >= -296296 @ 63.1172
153.51/153.99 c GLOBAL bounds - >= -296296 @ 63.1242
153.51/154.00 c GLOBAL bounds - >= -296296 @ 63.1307
153.62/154.07 c GLOBAL bounds - >= -296296 @ 63.2047
200.07/200.66 c #Conflicts: 1000 | #Constraints: 404097
200.07/200.66 c GLOBAL bounds - >= -296296 @ 109.308
591.54/593.29 c #Conflicts: 2000 | #Constraints: 405098
591.54/593.29 c INPROCESSING
591.54/593.29 c GARBAGE COLLECT
591.54/593.29 c #Conflicts: 3000 | #Constraints: 396841
591.54/593.29 c #Conflicts: 4000 | #Constraints: 397841
591.54/593.29 c INPROCESSING
591.54/593.29 c GARBAGE COLLECT
591.54/593.29 c #Conflicts: 5000 | #Constraints: 397249
591.54/593.29 c #Conflicts: 6000 | #Constraints: 398249
591.54/593.29 c INPROCESSING
591.54/593.29 c GARBAGE COLLECT
591.54/593.29 c #Conflicts: 7000 | #Constraints: 397280
591.54/593.29 c GLOBAL bounds - >= -296296 @ 498.412
753.79/755.91 c #Conflicts: 8000 | #Constraints: 398281
753.79/755.91 c #Conflicts: 9000 | #Constraints: 399281
753.79/755.91 c INPROCESSING
753.79/755.91 c GARBAGE COLLECT
753.79/755.91 c #Conflicts: 10000 | #Constraints: 394367
753.79/755.91 c #Conflicts: 11000 | #Constraints: 395367
753.79/755.91 c GLOBAL bounds - >= -296296 @ 660.308
1506.78/1510.96 c #Conflicts: 12000 | #Constraints: 396368
1506.78/1510.96 c INPROCESSING
1506.78/1510.96 c GARBAGE COLLECT
1506.78/1510.96 c #Conflicts: 13000 | #Constraints: 394835
1506.78/1510.96 c #Conflicts: 14000 | #Constraints: 395835
1506.78/1510.96 c #Conflicts: 15000 | #Constraints: 396835
1506.78/1510.96 c INPROCESSING
1506.78/1510.96 c GARBAGE COLLECT
1506.78/1510.96 c #Conflicts: 16000 | #Constraints: 395064
1506.78/1510.96 c #Conflicts: 17000 | #Constraints: 396064
1506.78/1510.96 c #Conflicts: 18000 | #Constraints: 397064
1506.78/1510.96 c INPROCESSING
1506.78/1510.96 c GARBAGE COLLECT
1506.78/1510.96 c GLOBAL bounds - >= -296296 @ 1412.22
1912.50/1917.73 c #Conflicts: 19000 | #Constraints: 395112
1912.50/1917.73 c #Conflicts: 20000 | #Constraints: 396112
1912.50/1917.73 c #Conflicts: 21000 | #Constraints: 397112
1912.50/1917.73 c INPROCESSING
1912.50/1917.73 c GARBAGE COLLECT
1912.50/1917.73 c rational objective -271640
3600.00/3609.10 c #Conflicts: 22000 | #Constraints: 394923
3600.00/3609.10 c #Conflicts: 23000 | #Constraints: 395923
3600.00/3609.10 c #Conflicts: 24000 | #Constraints: 396923
3600.00/3609.10 c #Conflicts: 25000 | #Constraints: 397923
3600.00/3609.10 c INPROCESSING
3600.00/3609.10 c GARBAGE COLLECT
3600.00/3609.10 c #Conflicts: 26000 | #Constraints: 395523
3600.00/3609.10 c #Conflicts: 27000 | #Constraints: 396523
3600.00/3609.10 c #Conflicts: 28000 | #Constraints: 397523
3600.00/3609.10 c #Conflicts: 29000 | #Constraints: 398523
3600.00/3609.10 c INPROCESSING
3600.00/3609.10 c GARBAGE COLLECT
3600.00/3609.10 c #Conflicts: 30000 | #Constraints: 395945
3600.00/3609.10 c #Conflicts: 31000 | #Constraints: 396945
3600.00/3609.10 c #Conflicts: 32000 | #Constraints: 397945
3600.00/3609.10 c #Conflicts: 33000 | #Constraints: 398945
3600.00/3609.10 c INPROCESSING
3600.00/3609.10 c GARBAGE COLLECT
3600.00/3609.10 c #Conflicts: 34000 | #Constraints: 396180
3600.00/3609.10 c #Conflicts: 35000 | #Constraints: 397180
3600.00/3609.10 c #Conflicts: 36000 | #Constraints: 398180
3600.00/3609.10 c #Conflicts: 37000 | #Constraints: 399180
3600.00/3609.10 c INPROCESSING
3600.00/3609.10 c GARBAGE COLLECT
3600.00/3609.10 c #Conflicts: 38000 | #Constraints: 396179
3600.00/3609.10 c #Conflicts: 39000 | #Constraints: 397179
3600.00/3609.10 c #Conflicts: 40000 | #Constraints: 398179
3600.00/3609.10 c #Conflicts: 41000 | #Constraints: 399179
3600.00/3609.10 c INPROCESSING
3600.00/3609.10 c GARBAGE COLLECT
3600.00/3609.10 c #Conflicts: 42000 | #Constraints: 395996
3600.00/3609.10 c #Conflicts: 43000 | #Constraints: 396996
3600.00/3609.10 c #Conflicts: 44000 | #Constraints: 397996
3600.00/3609.10 c #Conflicts: 45000 | #Constraints: 398997
3600.00/3609.10 c #Conflicts: 46000 | #Constraints: 399997
3600.00/3609.10 c INPROCESSING
3600.00/3609.10 c GARBAGE COLLECT
3600.00/3609.10 c #Conflicts: 47000 | #Constraints: 396579
3600.00/3609.10 c #Conflicts: 48000 | #Constraints: 397579
3600.00/3609.10 c #Conflicts: 49000 | #Constraints: 398579
3600.00/3609.10 c #Conflicts: 50000 | #Constraints: 399579
3600.00/3609.10 c #Conflicts: 51000 | #Constraints: 400579
3600.00/3609.10 c INPROCESSING
3600.00/3609.10 c GARBAGE COLLECT
3600.00/3609.10 c #Conflicts: 52000 | #Constraints: 396975
3600.00/3609.10 c #Conflicts: 53000 | #Constraints: 397975
3600.00/3609.10 c #Conflicts: 54000 | #Constraints: 398975
3600.00/3609.10 c #Conflicts: 55000 | #Constraints: 399975
3600.00/3609.10 c #Conflicts: 56000 | #Constraints: 400975
3600.00/3609.10 c INPROCESSING
3600.00/3609.10 c GARBAGE COLLECT
3600.00/3609.10 c #Conflicts: 57000 | #Constraints: 397206
3600.00/3609.10 c #Conflicts: 58000 | #Constraints: 398206
3600.00/3609.10 c cpu time 3501.4 s
3600.00/3609.10 c deterministic time 29437107548 2.94e+10
3600.00/3609.10 c optimization time 140.736 s
3600.00/3609.10 c total solve time 3359.04 s
3600.00/3609.10 c core-guided solve time 0 s
3600.00/3609.10 c propagation time 846.13 s
3600.00/3609.10 c conflict analysis time 2137.21 s
3600.00/3609.10 c propagations 3372560920
3600.00/3609.10 c resolve steps 5224979
3600.00/3609.10 c decisions 5686884
3600.00/3609.10 c conflicts 58005
3600.00/3609.10 c restarts 181
3600.00/3609.10 c inprocessing phases 16
3600.00/3609.10 c garbage collections 16 ,( 100.00 )
3600.00/3609.10 c input clauses 400984 ,( 99.48 )
3600.00/3609.10 c input cardinalities 2110 ,( 0.52 )
3600.00/3609.10 c input general constraints 2 ,( 0.00 )
3600.00/3609.10 c input average constraint length 5.84
3600.00/3609.10 c input average constraint degree 2.15
3600.00/3609.10 c learned clauses 20215 ,( 34.85 )
3600.00/3609.10 c learned cardinalities 2419 ,( 4.17 )
3600.00/3609.10 c learned general constraints 35379 ,( 60.98 )
3600.00/3609.10 c learned average constraint length 6853.80
3600.00/3609.10 c learned average constraint degree 5139082809.21
3600.00/3609.10 c watched CF 32, 64, 128, Arb: 3321 , 0 , 0 , 0
3600.00/3609.10 c counting CF 32, 64, 128, Arb: 32061 , 0 , 0 , 0
3600.00/3609.10 c watched constraints 3321 ,( 9.39 )
3600.00/3609.10 c counting constraints 32060 ,( 90.61 )
3600.00/3609.10 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1028509158 , 24717764 , 16856067 ,( 876539 , 15979528 )
3600.00/3609.10 c gcd simplifications 111
3600.00/3609.10 c detected cardinalities 31
3600.00/3609.10 c weakened non-implied lits 1296253451
3600.00/3609.10 c weakened non-implying lits 27209
3600.00/3609.10 c original variables 400896
3600.00/3609.10 c clausal propagations 1004157020
3600.00/3609.10 c cardinality propagations 1487252849
3600.00/3609.10 c watched propagations 122036
3600.00/3609.10 c counting propagations 679682239
3600.00/3609.10 c watch lookups 3233255423
3600.00/3609.10 c watch backjump lookups 0
3600.00/3609.10 c watch checks 2549318790
3600.00/3609.10 c propagation checks 14729381564
3600.00/3609.10 c constraint additions 2168838433
3600.00/3609.10 c trail pops 3377949242
3600.00/3609.10 c formula constraints 402763
3600.00/3609.10 c learned constraints 58008
3600.00/3609.10 c bound constraints 0
3600.00/3609.10 c core-guided constraints 0
3600.00/3609.10 c encountered formula constraints 5020693
3600.00/3609.10 c encountered learned constraints 262266
3600.00/3609.10 c encountered bound constraints 0
3600.00/3609.10 c encountered core-guided constraints 0
3600.00/3609.10 c LP total time 805.628 s
3600.00/3609.10 c LP solve time 787.93 s
3600.00/3609.10 c LP constraints added 402792
3600.00/3609.10 c LP constraints removed 0
3600.00/3609.10 c LP pivots internal 58724
3600.00/3609.10 c LP pivots root 57567
3600.00/3609.10 c LP calls 9
3600.00/3609.10 c LP optimalities 1
3600.00/3609.10 c LP no pivot count 0
3600.00/3609.10 c LP infeasibilities 2
3600.00/3609.10 c LP valid Farkas constraints 2
3600.00/3609.10 c LP learned Farkas constraints 2
3600.00/3609.10 c LP basis resets 0
3600.00/3609.10 c LP cycling count 0
3600.00/3609.10 c LP singular count 0
3600.00/3609.10 c LP no primal count 0
3600.00/3609.10 c LP no farkas count 0
3600.00/3609.10 c LP other issue count 0
3600.00/3609.10 c LP Gomory cuts 1
3600.00/3609.10 c LP learned cuts 28
3600.00/3609.10 c LP deleted cuts 0
3600.00/3609.10 c LP encountered Gomory constraints 0
3600.00/3609.10 c LP encountered Farkas constraints 22
3600.00/3609.10 c LP encountered learned Farkas constraints 1
3600.00/3609.10 c CG auxiliary variables introduced 359
3600.00/3609.10 c CG solutions found 0
3600.00/3609.10 c CG cores constructed 332
3600.00/3609.10 c CG core cardinality constraints returned 0
3600.00/3609.10 c CG unit cores 0
3600.00/3609.10 c CG single cores 0
3600.00/3609.10 c CG blocks removed during cardinality reduction 0
3600.00/3609.10 c CG first core best 0
3600.00/3609.10 c CG decision core best 0
3600.00/3609.10 c CG core reduction tie 0
3600.00/3609.10 c CG core degree average 0.00
3600.00/3609.10 c CG core slack average 0.00
3600.00/3609.10 c CG core upper bound improvements 0
3600.00/3609.10 c STR number of successful calls 0
3600.00/3609.10 c STR number of unsuccessful calls 0
3600.00/3609.10 c STR number of inconclusive calls 0
3600.00/3609.10 c STR number of successful attempts 0
3600.00/3609.10 c STR number of unsuccessful attempts 0
3600.00/3609.10 c STR number of inconclusive attempts 0
3600.00/3609.10 c STR average degree increase per successful call inf
3600.00/3609.10 c STR average degree increase per successful attempt inf
3600.00/3609.10 c STR total number of conflicts for successful attempts 0
3600.00/3609.10 c STR total number of conflicts for unsuccessful attempts 0
3600.00/3609.10 c STR total number of conflicts for inconclusive attempts 0
3600.00/3609.10 c STR average number of conflicts per successful attempt inf
3600.00/3609.10 c STR average number of conflicts per unsuccessful attempt inf
3600.00/3609.10 c STR average number of conflicts per inconclusive attempt inf
3600.00/3609.10 c AVG.sumWPerc 84.54
3600.00/3609.10 c bigint constraints 0
3600.00/3609.10 s UNKNOWN
3600.00/3609.10 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (60708 MiB free)
memory of node 1: 64507 MiB (62225 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506182-1751500681/watcher-4506182-1751500681 -o /tmp/evaluation-result-4506182-1751500681/solver-4506182-1751500681 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751500681-70775 --watchdog 3760 run-opt.sh HOME/instance-4506182-1751500681.opb
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 VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=70819, runsolver pid=70806
[startup+0.100065 s]*
/proc/loadavg: 1.04 1.57 2.54 5/270 70836
/proc/meminfo: memFree=125685512/131249996 swapFree=33010160/33010684
[pid=70819] ppid=70806 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/70819/stat : 70819 (run-opt.sh) S 70806 70819 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 65745822 4292608 736 18446744073709551615 94078689914880 94078690809413 140733668053632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94078691048464 94078691096208 94078699704320 140733668055405 140733668055528 140733668055528 140733668061130 0
/proc/70819/statm: 1048 736 672 219 0 110 0
[pid=70824] ppid=70819 vsize=127220 memory=82004 CPUtime=0.07 cores=1,3
/proc/70824/stat : 70824 (roundingsat) R 70819 70819 70763 0 -1 4194304 5581 0 0 0 5 2 0 0 20 0 1 0 65745823 130273280 20501 18446744073709551615 4227072 8923433 140720868944208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 23404544 140720868948386 140720868948520 140720868948520 140720868954090 0
/proc/70824/statm: 31805 20501 1888 1147 0 19232 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 131412 KiB
Current children cumulated memory: 84948 KiB
[startup+0.205752 s]*
/proc/loadavg: 1.04 1.57 2.54 5/270 70836
/proc/meminfo: memFree=125569456/131249996 swapFree=33010160/33010684
[pid=70819] ppid=70806 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/70819/stat : 70819 (run-opt.sh) S 70806 70819 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 65745822 4292608 736 18446744073709551615 94078689914880 94078690809413 140733668053632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94078691048464 94078691096208 94078699704320 140733668055405 140733668055528 140733668055528 140733668061130 0
/proc/70819/statm: 1048 736 672 219 0 110 0
[pid=70824] ppid=70819 vsize=130012 memory=86952 CPUtime=0.18 cores=1,3
/proc/70824/stat : 70824 (roundingsat) R 70819 70819 70763 0 -1 4194304 6359 0 0 0 14 4 0 0 20 0 1 0 65745823 133132288 21738 18446744073709551615 4227072 8923433 140720868944208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 23404544 140720868948386 140720868948520 140720868948520 140720868954090 0
/proc/70824/statm: 32503 21738 1888 1147 0 19930 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 134204 KiB
Current children cumulated memory: 89896 KiB
[startup+0.305556 s]*
/proc/loadavg: 1.04 1.57 2.54 5/270 70836
/proc/meminfo: memFree=125556856/131249996 swapFree=33010160/33010684
[pid=70819] ppid=70806 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/70819/stat : 70819 (run-opt.sh) S 70806 70819 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 65745822 4292608 736 18446744073709551615 94078689914880 94078690809413 140733668053632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94078691048464 94078691096208 94078699704320 140733668055405 140733668055528 140733668055528 140733668061130 0
/proc/70819/statm: 1048 736 672 219 0 110 0
[pid=70824] ppid=70819 vsize=133584 memory=90036 CPUtime=0.28 cores=1,3
/proc/70824/stat : 70824 (roundingsat) R 70819 70819 70763 0 -1 4194304 7265 0 0 0 22 6 0 0 20 0 1 0 65745823 136790016 22509 18446744073709551615 4227072 8923433 140720868944208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 23404544 140720868948386 140720868948520 140720868948520 140720868954090 0
/proc/70824/statm: 33396 22509 1888 1147 0 20823 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 137776 KiB
Current children cumulated memory: 92980 KiB
[startup+0.700143 s]
/proc/loadavg: 1.04 1.57 2.54 5/270 70836
/proc/meminfo: memFree=125516232/131249996 swapFree=33010160/33010684
[pid=70819] ppid=70806 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/70819/stat : 70819 (run-opt.sh) S 70806 70819 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 65745822 4292608 736 18446744073709551615 94078689914880 94078690809413 140733668053632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94078691048464 94078691096208 94078699704320 140733668055405 140733668055528 140733668055528 140733668061130 0
/proc/70819/statm: 1048 736 672 219 0 110 0
[pid=70824] ppid=70819 vsize=149712 memory=105996 CPUtime=0.67 cores=1,3
/proc/70824/stat : 70824 (roundingsat) R 70819 70819 70763 0 -1 4194304 11750 0 0 0 50 17 0 0 20 0 1 0 65745823 153305088 26499 18446744073709551615 4227072 8923433 140720868944208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 23404544 140720868948386 140720868948520 140720868948520 140720868954090 0
/proc/70824/statm: 37428 26499 1888 1147 0 24855 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 153904 KiB
Current children cumulated memory: 108940 KiB
[startup+1.5002 s]
/proc/loadavg: 1.04 1.57 2.54 5/270 70836
/proc/meminfo: memFree=125440916/131249996 swapFree=33010160/33010684
[pid=70819] ppid=70806 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/70819/stat : 70819 (run-opt.sh) S 70806 70819 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 65745822 4292608 736 18446744073709551615 94078689914880 94078690809413 140733668053632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94078691048464 94078691096208 94078699704320 140733668055405 140733668055528 140733668055528 140733668061130 0
/proc/70819/statm: 1048 736 672 219 0 110 0
[pid=70824] ppid=70819 vsize=302328 memory=241500 CPUtime=1.47 cores=1,3
/proc/70824/stat : 70824 (roundingsat) R 70819 70819 70763 0 -1 4194304 28751 0 0 0 115 32 0 0 20 0 1 0 65745823 309583872 60375 18446744073709551615 4227072 8923433 140720868944208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 23404544 140720868948386 140720868948520 140720868948520 140720868954090 0
/proc/70824/statm: 75582 60375 2240 1147 0 63009 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 306520 KiB
Current children cumulated memory: 244444 KiB
[startup+3.10549 s]
/proc/loadavg: 1.04 1.57 2.54 5/270 70836
/proc/meminfo: memFree=123651908/131249996 swapFree=33010160/33010684
[pid=70819] ppid=70806 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/70819/stat : 70819 (run-opt.sh) S 70806 70819 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 65745822 4292608 736 18446744073709551615 94078689914880 94078690809413 140733668053632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94078691048464 94078691096208 94078699704320 140733668055405 140733668055528 140733668055528 140733668061130 0
/proc/70819/statm: 1048 736 672 219 0 110 0
[pid=70824] ppid=70819 vsize=674812 memory=550520 CPUtime=3.07 cores=1,3
/proc/70824/stat : 70824 (roundingsat) R 70819 70819 70763 0 -1 4194304 48559 0 0 0 201 106 0 0 20 0 1 0 65745823 691007488 137630 18446744073709551615 4227072 8923433 140720868944208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 23404544 140720868948386 140720868948520 140720868948520 140720868954090 0
/proc/70824/statm: 168703 137630 2336 1147 0 156130 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 679004 KiB
Current children cumulated memory: 553464 KiB
[startup+6.30017 s]
/proc/loadavg: 1.28 1.61 2.55 5/270 70836
/proc/meminfo: memFree=123502188/131249996 swapFree=33010160/33010684
[pid=70819] ppid=70806 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/70819/stat : 70819 (run-opt.sh) S 70806 70819 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 65745822 4292608 736 18446744073709551615 94078689914880 94078690809413 140733668053632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94078691048464 94078691096208 94078699704320 140733668055405 140733668055528 140733668055528 140733668061130 0
/proc/70819/statm: 1048 736 672 219 0 110 0
[pid=70824] ppid=70819 vsize=679512 memory=555128 CPUtime=6.26 cores=1,3
/proc/70824/stat : 70824 (roundingsat) R 70819 70819 70763 0 -1 4194304 49754 0 0 0 319 307 0 0 20 0 1 0 65745823 695820288 138782 18446744073709551615 4227072 8923433 140720868944208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 23404544 140720868948386 140720868948520 140720868948520 140720868954090 0
/proc/70824/statm: 169878 138782 2336 1147 0 157305 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 683704 KiB
Current children cumulated memory: 558072 KiB
[startup+12.7002 s]
/proc/loadavg: 1.50 1.65 2.56 5/270 70836
/proc/meminfo: memFree=123335500/131249996 swapFree=33010160/33010684
[pid=70819] ppid=70806 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/70819/stat : 70819 (run-opt.sh) S 70806 70819 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 65745822 4292608 736 18446744073709551615 94078689914880 94078690809413 140733668053632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94078691048464 94078691096208 94078699704320 140733668055405 140733668055528 140733668055528 140733668061130 0
/proc/70819/statm: 1048 736 672 219 0 110 0
[pid=70824] ppid=70819 vsize=679512 memory=555128 CPUtime=12.65 cores=1,3
/proc/70824/stat : 70824 (roundingsat) R 70819 70819 70763 0 -1 4194304 49770 0 0 0 544 721 0 0 20 0 1 0 65745823 695820288 138782 18446744073709551615 4227072 8923433 140720868944208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 23404544 140720868948386 140720868948520 140720868948520 140720868954090 0
/proc/70824/statm: 169878 138782 2336 1147 0 157305 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 683704 KiB
Current children cumulated memory: 558072 KiB
[startup+25.5002 s]
/proc/loadavg: 2.05 1.76 2.58 5/270 70836
/proc/meminfo: memFree=122906232/131249996 swapFree=33010160/33010684
[pid=70819] ppid=70806 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/70819/stat : 70819 (run-opt.sh) S 70806 70819 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 65745822 4292608 736 18446744073709551615 94078689914880 94078690809413 140733668053632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94078691048464 94078691096208 94078699704320 140733668055405 140733668055528 140733668055528 140733668061130 0
/proc/70819/statm: 1048 736 672 219 0 110 0
[pid=70824] ppid=70819 vsize=704932 memory=575328 CPUtime=25.42 cores=1,3
/proc/70824/stat : 70824 (roundingsat) R 70819 70819 70763 0 -1 4194304 52236 0 0 0 998 1544 0 0 20 0 1 0 65745823 721850368 143832 18446744073709551615 4227072 8923433 140720868944208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 23404544 140720868948386 140720868948520 140720868948520 140720868954090 0
/proc/70824/statm: 176233 143832 2336 1147 0 163660 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 709124 KiB
Current children cumulated memory: 578272 KiB
[startup+51.1054 s]
/proc/loadavg: 2.72 1.94 2.62 5/269 70837
/proc/meminfo: memFree=122114308/131249996 swapFree=33010160/33010684
[pid=70819] ppid=70806 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/70819/stat : 70819 (run-opt.sh) S 70806 70819 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 65745822 4292608 736 18446744073709551615 94078689914880 94078690809413 140733668053632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94078691048464 94078691096208 94078699704320 140733668055405 140733668055528 140733668055528 140733668061130 0
/proc/70819/statm: 1048 736 672 219 0 110 0
[pid=70824] ppid=70819 vsize=709628 memory=580192 CPUtime=50.97 cores=1,3
/proc/70824/stat : 70824 (roundingsat) R 70819 70819 70763 0 -1 4194304 53460 0 0 0 1909 3188 0 0 20 0 1 0 65745823 726659072 145048 18446744073709551615 4227072 8923433 140720868944208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 23404544 140720868948386 140720868948520 140720868948520 140720868954090 0
/proc/70824/statm: 177407 145048 2336 1147 0 164834 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 713820 KiB
Current children cumulated memory: 583136 KiB
[startup+102.3 s]
/proc/loadavg: 3.50 2.28 2.70 5/269 70839
/proc/meminfo: memFree=120175628/131249996 swapFree=33010160/33010684
[pid=70819] ppid=70806 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/70819/stat : 70819 (run-opt.sh) S 70806 70819 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 65745822 4292608 736 18446744073709551615 94078689914880 94078690809413 140733668053632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94078691048464 94078691096208 94078699704320 140733668055405 140733668055528 140733668055528 140733668061130 0
/proc/70819/statm: 1048 736 672 219 0 110 0
[pid=70824] ppid=70819 vsize=728408 memory=599424 CPUtime=102.05 cores=1,3
/proc/70824/stat : 70824 (roundingsat) R 70819 70819 70763 0 -1 4194304 57266 0 0 0 3822 6383 0 0 20 0 1 0 65745823 745889792 149856 18446744073709551615 4227072 8923433 140720868944208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 23404544 140720868948386 140720868948520 140720868948520 140720868954090 0
/proc/70824/statm: 182102 149856 2336 1147 0 169529 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 732600 KiB
Current children cumulated memory: 602368 KiB
[startup+162.3 s]
/proc/loadavg: 3.93 2.62 2.80 5/269 70841
/proc/meminfo: memFree=115849004/131249996 swapFree=33010160/33010684
[pid=70819] ppid=70806 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/70819/stat : 70819 (run-opt.sh) S 70806 70819 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 65745822 4292608 736 18446744073709551615 94078689914880 94078690809413 140733668053632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94078691048464 94078691096208 94078699704320 140733668055405 140733668055528 140733668055528 140733668061130 0
/proc/70819/statm: 1048 736 672 219 0 110 0
[pid=70824] ppid=70819 vsize=1257880 memory=1046648 CPUtime=161.88 cores=1,3
/proc/70824/stat : 70824 (roundingsat) R 70819 70819 70763 0 -1 4194304 100311 0 0 0 7137 9051 0 0 20 0 1 0 65745823 1288069120 261662 18446744073709551615 4227072 8923433 140720868944208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 23404544 140720868948386 140720868948520 140720868948520 140720868954090 0
/proc/70824/statm: 314470 261662 2368 1147 0 301897 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 1262072 KiB
Current children cumulated memory: 1049592 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 2.89 2.88 5/269 70862
/proc/meminfo: memFree=113238624/131249996 swapFree=33010160/33010684
[pid=70819] ppid=70806 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/70819/stat : 70819 (run-opt.sh) S 70806 70819 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 65745822 4292608 736 18446744073709551615 94078689914880 94078690809413 140733668053632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94078691048464 94078691096208 94078699704320 140733668055405 140733668055528 140733668055528 140733668061130 0
/proc/70819/statm: 1048 736 672 219 0 110 0
[pid=70824] ppid=70819 vsize=1438044 memory=1187504 CPUtime=221.72 cores=1,3
/proc/70824/stat : 70824 (roundingsat) R 70819 70819 70763 0 -1 4194304 125834 0 0 0 13084 9088 0 0 20 0 1 0 65745823 1472557056 296876 18446744073709551615 4227072 8923433 140720868944208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 23404544 140720868948386 140720868948520 140720868948520 140720868954090 0
/proc/70824/statm: 359511 296876 2368 1147 0 346938 0
Current children cumulated CPU time: 221.72 s
################
# More data... #
################
/proc/70824/statm: 894264 811319 2400 1147 0 881691 0
Current children cumulated CPU time: 3094.35 s
Current children cumulated vsize: 3581248 KiB
Current children cumulated memory: 3248220 KiB
[startup+3162.3 s]
/proc/loadavg: 4.06 4.08 4.03 5/267 71105
/proc/meminfo: memFree=93653300/131249996 swapFree=33010160/33010684
[pid=70819] ppid=70806 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/70819/stat : 70819 (run-opt.sh) S 70806 70819 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 65745822 4292608 736 18446744073709551615 94078689914880 94078690809413 140733668053632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94078691048464 94078691096208 94078699704320 140733668055405 140733668055528 140733668055528 140733668061130 0
/proc/70819/statm: 1048 736 672 219 0 110 0
[pid=70824] ppid=70819 vsize=3577056 memory=3245788 CPUtime=3154.21 cores=1,3
/proc/70824/stat : 70824 (roundingsat) R 70819 70819 70763 0 -1 4194304 506767 0 0 0 305593 9828 0 0 20 0 1 0 65745823 3662905344 811447 18446744073709551615 4227072 8923433 140720868944208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 23404544 140720868948386 140720868948520 140720868948520 140720868954090 0
/proc/70824/statm: 894264 811447 2400 1147 0 881691 0
Current children cumulated CPU time: 3154.21 s
Current children cumulated vsize: 3581248 KiB
Current children cumulated memory: 3248732 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.10 4.04 5/268 71112
/proc/meminfo: memFree=92881952/131249996 swapFree=33010160/33010684
[pid=70819] ppid=70806 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/70819/stat : 70819 (run-opt.sh) S 70806 70819 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 65745822 4292608 736 18446744073709551615 94078689914880 94078690809413 140733668053632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94078691048464 94078691096208 94078699704320 140733668055405 140733668055528 140733668055528 140733668061130 0
/proc/70819/statm: 1048 736 672 219 0 110 0
[pid=70824] ppid=70819 vsize=3577056 memory=3246300 CPUtime=3214.07 cores=1,3
/proc/70824/stat : 70824 (roundingsat) R 70819 70819 70763 0 -1 4194304 507327 0 0 0 311572 9835 0 0 20 0 1 0 65745823 3662905344 811575 18446744073709551615 4227072 8923433 140720868944208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 23404544 140720868948386 140720868948520 140720868948520 140720868954090 0
/proc/70824/statm: 894264 811575 2400 1147 0 881691 0
Current children cumulated CPU time: 3214.07 s
Current children cumulated vsize: 3581248 KiB
Current children cumulated memory: 3249244 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.11 4.05 5/268 71114
/proc/meminfo: memFree=92475784/131249996 swapFree=33010160/33010684
[pid=70819] ppid=70806 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/70819/stat : 70819 (run-opt.sh) S 70806 70819 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 65745822 4292608 736 18446744073709551615 94078689914880 94078690809413 140733668053632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94078691048464 94078691096208 94078699704320 140733668055405 140733668055528 140733668055528 140733668061130 0
/proc/70819/statm: 1048 736 672 219 0 110 0
[pid=70824] ppid=70819 vsize=3581620 memory=3251020 CPUtime=3273.94 cores=1,3
/proc/70824/stat : 70824 (roundingsat) R 70819 70819 70763 0 -1 4194304 508017 0 0 0 317552 9842 0 0 20 0 1 0 65745823 3667578880 812755 18446744073709551615 4227072 8923433 140720868944208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 23404544 140720868948386 140720868948520 140720868948520 140720868954090 0
/proc/70824/statm: 895405 812755 2400 1147 0 882832 0
Current children cumulated CPU time: 3273.94 s
Current children cumulated vsize: 3585812 KiB
Current children cumulated memory: 3253964 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.10 4.05 5/268 71161
/proc/meminfo: memFree=112588524/131249996 swapFree=33010160/33010684
[pid=70819] ppid=70806 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/70819/stat : 70819 (run-opt.sh) S 70806 70819 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 65745822 4292608 736 18446744073709551615 94078689914880 94078690809413 140733668053632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94078691048464 94078691096208 94078699704320 140733668055405 140733668055528 140733668055528 140733668061130 0
/proc/70819/statm: 1048 736 672 219 0 110 0
[pid=70824] ppid=70819 vsize=3581620 memory=3251020 CPUtime=3333.8 cores=1,3
/proc/70824/stat : 70824 (roundingsat) R 70819 70819 70763 0 -1 4194304 508326 0 0 0 323536 9844 0 0 20 0 1 0 65745823 3667578880 812755 18446744073709551615 4227072 8923433 140720868944208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 23404544 140720868948386 140720868948520 140720868948520 140720868954090 0
/proc/70824/statm: 895405 812755 2400 1147 0 882832 0
Current children cumulated CPU time: 3333.8 s
Current children cumulated vsize: 3585812 KiB
Current children cumulated memory: 3253964 KiB
[startup+3402.3 s]
/proc/loadavg: 4.33 4.15 4.06 5/268 71164
/proc/meminfo: memFree=111856396/131249996 swapFree=33010160/33010684
[pid=70819] ppid=70806 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/70819/stat : 70819 (run-opt.sh) S 70806 70819 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 65745822 4292608 736 18446744073709551615 94078689914880 94078690809413 140733668053632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94078691048464 94078691096208 94078699704320 140733668055405 140733668055528 140733668055528 140733668061130 0
/proc/70819/statm: 1048 736 672 219 0 110 0
[pid=70824] ppid=70819 vsize=3581620 memory=3251020 CPUtime=3393.67 cores=1,3
/proc/70824/stat : 70824 (roundingsat) R 70819 70819 70763 0 -1 4194304 508618 0 0 0 329519 9848 0 0 20 0 1 0 65745823 3667578880 812755 18446744073709551615 4227072 8923433 140720868944208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 23404544 140720868948386 140720868948520 140720868948520 140720868954090 0
/proc/70824/statm: 895405 812755 2400 1147 0 882832 0
Current children cumulated CPU time: 3393.67 s
Current children cumulated vsize: 3585812 KiB
Current children cumulated memory: 3253964 KiB
[startup+3462.3 s]
/proc/loadavg: 4.59 4.26 4.11 5/270 71168
/proc/meminfo: memFree=110816160/131249996 swapFree=33010160/33010684
[pid=70819] ppid=70806 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/70819/stat : 70819 (run-opt.sh) S 70806 70819 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 65745822 4292608 736 18446744073709551615 94078689914880 94078690809413 140733668053632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94078691048464 94078691096208 94078699704320 140733668055405 140733668055528 140733668055528 140733668061130 0
/proc/70819/statm: 1048 736 672 219 0 110 0
[pid=70824] ppid=70819 vsize=3581620 memory=3251020 CPUtime=3453.53 cores=1,3
/proc/70824/stat : 70824 (roundingsat) R 70819 70819 70763 0 -1 4194304 508619 0 0 0 335501 9852 0 0 20 0 1 0 65745823 3667578880 812755 18446744073709551615 4227072 8923433 140720868944208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 23404544 140720868948386 140720868948520 140720868948520 140720868954090 0
/proc/70824/statm: 895405 812755 2400 1147 0 882832 0
Current children cumulated CPU time: 3453.53 s
Current children cumulated vsize: 3585812 KiB
Current children cumulated memory: 3253964 KiB
[startup+3522.3 s]
/proc/loadavg: 4.25 4.22 4.10 5/270 71171
/proc/meminfo: memFree=110727372/131249996 swapFree=33010160/33010684
[pid=70819] ppid=70806 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/70819/stat : 70819 (run-opt.sh) S 70806 70819 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 65745822 4292608 736 18446744073709551615 94078689914880 94078690809413 140733668053632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94078691048464 94078691096208 94078699704320 140733668055405 140733668055528 140733668055528 140733668061130 0
/proc/70819/statm: 1048 736 672 219 0 110 0
[pid=70824] ppid=70819 vsize=3581620 memory=3251020 CPUtime=3513.39 cores=1,3
/proc/70824/stat : 70824 (roundingsat) R 70819 70819 70763 0 -1 4194304 509234 0 0 0 341484 9855 0 0 20 0 1 0 65745823 3667578880 812755 18446744073709551615 4227072 8923433 140720868944208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 23404544 140720868948386 140720868948520 140720868948520 140720868954090 0
/proc/70824/statm: 895405 812755 2400 1147 0 882832 0
Current children cumulated CPU time: 3513.39 s
Current children cumulated vsize: 3585812 KiB
Current children cumulated memory: 3253964 KiB
[startup+3582.3 s]
/proc/loadavg: 4.37 4.25 4.11 5/271 71176
/proc/meminfo: memFree=110188264/131249996 swapFree=33010160/33010684
[pid=70819] ppid=70806 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/70819/stat : 70819 (run-opt.sh) S 70806 70819 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 65745822 4292608 736 18446744073709551615 94078689914880 94078690809413 140733668053632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94078691048464 94078691096208 94078699704320 140733668055405 140733668055528 140733668055528 140733668061130 0
/proc/70819/statm: 1048 736 672 219 0 110 0
[pid=70824] ppid=70819 vsize=3581620 memory=3251020 CPUtime=3573.26 cores=1,3
/proc/70824/stat : 70824 (roundingsat) R 70819 70819 70763 0 -1 4194304 509244 0 0 0 347467 9859 0 0 20 0 1 0 65745823 3667578880 812755 18446744073709551615 4227072 8923433 140720868944208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 23404544 140720868948386 140720868948520 140720868948520 140720868954090 0
/proc/70824/statm: 895405 812755 2400 1147 0 882832 0
Current children cumulated CPU time: 3573.26 s
Current children cumulated vsize: 3585812 KiB
Current children cumulated memory: 3253964 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.11 s]
/proc/loadavg: 4.43 4.27 4.13 5/271 71178
/proc/meminfo: memFree=110190056/131249996 swapFree=33010160/33010684
[pid=70819] ppid=70806 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/70819/stat : 70819 (run-opt.sh) S 70806 70819 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 65745822 4292608 736 18446744073709551615 94078689914880 94078690809413 140733668053632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94078691048464 94078691096208 94078699704320 140733668055405 140733668055528 140733668055528 140733668061130 0
/proc/70819/statm: 1048 736 672 219 0 110 0
[pid=70824] ppid=70819 vsize=3581620 memory=3251020 CPUtime=3600 cores=1,3
/proc/70824/stat : 70824 (roundingsat) R 70819 70819 70763 0 -1 4194304 509245 0 0 0 350139 9861 0 0 20 0 1 0 65745823 3667578880 812755 18446744073709551615 4227072 8923433 140720868944208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 23404544 140720868948386 140720868948520 140720868948520 140720868954090 0
/proc/70824/statm: 895405 812755 2400 1147 0 882832 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 3585812 KiB
Current children cumulated memory: 3253964 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.11 s]
# the end of solver process 70819 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.002725 s
Sleeping 2 seconds
[startup+3609.19 s]
# the end of solver process 70824 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3501.45 s, system=98.6537 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.43 4.27 4.13 5/271 71178
/proc/meminfo: memFree=110190056/131249996 swapFree=33010160/33010684
[pid=70819] ppid=70806 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/70819/stat : 70819 (run-opt.sh) S 70806 70819 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 65745822 4292608 736 18446744073709551615 94078689914880 94078690809413 140733668053632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94078691048464 94078691096208 94078699704320 140733668055405 140733668055528 140733668055528 140733668061130 0
/proc/70819/statm: 1048 736 672 219 0 110 0
[pid=70824] ppid=70819 vsize=3581620 memory=3251020 CPUtime=3600 cores=1,3
/proc/70824/stat : 70824 (roundingsat) R 70819 70819 70763 0 -1 4194304 509245 0 0 0 350139 9861 0 0 20 0 1 0 65745823 3667578880 812755 18446744073709551615 4227072 8923433 140720868944208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 23404544 140720868948386 140720868948520 140720868948520 140720868954090 0
/proc/70824/statm: 895405 812755 2400 1147 0 882832 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 3585812 KiB
Current children cumulated memory: 3253964 KiB
Child status: 2
Real time (s): 3609.19
CPU time (s): 3600.1
CPU user time (s): 3501.45
CPU system time (s): 98.6537
CPU usage (%): 99.7481
Max. virtual memory (cumulated for all children) (KiB): 3585812
Max. memory (cumulated for all children) (KiB): 3253964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3501.45
system time used= 98.6537
maximum resident set size= 3251404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 509592
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= 186
involuntary context switches= 5743
# summary of solver processes directly reported to runsolver:
# pid: 70819,70824
# total CPU time (s): 3600.1
# total CPU user time (s): 3501.45
# total CPU system time (s): 98.6537
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.17662 second user time and 16.5223 second system time
The end
Begin job on nodeC021 at 2025-07-03 01:58:01
IDJOB=4506182
IDBENCH=157883
IDSOLVER=3350
FILE ID=nodeC021/4506182-1751500681
RUNJOBID= nodeC021-1751500681-70775
SLURM_JOB_ID= 9598584
Free space on /tmp= 430976 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/NG/normalized-NG.dot_fibo_50null20mast_rapportOE1.0_TMAX120_K192_cod2.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506182-1751500681/watcher-4506182-1751500681 -o /tmp/evaluation-result-4506182-1751500681/solver-4506182-1751500681 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751500681-70775 --watchdog 3760 run-opt.sh HOME/instance-4506182-1751500681.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3cfe8ea012dcc17418564c57acaec44c
RANDOM SEED=720974130
nodeC021 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.778
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3598.926
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3603.068
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.167
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.836
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3605.435
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3609.281
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.989
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 125888856 kB
MemAvailable: 129646220 kB
Buffers: 2128 kB
Cached: 4495936 kB
SwapCached: 20 kB
Active: 557492 kB
Inactive: 4016896 kB
Active(anon): 83764 kB
Inactive(anon): 10924 kB
Active(file): 473728 kB
Inactive(file): 4005972 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 131552 kB
Writeback: 8 kB
AnonPages: 78752 kB
Mapped: 103716 kB
Shmem: 18040 kB
KReclaimable: 233408 kB
Slab: 324756 kB
SReclaimable: 233408 kB
SUnreclaim: 91348 kB
KernelStack: 4068 kB
PageTables: 2544 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 348264 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150392 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 22528 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 430776 MiB
End job on nodeC021 at 2025-07-03 02:58:11