0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
2.57/2.67 c #variables 400896 #constraints 402763
2.57/2.67 c objective is ce32
2.77/2.83 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
2.77/2.83 c initial counting CF 32, 64, 128, Arb: 2 , 0 , 0 , 0
2.77/2.83 c GLOBAL bounds - >= -4260887 @ 2.33126
3.17/3.22 c GLOBAL bounds - >= -4260887 @ 2.47106
3.56/3.60 c GLOBAL bounds - >= -4260887 @ 2.61721
3.86/3.97 c GLOBAL bounds - >= -4260887 @ 2.7792
4.26/4.35 c GLOBAL bounds - >= -4260887 @ 2.93033
4.66/4.73 c GLOBAL bounds - >= -4260887 @ 3.0727
4.97/5.10 c GLOBAL bounds - >= -4260887 @ 3.20951
5.36/5.48 c GLOBAL bounds - >= -4260887 @ 3.35413
5.76/5.85 c GLOBAL bounds - >= -4260887 @ 3.49955
6.16/6.23 c GLOBAL bounds - >= -4260887 @ 3.63447
6.56/6.60 c GLOBAL bounds - >= -4260887 @ 3.78001
6.86/6.99 c GLOBAL bounds - >= -4260887 @ 3.92997
7.26/7.38 c GLOBAL bounds - >= -4260887 @ 4.08021
7.66/7.77 c GLOBAL bounds - >= -4260887 @ 4.22131
8.07/8.16 c GLOBAL bounds - >= -4260887 @ 4.36213
8.45/8.55 c GLOBAL bounds - >= -4260887 @ 4.51686
8.85/8.94 c GLOBAL bounds - >= -4260887 @ 4.65173
9.26/9.33 c GLOBAL bounds - >= -4260887 @ 4.79102
9.65/9.72 c GLOBAL bounds - >= -4260887 @ 4.9377
10.06/10.12 c GLOBAL bounds - >= -4260887 @ 5.08243
10.46/10.51 c GLOBAL bounds - >= -4260887 @ 5.22777
10.86/10.90 c GLOBAL bounds - >= -4260887 @ 5.35937
11.16/11.29 c GLOBAL bounds - >= -4260887 @ 5.50106
11.55/11.68 c GLOBAL bounds - >= -4260887 @ 5.63628
11.95/12.07 c GLOBAL bounds - >= -4260887 @ 5.77274
12.35/12.46 c GLOBAL bounds - >= -4260887 @ 5.90544
12.75/12.85 c GLOBAL bounds - >= -4260887 @ 6.05418
13.15/13.24 c GLOBAL bounds - >= -4260887 @ 6.179
13.55/13.63 c GLOBAL bounds - >= -4260887 @ 6.31869
13.95/14.02 c GLOBAL bounds - >= -4260887 @ 6.45442
14.34/14.41 c GLOBAL bounds - >= -4260887 @ 6.59419
14.74/14.80 c GLOBAL bounds - >= -4260887 @ 6.74366
15.05/15.19 c GLOBAL bounds - >= -4260887 @ 6.88756
15.44/15.58 c GLOBAL bounds - >= -4260887 @ 7.00995
15.85/15.97 c GLOBAL bounds - >= -4260887 @ 7.1437
16.24/16.36 c GLOBAL bounds - >= -4260887 @ 7.28748
16.64/16.75 c GLOBAL bounds - >= -4260887 @ 7.41539
17.05/17.14 c GLOBAL bounds - >= -4260887 @ 7.56308
17.44/17.53 c GLOBAL bounds - >= -4260887 @ 7.70987
17.84/17.93 c GLOBAL bounds - >= -4260887 @ 7.87373
18.24/18.32 c GLOBAL bounds - >= -4260887 @ 8.02533
18.64/18.71 c GLOBAL bounds - >= -4260887 @ 8.15224
19.04/19.11 c GLOBAL bounds - >= -4260887 @ 8.29681
19.44/19.50 c GLOBAL bounds - >= -4260887 @ 8.44522
19.74/19.89 c GLOBAL bounds - >= -4260887 @ 8.59622
20.14/20.28 c GLOBAL bounds - >= -4260887 @ 8.75217
20.53/20.67 c GLOBAL bounds - >= -4260887 @ 8.88641
20.94/21.06 c GLOBAL bounds - >= -4260887 @ 9.03592
21.33/21.45 c GLOBAL bounds - >= -4260887 @ 9.189
21.73/21.84 c GLOBAL bounds - >= -4260887 @ 9.32151
22.13/22.23 c GLOBAL bounds - >= -4260887 @ 9.47413
22.53/22.62 c GLOBAL bounds - >= -4260887 @ 9.61183
22.94/23.01 c GLOBAL bounds - >= -4260887 @ 9.74627
23.33/23.40 c GLOBAL bounds - >= -4260887 @ 9.88342
23.63/23.79 c GLOBAL bounds - >= -4260887 @ 10.0294
24.03/24.18 c GLOBAL bounds - >= -4260887 @ 10.1818
24.43/24.57 c GLOBAL bounds - >= -4260887 @ 10.3233
24.83/24.97 c GLOBAL bounds - >= -4260887 @ 10.4785
25.23/25.36 c GLOBAL bounds - >= -4260887 @ 10.619
25.62/25.75 c GLOBAL bounds - >= -4260887 @ 10.7587
26.03/26.14 c GLOBAL bounds - >= -4260887 @ 10.9033
26.42/26.53 c GLOBAL bounds - >= -4260887 @ 11.0561
26.83/26.92 c GLOBAL bounds - >= -4260887 @ 11.2004
27.22/27.31 c GLOBAL bounds - >= -4260887 @ 11.3441
27.63/27.70 c GLOBAL bounds - >= -4260887 @ 11.4965
27.93/28.09 c GLOBAL bounds - >= -4260887 @ 11.6316
28.32/28.49 c GLOBAL bounds - >= -4260887 @ 11.7876
28.72/28.88 c GLOBAL bounds - >= -4260887 @ 11.9274
29.12/29.27 c GLOBAL bounds - >= -4260887 @ 12.0854
29.51/29.66 c GLOBAL bounds - >= -4260887 @ 12.2053
29.93/30.05 c GLOBAL bounds - >= -4260887 @ 12.342
30.32/30.44 c GLOBAL bounds - >= -4260887 @ 12.4756
30.72/30.83 c GLOBAL bounds - >= -4260887 @ 12.6075
31.12/31.22 c GLOBAL bounds - >= -4260887 @ 12.7254
31.52/31.61 c GLOBAL bounds - >= -4260887 @ 12.8724
31.92/32.01 c GLOBAL bounds - >= -4260887 @ 13.0121
32.21/32.40 c GLOBAL bounds - >= -4260887 @ 13.1568
32.61/32.79 c GLOBAL bounds - >= -4260887 @ 13.2901
33.02/33.18 c GLOBAL bounds - >= -4260887 @ 13.4209
33.41/33.57 c GLOBAL bounds - >= -4260887 @ 13.5542
33.81/33.96 c GLOBAL bounds - >= -4260887 @ 13.6884
34.21/34.35 c GLOBAL bounds - >= -4260887 @ 13.8442
34.61/34.75 c GLOBAL bounds - >= -4260887 @ 13.9913
35.01/35.14 c GLOBAL bounds - >= -4260887 @ 14.1331
35.41/35.53 c GLOBAL bounds - >= -4260887 @ 14.2639
35.81/35.92 c GLOBAL bounds - >= -4260887 @ 14.4102
36.20/36.31 c GLOBAL bounds - >= -4260887 @ 14.5489
36.61/36.70 c GLOBAL bounds - >= -4260887 @ 14.6879
36.91/37.09 c GLOBAL bounds - >= -4260887 @ 14.8205
37.31/37.48 c GLOBAL bounds - >= -4260887 @ 14.9611
37.71/37.88 c GLOBAL bounds - >= -4260887 @ 15.1168
38.10/38.27 c GLOBAL bounds - >= -4260887 @ 15.2561
38.50/38.66 c GLOBAL bounds - >= -4260887 @ 15.3906
38.91/39.05 c GLOBAL bounds - >= -4260887 @ 15.5267
39.30/39.44 c GLOBAL bounds - >= -4260887 @ 15.6757
39.70/39.84 c GLOBAL bounds - >= -4260887 @ 15.8106
40.10/40.23 c GLOBAL bounds - >= -4260887 @ 15.94
40.50/40.62 c GLOBAL bounds - >= -4260887 @ 16.0873
40.90/41.02 c GLOBAL bounds - >= -4260887 @ 16.215
41.30/41.41 c GLOBAL bounds - >= -4260887 @ 16.3706
41.70/41.80 c GLOBAL bounds - >= -4260887 @ 16.5133
42.00/42.19 c GLOBAL bounds - >= -4260887 @ 16.6552
42.40/42.58 c GLOBAL bounds - >= -4260887 @ 16.7865
42.80/42.98 c GLOBAL bounds - >= -4260887 @ 16.9241
43.20/43.37 c GLOBAL bounds - >= -4260887 @ 17.0767
43.59/43.76 c GLOBAL bounds - >= -4260887 @ 17.2214
43.99/44.15 c GLOBAL bounds - >= -4260887 @ 17.3488
44.39/44.55 c GLOBAL bounds - >= -4260887 @ 17.4926
44.79/44.94 c GLOBAL bounds - >= -4260887 @ 17.6281
45.19/45.33 c GLOBAL bounds - >= -4260887 @ 17.7616
45.59/45.72 c GLOBAL bounds - >= -4260887 @ 17.8991
46.00/46.12 c GLOBAL bounds - >= -4260887 @ 18.0277
46.39/46.51 c GLOBAL bounds - >= -4260887 @ 18.1764
46.79/46.90 c GLOBAL bounds - >= -4260887 @ 18.3292
47.19/47.30 c GLOBAL bounds - >= -4260887 @ 18.4749
47.59/47.70 c GLOBAL bounds - >= -4260887 @ 18.6192
47.89/48.09 c GLOBAL bounds - >= -4260887 @ 18.7633
48.28/48.48 c GLOBAL bounds - >= -4260887 @ 18.8926
48.68/48.88 c GLOBAL bounds - >= -4260887 @ 19.0382
49.08/49.27 c GLOBAL bounds - >= -4260887 @ 19.1857
49.49/49.66 c GLOBAL bounds - >= -4260887 @ 19.3506
49.89/50.05 c GLOBAL bounds - >= -4260887 @ 19.4996
50.28/50.45 c GLOBAL bounds - >= -4260887 @ 19.6349
50.68/50.84 c GLOBAL bounds - >= -4260887 @ 19.776
51.08/51.23 c GLOBAL bounds - >= -4260887 @ 19.9224
51.48/51.63 c GLOBAL bounds - >= -4260887 @ 20.0711
51.89/52.02 c GLOBAL bounds - >= -4260887 @ 20.2108
52.27/52.42 c GLOBAL bounds - >= -4260887 @ 20.3601
52.68/52.82 c GLOBAL bounds - >= -4260887 @ 20.5126
53.07/53.21 c GLOBAL bounds - >= -4260887 @ 20.6574
53.48/53.61 c GLOBAL bounds - >= -4260887 @ 20.8261
53.88/54.00 c GLOBAL bounds - >= -4260887 @ 20.9825
54.27/54.40 c GLOBAL bounds - >= -4260887 @ 21.1304
54.58/54.79 c GLOBAL bounds - >= -4260887 @ 21.2709
54.98/55.19 c GLOBAL bounds - >= -4260887 @ 21.4076
55.37/55.58 c GLOBAL bounds - >= -4260887 @ 21.5555
55.77/55.97 c GLOBAL bounds - >= -4260887 @ 21.6934
56.17/56.37 c GLOBAL bounds - >= -4260887 @ 21.8327
56.57/56.76 c GLOBAL bounds - >= -4260887 @ 21.9848
56.98/57.16 c GLOBAL bounds - >= -4260887 @ 22.1355
57.36/57.56 c GLOBAL bounds - >= -4260887 @ 22.2676
57.76/57.95 c GLOBAL bounds - >= -4260887 @ 22.4149
58.17/58.34 c GLOBAL bounds - >= -4260887 @ 22.5779
58.57/58.74 c GLOBAL bounds - >= -4260887 @ 22.7114
58.97/59.13 c GLOBAL bounds - >= -4260887 @ 22.8527
59.36/59.53 c GLOBAL bounds - >= -4260887 @ 23.0024
59.77/59.92 c GLOBAL bounds - >= -4260887 @ 23.1462
60.16/60.31 c GLOBAL bounds - >= -4260887 @ 23.2963
60.56/60.71 c GLOBAL bounds - >= -4260887 @ 23.46
60.87/61.10 c GLOBAL bounds - >= -4260887 @ 23.6124
61.27/61.49 c GLOBAL bounds - >= -4260887 @ 23.7567
61.66/61.89 c GLOBAL bounds - >= -4260887 @ 23.8945
62.07/62.28 c GLOBAL bounds - >= -4260887 @ 24.0453
62.46/62.68 c GLOBAL bounds - >= -4260887 @ 24.1778
62.87/63.08 c GLOBAL bounds - >= -4260887 @ 24.3258
63.26/63.47 c GLOBAL bounds - >= -4260887 @ 24.4789
63.66/63.87 c GLOBAL bounds - >= -4260887 @ 24.6283
64.05/64.26 c GLOBAL bounds - >= -4260887 @ 24.7752
64.45/64.66 c GLOBAL bounds - >= -4260887 @ 24.9375
64.86/65.05 c GLOBAL bounds - >= -4260887 @ 25.0695
65.25/65.45 c GLOBAL bounds - >= -4260887 @ 25.2235
65.66/65.84 c GLOBAL bounds - >= -4260887 @ 25.3519
66.06/66.23 c GLOBAL bounds - >= -4260887 @ 25.4893
66.46/66.63 c GLOBAL bounds - >= -4260887 @ 25.6373
66.86/67.03 c GLOBAL bounds - >= -4260887 @ 25.7807
67.26/67.42 c GLOBAL bounds - >= -4260887 @ 25.9245
67.65/67.82 c GLOBAL bounds - >= -4260887 @ 26.0857
68.05/68.22 c GLOBAL bounds - >= -4260887 @ 26.2423
68.45/68.61 c GLOBAL bounds - >= -4260887 @ 26.4007
68.85/69.01 c GLOBAL bounds - >= -4260887 @ 26.5499
69.25/69.40 c GLOBAL bounds - >= -4260887 @ 26.6884
69.65/69.80 c GLOBAL bounds - >= -4260887 @ 26.8378
69.95/70.19 c GLOBAL bounds - >= -4260887 @ 26.989
70.35/70.59 c GLOBAL bounds - >= -4260887 @ 27.1433
70.75/70.99 c GLOBAL bounds - >= -4260887 @ 27.2847
71.15/71.38 c GLOBAL bounds - >= -4260887 @ 27.4293
71.54/71.78 c GLOBAL bounds - >= -4260887 @ 27.5676
71.94/72.17 c GLOBAL bounds - >= -4260887 @ 27.7003
72.34/72.56 c GLOBAL bounds - >= -4260887 @ 27.8517
72.75/72.96 c GLOBAL bounds - >= -4260887 @ 27.9973
73.14/73.35 c GLOBAL bounds - >= -4260887 @ 28.1356
73.54/73.75 c GLOBAL bounds - >= -4260887 @ 28.2758
73.94/74.15 c GLOBAL bounds - >= -4260887 @ 28.4348
74.34/74.54 c GLOBAL bounds - >= -4260887 @ 28.5807
74.74/74.94 c GLOBAL bounds - >= -4260887 @ 28.7275
75.14/75.35 c GLOBAL bounds - >= -4260887 @ 28.8862
75.53/75.74 c GLOBAL bounds - >= -4260887 @ 29.0219
75.95/76.14 c GLOBAL bounds - >= -4260887 @ 29.166
76.34/76.54 c GLOBAL bounds - >= -4260887 @ 29.3194
76.74/76.93 c GLOBAL bounds - >= -4260887 @ 29.464
77.13/77.33 c GLOBAL bounds - >= -4260887 @ 29.6089
77.53/77.72 c GLOBAL bounds - >= -4260887 @ 29.758
77.94/78.11 c GLOBAL bounds - >= -4260887 @ 29.8986
78.33/78.51 c GLOBAL bounds - >= -4260887 @ 30.0534
78.73/78.91 c GLOBAL bounds - >= -4260887 @ 30.2017
79.13/79.30 c GLOBAL bounds - >= -4260887 @ 30.328
79.53/79.70 c GLOBAL bounds - >= -4260887 @ 30.4627
79.84/80.09 c GLOBAL bounds - >= -4260887 @ 30.603
80.33/80.50 c GLOBAL bounds - >= -4260887 @ 30.752
80.63/80.89 c GLOBAL bounds - >= -4260887 @ 30.9122
81.02/81.29 c GLOBAL bounds - >= -4260887 @ 31.0607
81.42/81.69 c GLOBAL bounds - >= -4260887 @ 31.213
81.83/82.09 c GLOBAL bounds - >= -4260887 @ 31.377
82.23/82.49 c GLOBAL bounds - >= -4260887 @ 31.5342
82.62/82.89 c GLOBAL bounds - >= -4260887 @ 31.6862
83.02/83.29 c GLOBAL bounds - >= -4260887 @ 31.8339
83.42/83.69 c GLOBAL bounds - >= -4260887 @ 31.9802
83.83/84.10 c GLOBAL bounds - >= -4260887 @ 32.1378
84.32/84.50 c GLOBAL bounds - >= -4260887 @ 32.2949
84.72/84.90 c GLOBAL bounds - >= -4260887 @ 32.4562
85.12/85.30 c GLOBAL bounds - >= -4260887 @ 32.609
85.52/85.71 c GLOBAL bounds - >= -4260887 @ 32.7707
85.92/86.11 c GLOBAL bounds - >= -4260887 @ 32.9223
86.32/86.51 c GLOBAL bounds - >= -4260887 @ 33.0692
86.72/86.91 c GLOBAL bounds - >= -4260887 @ 33.2134
87.12/87.31 c GLOBAL bounds - >= -4260887 @ 33.3849
87.52/87.72 c GLOBAL bounds - >= -4260887 @ 33.5382
87.93/88.12 c GLOBAL bounds - >= -4260887 @ 33.6891
88.31/88.53 c GLOBAL bounds - >= -4260887 @ 33.8506
88.72/88.93 c GLOBAL bounds - >= -4260887 @ 34.0053
89.11/89.32 c GLOBAL bounds - >= -4260887 @ 34.1526
89.52/89.72 c GLOBAL bounds - >= -4260887 @ 34.2951
89.92/90.12 c GLOBAL bounds - >= -4260887 @ 34.4432
90.31/90.52 c GLOBAL bounds - >= -4260887 @ 34.5988
90.71/90.92 c GLOBAL bounds - >= -4260887 @ 34.7615
91.11/91.33 c GLOBAL bounds - >= -4260887 @ 34.9134
91.51/91.72 c GLOBAL bounds - >= -4260887 @ 35.0535
91.91/92.12 c GLOBAL bounds - >= -4260887 @ 35.2162
92.31/92.52 c GLOBAL bounds - >= -4260887 @ 35.3598
92.71/92.91 c GLOBAL bounds - >= -4260887 @ 35.5016
93.11/93.31 c GLOBAL bounds - >= -4260887 @ 35.6521
93.50/93.71 c GLOBAL bounds - >= -4260887 @ 35.7942
93.91/94.11 c GLOBAL bounds - >= -4260887 @ 35.9289
94.30/94.50 c GLOBAL bounds - >= -4260887 @ 36.0926
94.70/94.90 c GLOBAL bounds - >= -4260887 @ 36.2485
95.10/95.30 c GLOBAL bounds - >= -4260887 @ 36.4106
95.50/95.70 c GLOBAL bounds - >= -4260887 @ 36.5524
95.91/96.10 c GLOBAL bounds - >= -4260887 @ 36.7069
96.31/96.50 c GLOBAL bounds - >= -4260887 @ 36.8542
96.70/96.90 c GLOBAL bounds - >= -4260887 @ 37.0055
97.10/97.30 c GLOBAL bounds - >= -4260887 @ 37.1533
97.40/97.70 c GLOBAL bounds - >= -4260887 @ 37.2822
97.80/98.09 c GLOBAL bounds - >= -4260887 @ 37.4363
98.30/98.50 c GLOBAL bounds - >= -4260887 @ 37.576
98.69/98.90 c GLOBAL bounds - >= -4260887 @ 37.7283
99.09/99.30 c GLOBAL bounds - >= -4260887 @ 37.8715
99.50/99.71 c GLOBAL bounds - >= -4260887 @ 38.0126
99.90/100.11 c GLOBAL bounds - >= -4260887 @ 38.1664
100.30/100.51 c GLOBAL bounds - >= -4260887 @ 38.3194
100.69/100.92 c GLOBAL bounds - >= -4260887 @ 38.4795
101.09/101.32 c GLOBAL bounds - >= -4260887 @ 38.608
101.49/101.73 c GLOBAL bounds - >= -4260887 @ 38.7733
101.89/102.14 c GLOBAL bounds - >= -4260887 @ 38.9349
102.29/102.55 c GLOBAL bounds - >= -4260887 @ 39.0846
102.69/102.96 c GLOBAL bounds - >= -4260887 @ 39.2282
103.09/103.36 c GLOBAL bounds - >= -4260887 @ 39.3746
103.49/103.76 c GLOBAL bounds - >= -4260887 @ 39.5245
103.89/104.16 c GLOBAL bounds - >= -4260887 @ 39.6782
104.29/104.57 c GLOBAL bounds - >= -4260887 @ 39.8184
104.69/104.97 c GLOBAL bounds - >= -4260887 @ 39.9686
105.08/105.37 c GLOBAL bounds - >= -4260887 @ 40.1189
105.48/105.77 c GLOBAL bounds - >= -4260887 @ 40.2532
105.89/106.17 c GLOBAL bounds - >= -4260887 @ 40.4081
106.28/106.57 c GLOBAL bounds - >= -4260887 @ 40.557
106.69/106.97 c GLOBAL bounds - >= -4260887 @ 40.7143
107.09/107.38 c GLOBAL bounds - >= -4260887 @ 40.859
107.49/107.78 c GLOBAL bounds - >= -4260887 @ 41.0298
107.89/108.19 c GLOBAL bounds - >= -4260887 @ 41.182
108.28/108.59 c GLOBAL bounds - >= -4260887 @ 41.3277
108.68/108.99 c GLOBAL bounds - >= -4260887 @ 41.4889
109.18/109.40 c GLOBAL bounds - >= -4260887 @ 41.6465
109.58/109.81 c GLOBAL bounds - >= -4260887 @ 41.8214
109.98/110.22 c GLOBAL bounds - >= -4260887 @ 41.9619
110.37/110.62 c GLOBAL bounds - >= -4260887 @ 42.1073
110.78/111.02 c GLOBAL bounds - >= -4260887 @ 42.2609
111.18/111.42 c GLOBAL bounds - >= -4260887 @ 42.4007
111.58/111.82 c GLOBAL bounds - >= -4260887 @ 42.5616
111.97/112.23 c GLOBAL bounds - >= -4260887 @ 42.7171
112.37/112.66 c GLOBAL bounds - >= -4260887 @ 42.8894
112.78/113.06 c GLOBAL bounds - >= -4260887 @ 43.0536
113.17/113.46 c GLOBAL bounds - >= -4260887 @ 43.1887
113.57/113.86 c GLOBAL bounds - >= -4260887 @ 43.3539
113.97/114.26 c GLOBAL bounds - >= -4260887 @ 43.5017
114.37/114.68 c GLOBAL bounds - >= -4260887 @ 43.6814
114.77/115.10 c GLOBAL bounds - >= -4260887 @ 43.8402
115.27/115.50 c GLOBAL bounds - >= -4260887 @ 43.9824
115.67/115.90 c GLOBAL bounds - >= -4260887 @ 44.137
116.07/116.31 c GLOBAL bounds - >= -4260887 @ 44.2937
116.47/116.71 c GLOBAL bounds - >= -4260887 @ 44.4604
116.87/117.12 c GLOBAL bounds - >= -4260887 @ 44.6242
117.26/117.52 c GLOBAL bounds - >= -4260887 @ 44.7978
117.66/117.93 c GLOBAL bounds - >= -4260887 @ 44.929
118.07/118.34 c GLOBAL bounds - >= -4260887 @ 45.0898
118.47/118.75 c GLOBAL bounds - >= -4260887 @ 45.2493
118.87/119.15 c GLOBAL bounds - >= -4260887 @ 45.4105
119.26/119.55 c GLOBAL bounds - >= -4260887 @ 45.5501
119.66/119.98 c GLOBAL bounds - >= -4260887 @ 45.735
120.06/120.38 c GLOBAL bounds - >= -4260887 @ 45.8844
120.46/120.78 c GLOBAL bounds - >= -4260887 @ 46.0442
120.87/121.19 c GLOBAL bounds - >= -4260887 @ 46.2188
121.25/121.59 c GLOBAL bounds - >= -4260887 @ 46.3705
121.76/122.02 c GLOBAL bounds - >= -4260887 @ 46.5471
122.15/122.43 c GLOBAL bounds - >= -4260887 @ 46.7038
122.55/122.84 c GLOBAL bounds - >= -4260887 @ 46.8533
122.95/123.26 c GLOBAL bounds - >= -4260887 @ 47.0173
123.46/123.70 c GLOBAL bounds - >= -4260887 @ 47.2147
123.85/124.11 c GLOBAL bounds - >= -4260887 @ 47.395
124.25/124.52 c GLOBAL bounds - >= -4260887 @ 47.5611
124.65/124.93 c GLOBAL bounds - >= -4260887 @ 47.7261
125.05/125.33 c GLOBAL bounds - >= -4260887 @ 47.8748
125.55/125.84 c GLOBAL bounds - >= -4260887 @ 48.1422
125.95/126.26 c GLOBAL bounds - >= -4260887 @ 48.3063
126.34/126.67 c GLOBAL bounds - >= -4260887 @ 48.4559
126.75/127.07 c GLOBAL bounds - >= -4260887 @ 48.6156
127.14/127.48 c GLOBAL bounds - >= -4260887 @ 48.768
127.65/127.97 c GLOBAL bounds - >= -4260887 @ 48.9924
128.14/128.40 c GLOBAL bounds - >= -4260887 @ 49.1622
128.55/128.80 c GLOBAL bounds - >= -4260887 @ 49.2954
128.95/129.20 c GLOBAL bounds - >= -4260887 @ 49.4377
129.34/129.64 c GLOBAL bounds - >= -4260887 @ 49.6335
129.74/130.04 c GLOBAL bounds - >= -4260887 @ 49.7789
130.14/130.46 c #Conflicts: 1000 | #Constraints: 1639
130.14/130.46 c GLOBAL bounds - >= -4260887 @ 49.9511
130.54/130.86 c GLOBAL bounds - >= -4260887 @ 50.1035
130.94/131.28 c GLOBAL bounds - >= -4260887 @ 50.2787
131.34/131.69 c GLOBAL bounds - >= -4260887 @ 50.4269
131.74/132.10 c GLOBAL bounds - >= -4260887 @ 50.5811
132.24/132.51 c GLOBAL bounds - >= -4260887 @ 50.7433
132.63/132.96 c GLOBAL bounds - >= -4260887 @ 50.9534
133.04/133.38 c GLOBAL bounds - >= -4260887 @ 51.1232
133.43/133.78 c GLOBAL bounds - >= -4260887 @ 51.2531
133.84/134.18 c GLOBAL bounds - >= -4260887 @ 51.3811
134.24/134.57 c GLOBAL bounds - >= -4260887 @ 51.5159
134.63/134.97 c GLOBAL bounds - >= -4260887 @ 51.6623
135.03/135.37 c GLOBAL bounds - >= -4260887 @ 51.8283
135.43/135.77 c GLOBAL bounds - >= -4260887 @ 51.9655
135.84/136.17 c GLOBAL bounds - >= -4260887 @ 52.1068
136.23/136.56 c GLOBAL bounds - >= -4260887 @ 52.2604
136.63/136.96 c GLOBAL bounds - >= -4260887 @ 52.4036
137.03/137.37 c GLOBAL bounds - >= -4260887 @ 52.5399
137.43/137.77 c GLOBAL bounds - >= -4260887 @ 52.6736
137.84/138.17 c GLOBAL bounds - >= -4260887 @ 52.8193
138.23/138.58 c GLOBAL bounds - >= -4260887 @ 52.9702
138.62/138.98 c GLOBAL bounds - >= -4260887 @ 53.1314
139.02/139.38 c GLOBAL bounds - >= -4260887 @ 53.2742
139.52/139.82 c GLOBAL bounds - >= -4260887 @ 53.4701
139.92/140.23 c GLOBAL bounds - >= -4260887 @ 53.6343
140.33/140.63 c GLOBAL bounds - >= -4260887 @ 53.7951
140.73/141.06 c GLOBAL bounds - >= -4260887 @ 53.9826
141.12/141.46 c GLOBAL bounds - >= -4260887 @ 54.143
141.52/141.87 c GLOBAL bounds - >= -4260887 @ 54.3055
142.02/142.39 c GLOBAL bounds - >= -4260887 @ 54.555
142.52/142.83 c GLOBAL bounds - >= -4260887 @ 54.7422
142.92/143.24 c GLOBAL bounds - >= -4260887 @ 54.9005
143.32/143.67 c GLOBAL bounds - >= -4260887 @ 55.0841
143.72/144.07 c GLOBAL bounds - >= -4260887 @ 55.2399
144.21/144.56 c GLOBAL bounds - >= -4260887 @ 55.4954
144.62/144.96 c GLOBAL bounds - >= -4260887 @ 55.6401
145.01/145.36 c GLOBAL bounds - >= -4260887 @ 55.8027
145.42/145.78 c GLOBAL bounds - >= -4260887 @ 55.9698
145.91/146.23 c GLOBAL bounds - >= -4260887 @ 56.1816
146.01/146.37 c GLOBAL bounds - >= -296296 @ 56.3144
148.41/148.78 c GLOBAL bounds - >= -296296 @ 58.5804
148.50/148.84 c GLOBAL bounds - >= -296296 @ 58.6368
148.50/148.89 c GLOBAL bounds - >= -296296 @ 58.6923
148.60/148.96 c GLOBAL bounds - >= -296296 @ 58.7603
148.71/149.02 c GLOBAL bounds - >= -296296 @ 58.815
148.71/149.08 c GLOBAL bounds - >= -296296 @ 58.8772
148.82/149.13 c GLOBAL bounds - >= -296296 @ 58.929
148.82/149.15 c GLOBAL bounds - >= -296296 @ 58.9469
148.82/149.17 c GLOBAL bounds - >= -296296 @ 58.9641
148.91/149.22 c GLOBAL bounds - >= -296296 @ 59.0209
148.91/149.24 c GLOBAL bounds - >= -296296 @ 59.039
148.91/149.26 c GLOBAL bounds - >= -296296 @ 59.0562
148.91/149.28 c GLOBAL bounds - >= -296296 @ 59.0729
148.91/149.29 c GLOBAL bounds - >= -296296 @ 59.0891
149.01/149.31 c GLOBAL bounds - >= -296296 @ 59.1058
149.01/149.33 c GLOBAL bounds - >= -296296 @ 59.123
149.01/149.34 c GLOBAL bounds - >= -296296 @ 59.1388
149.11/149.40 c GLOBAL bounds - >= -296296 @ 59.1948
149.11/149.42 c GLOBAL bounds - >= -296296 @ 59.2117
149.11/149.44 c GLOBAL bounds - >= -296296 @ 59.2279
149.11/149.45 c GLOBAL bounds - >= -296296 @ 59.2425
149.20/149.50 c GLOBAL bounds - >= -296296 @ 59.292
149.20/149.52 c GLOBAL bounds - >= -296296 @ 59.3095
149.20/149.58 c GLOBAL bounds - >= -296296 @ 59.3693
149.30/149.63 c GLOBAL bounds - >= -296296 @ 59.4183
149.30/149.64 c GLOBAL bounds - >= -296296 @ 59.4311
149.30/149.65 c GLOBAL bounds - >= -296296 @ 59.4453
149.30/149.67 c GLOBAL bounds - >= -296296 @ 59.4581
149.30/149.68 c GLOBAL bounds - >= -296296 @ 59.4721
149.40/149.70 c GLOBAL bounds - >= -296296 @ 59.488
149.40/149.71 c GLOBAL bounds - >= -296296 @ 59.499
149.40/149.73 c GLOBAL bounds - >= -296296 @ 59.5131
149.40/149.74 c GLOBAL bounds - >= -296296 @ 59.5295
149.50/149.80 c GLOBAL bounds - >= -296296 @ 59.5865
149.50/149.86 c GLOBAL bounds - >= -296296 @ 59.643
149.61/149.91 c GLOBAL bounds - >= -296296 @ 59.6983
149.61/149.93 c GLOBAL bounds - >= -296296 @ 59.7154
149.61/149.98 c GLOBAL bounds - >= -296296 @ 59.7669
149.61/150.00 c GLOBAL bounds - >= -296296 @ 59.7833
149.71/150.02 c GLOBAL bounds - >= -296296 @ 59.7995
149.71/150.03 c GLOBAL bounds - >= -296296 @ 59.8155
149.71/150.09 c GLOBAL bounds - >= -296296 @ 59.8692
149.81/150.11 c GLOBAL bounds - >= -296296 @ 59.886
149.81/150.16 c GLOBAL bounds - >= -296296 @ 59.9358
149.81/150.17 c GLOBAL bounds - >= -296296 @ 59.9537
149.90/150.24 c GLOBAL bounds - >= -296296 @ 60.0174
149.90/150.28 c GLOBAL bounds - >= -296296 @ 60.0635
150.00/150.30 c GLOBAL bounds - >= -296296 @ 60.0808
150.00/150.32 c GLOBAL bounds - >= -296296 @ 60.0971
150.00/150.37 c GLOBAL bounds - >= -296296 @ 60.1539
150.00/150.39 c GLOBAL bounds - >= -296296 @ 60.1686
150.10/150.41 c GLOBAL bounds - >= -296296 @ 60.1843
150.10/150.42 c GLOBAL bounds - >= -296296 @ 60.1998
150.10/150.47 c GLOBAL bounds - >= -296296 @ 60.2474
150.10/150.49 c GLOBAL bounds - >= -296296 @ 60.2632
150.20/150.50 c GLOBAL bounds - >= -296296 @ 60.2782
150.20/150.57 c GLOBAL bounds - >= -296296 @ 60.3423
150.31/150.62 c GLOBAL bounds - >= -296296 @ 60.395
150.31/150.64 c GLOBAL bounds - >= -296296 @ 60.4092
150.31/150.65 c GLOBAL bounds - >= -296296 @ 60.4208
150.31/150.66 c GLOBAL bounds - >= -296296 @ 60.4335
150.31/150.68 c GLOBAL bounds - >= -296296 @ 60.4458
150.31/150.69 c GLOBAL bounds - >= -296296 @ 60.4577
150.40/150.70 c GLOBAL bounds - >= -296296 @ 60.47
150.40/150.71 c GLOBAL bounds - >= -296296 @ 60.4814
150.40/150.77 c GLOBAL bounds - >= -296296 @ 60.5377
150.40/150.79 c GLOBAL bounds - >= -296296 @ 60.5543
150.50/150.80 c GLOBAL bounds - >= -296296 @ 60.5693
150.50/150.81 c GLOBAL bounds - >= -296296 @ 60.5824
150.50/150.87 c GLOBAL bounds - >= -296296 @ 60.6429
150.50/150.89 c GLOBAL bounds - >= -296296 @ 60.6585
150.60/150.94 c GLOBAL bounds - >= -296296 @ 60.7073
150.60/150.95 c GLOBAL bounds - >= -296296 @ 60.723
150.60/150.97 c GLOBAL bounds - >= -296296 @ 60.7385
150.60/150.99 c GLOBAL bounds - >= -296296 @ 60.7538
150.71/151.00 c GLOBAL bounds - >= -296296 @ 60.7692
150.71/151.02 c GLOBAL bounds - >= -296296 @ 60.7844
150.71/151.03 c GLOBAL bounds - >= -296296 @ 60.7997
150.71/151.05 c GLOBAL bounds - >= -296296 @ 60.8139
150.71/151.06 c GLOBAL bounds - >= -296296 @ 60.8281
150.71/151.08 c GLOBAL bounds - >= -296296 @ 60.8427
150.71/151.09 c GLOBAL bounds - >= -296296 @ 60.8568
150.80/151.10 c GLOBAL bounds - >= -296296 @ 60.8698
150.80/151.15 c GLOBAL bounds - >= -296296 @ 60.9152
150.90/151.23 c GLOBAL bounds - >= -296296 @ 60.9845
150.90/151.28 c GLOBAL bounds - >= -296296 @ 61.0387
151.00/151.34 c GLOBAL bounds - >= -296296 @ 61.0972
151.10/151.40 c GLOBAL bounds - >= -296296 @ 61.1563
151.10/151.45 c GLOBAL bounds - >= -296296 @ 61.2054
151.10/151.46 c GLOBAL bounds - >= -296296 @ 61.2189
151.20/151.51 c GLOBAL bounds - >= -296296 @ 61.2699
151.20/151.53 c GLOBAL bounds - >= -296296 @ 61.2841
151.20/151.54 c GLOBAL bounds - >= -296296 @ 61.2991
151.30/151.63 c GLOBAL bounds - >= -296296 @ 61.3873
151.30/151.65 c GLOBAL bounds - >= -296296 @ 61.4016
151.30/151.67 c GLOBAL bounds - >= -296296 @ 61.4285
151.40/151.70 c GLOBAL bounds - >= -296296 @ 61.4565
151.40/151.73 c GLOBAL bounds - >= -296296 @ 61.4845
151.40/151.76 c GLOBAL bounds - >= -296296 @ 61.5124
151.40/151.79 c GLOBAL bounds - >= -296296 @ 61.5402
151.50/151.81 c GLOBAL bounds - >= -296296 @ 61.5681
151.50/151.84 c GLOBAL bounds - >= -296296 @ 61.5962
151.50/151.87 c GLOBAL bounds - >= -296296 @ 61.624
151.60/151.90 c GLOBAL bounds - >= -296296 @ 61.652
151.60/151.93 c GLOBAL bounds - >= -296296 @ 61.68
151.60/151.96 c GLOBAL bounds - >= -296296 @ 61.71
151.60/151.99 c GLOBAL bounds - >= -296296 @ 61.7379
151.71/152.01 c GLOBAL bounds - >= -296296 @ 61.7661
151.71/152.04 c GLOBAL bounds - >= -296296 @ 61.7931
151.71/152.07 c GLOBAL bounds - >= -296296 @ 61.8207
151.71/152.10 c GLOBAL bounds - >= -296296 @ 61.8476
151.81/152.13 c GLOBAL bounds - >= -296296 @ 61.8745
151.81/152.15 c GLOBAL bounds - >= -296296 @ 61.9015
151.81/152.18 c GLOBAL bounds - >= -296296 @ 61.9284
151.90/152.21 c GLOBAL bounds - >= -296296 @ 61.956
151.90/152.24 c GLOBAL bounds - >= -296296 @ 61.9841
151.90/152.27 c GLOBAL bounds - >= -296296 @ 62.0121
151.90/152.29 c GLOBAL bounds - >= -296296 @ 62.04
152.00/152.32 c GLOBAL bounds - >= -296296 @ 62.0683
152.00/152.35 c GLOBAL bounds - >= -296296 @ 62.098
152.00/152.38 c GLOBAL bounds - >= -296296 @ 62.1267
152.10/152.40 c GLOBAL bounds - >= -296296 @ 62.14
152.10/152.41 c GLOBAL bounds - >= -296296 @ 62.1529
152.10/152.42 c GLOBAL bounds - >= -296296 @ 62.1661
152.10/152.44 c GLOBAL bounds - >= -296296 @ 62.1798
152.10/152.47 c GLOBAL bounds - >= -296296 @ 62.2075
152.10/152.49 c GLOBAL bounds - >= -296296 @ 62.2356
152.19/152.52 c GLOBAL bounds - >= -296296 @ 62.2636
152.19/152.55 c GLOBAL bounds - >= -296296 @ 62.2915
152.19/152.56 c GLOBAL bounds - >= -296296 @ 62.3029
152.19/152.59 c GLOBAL bounds - >= -296296 @ 62.3307
152.29/152.62 c GLOBAL bounds - >= -296296 @ 62.3588
152.29/152.65 c GLOBAL bounds - >= -296296 @ 62.3854
152.29/152.67 c GLOBAL bounds - >= -296296 @ 62.4123
152.29/152.68 c GLOBAL bounds - >= -296296 @ 62.4216
152.29/152.69 c GLOBAL bounds - >= -296296 @ 62.4303
152.40/152.70 c GLOBAL bounds - >= -296296 @ 62.4392
152.40/152.71 c GLOBAL bounds - >= -296296 @ 62.4484
152.40/152.74 c GLOBAL bounds - >= -296296 @ 62.4744
152.40/152.77 c GLOBAL bounds - >= -296296 @ 62.5048
152.50/152.80 c GLOBAL bounds - >= -296296 @ 62.5328
152.50/152.82 c GLOBAL bounds - >= -296296 @ 62.5608
152.50/152.85 c GLOBAL bounds - >= -296296 @ 62.5887
152.50/152.88 c GLOBAL bounds - >= -296296 @ 62.6158
152.60/152.91 c GLOBAL bounds - >= -296296 @ 62.6431
152.60/152.94 c GLOBAL bounds - >= -296296 @ 62.6708
152.60/152.96 c GLOBAL bounds - >= -296296 @ 62.6985
152.60/152.99 c GLOBAL bounds - >= -296296 @ 62.7263
152.70/153.02 c GLOBAL bounds - >= -296296 @ 62.7546
152.70/153.05 c GLOBAL bounds - >= -296296 @ 62.7824
152.70/153.07 c GLOBAL bounds - >= -296296 @ 62.8103
152.80/153.10 c GLOBAL bounds - >= -296296 @ 62.838
152.80/153.13 c GLOBAL bounds - >= -296296 @ 62.866
152.80/153.16 c GLOBAL bounds - >= -296296 @ 62.8964
152.80/153.19 c GLOBAL bounds - >= -296296 @ 62.9255
152.90/153.22 c GLOBAL bounds - >= -296296 @ 62.9535
152.90/153.25 c GLOBAL bounds - >= -296296 @ 62.9813
152.90/153.27 c GLOBAL bounds - >= -296296 @ 63.0091
153.00/153.30 c GLOBAL bounds - >= -296296 @ 63.037
153.00/153.32 c GLOBAL bounds - >= -296296 @ 63.0548
153.00/153.33 c GLOBAL bounds - >= -296296 @ 63.0624
153.00/153.33 c GLOBAL bounds - >= -296296 @ 63.069
153.00/153.34 c GLOBAL bounds - >= -296296 @ 63.0781
153.00/153.35 c GLOBAL bounds - >= -296296 @ 63.0856
153.00/153.36 c GLOBAL bounds - >= -296296 @ 63.0923
153.00/153.36 c GLOBAL bounds - >= -296296 @ 63.0989
153.00/153.37 c GLOBAL bounds - >= -296296 @ 63.1054
153.00/153.38 c GLOBAL bounds - >= -296296 @ 63.1145
153.00/153.39 c GLOBAL bounds - >= -296296 @ 63.1219
153.00/153.39 c GLOBAL bounds - >= -296296 @ 63.1286
153.10/153.40 c GLOBAL bounds - >= -296296 @ 63.1353
153.10/153.41 c GLOBAL bounds - >= -296296 @ 63.1409
153.10/153.41 c GLOBAL bounds - >= -296296 @ 63.1475
153.10/153.42 c GLOBAL bounds - >= -296296 @ 63.1566
153.10/153.44 c GLOBAL bounds - >= -296296 @ 63.1696
153.10/153.44 c GLOBAL bounds - >= -296296 @ 63.1768
153.10/153.45 c GLOBAL bounds - >= -296296 @ 63.1835
153.10/153.46 c GLOBAL bounds - >= -296296 @ 63.1901
153.10/153.46 c GLOBAL bounds - >= -296296 @ 63.1966
153.10/153.47 c GLOBAL bounds - >= -296296 @ 63.2057
153.10/153.48 c GLOBAL bounds - >= -296296 @ 63.2131
153.10/153.49 c GLOBAL bounds - >= -296296 @ 63.2198
153.10/153.49 c GLOBAL bounds - >= -296296 @ 63.2254
153.19/153.50 c GLOBAL bounds - >= -296296 @ 63.2321
153.19/153.51 c GLOBAL bounds - >= -296296 @ 63.2386
153.19/153.52 c GLOBAL bounds - >= -296296 @ 63.2477
153.19/153.53 c GLOBAL bounds - >= -296296 @ 63.2566
153.19/153.53 c GLOBAL bounds - >= -296296 @ 63.2652
153.19/153.54 c GLOBAL bounds - >= -296296 @ 63.2733
153.19/153.55 c GLOBAL bounds - >= -296296 @ 63.2815
153.19/153.56 c GLOBAL bounds - >= -296296 @ 63.2924
153.19/153.57 c GLOBAL bounds - >= -296296 @ 63.303
153.19/153.58 c GLOBAL bounds - >= -296296 @ 63.3103
153.30/153.60 c GLOBAL bounds - >= -296296 @ 63.3233
153.30/153.61 c GLOBAL bounds - >= -296296 @ 63.337
153.30/153.62 c GLOBAL bounds - >= -296296 @ 63.3502
153.30/153.64 c GLOBAL bounds - >= -296296 @ 63.3633
153.30/153.65 c GLOBAL bounds - >= -296296 @ 63.3744
153.30/153.66 c GLOBAL bounds - >= -296296 @ 63.3879
153.30/153.68 c GLOBAL bounds - >= -296296 @ 63.401
153.30/153.69 c GLOBAL bounds - >= -296296 @ 63.414
153.40/153.70 c GLOBAL bounds - >= -296296 @ 63.4277
153.40/153.72 c GLOBAL bounds - >= -296296 @ 63.4413
153.40/153.72 c GLOBAL bounds - >= -296296 @ 63.4493
153.40/153.73 c GLOBAL bounds - >= -296296 @ 63.4582
153.40/153.74 c GLOBAL bounds - >= -296296 @ 63.4659
153.40/153.76 c GLOBAL bounds - >= -296296 @ 63.4792
153.40/153.77 c GLOBAL bounds - >= -296296 @ 63.4928
153.40/153.78 c GLOBAL bounds - >= -296296 @ 63.5059
153.49/153.80 c GLOBAL bounds - >= -296296 @ 63.519
153.49/153.81 c GLOBAL bounds - >= -296296 @ 63.5297
153.49/153.82 c GLOBAL bounds - >= -296296 @ 63.5429
153.49/153.84 c GLOBAL bounds - >= -296296 @ 63.5564
153.49/153.85 c GLOBAL bounds - >= -296296 @ 63.57
153.49/153.86 c GLOBAL bounds - >= -296296 @ 63.5836
153.49/153.88 c GLOBAL bounds - >= -296296 @ 63.5966
153.49/153.89 c GLOBAL bounds - >= -296296 @ 63.6058
153.49/153.90 c GLOBAL bounds - >= -296296 @ 63.6149
153.59/153.90 c GLOBAL bounds - >= -296296 @ 63.6236
153.59/153.91 c GLOBAL bounds - >= -296296 @ 63.6323
153.59/153.93 c GLOBAL bounds - >= -296296 @ 63.6459
153.59/153.94 c GLOBAL bounds - >= -296296 @ 63.6595
153.59/153.96 c GLOBAL bounds - >= -296296 @ 63.675
153.59/153.97 c GLOBAL bounds - >= -296296 @ 63.6906
153.59/153.98 c GLOBAL bounds - >= -296296 @ 63.7014
153.59/154.00 c GLOBAL bounds - >= -296296 @ 63.7146
153.70/154.01 c GLOBAL bounds - >= -296296 @ 63.7289
153.70/154.03 c GLOBAL bounds - >= -296296 @ 63.7422
153.70/154.04 c GLOBAL bounds - >= -296296 @ 63.7554
153.70/154.05 c GLOBAL bounds - >= -296296 @ 63.765
153.70/154.06 c GLOBAL bounds - >= -296296 @ 63.7741
153.70/154.07 c GLOBAL bounds - >= -296296 @ 63.7851
153.70/154.08 c GLOBAL bounds - >= -296296 @ 63.7961
153.70/154.09 c GLOBAL bounds - >= -296296 @ 63.807
153.80/154.10 c GLOBAL bounds - >= -296296 @ 63.8179
153.80/154.11 c GLOBAL bounds - >= -296296 @ 63.8288
153.80/154.12 c GLOBAL bounds - >= -296296 @ 63.8398
153.80/154.13 c GLOBAL bounds - >= -296296 @ 63.8501
153.80/154.15 c GLOBAL bounds - >= -296296 @ 63.86
153.80/154.16 c GLOBAL bounds - >= -296296 @ 63.8703
153.80/154.17 c GLOBAL bounds - >= -296296 @ 63.8802
153.80/154.18 c GLOBAL bounds - >= -296296 @ 63.891
153.80/154.19 c GLOBAL bounds - >= -296296 @ 63.9003
153.89/154.20 c GLOBAL bounds - >= -296296 @ 63.9089
153.89/154.21 c GLOBAL bounds - >= -296296 @ 63.9177
153.89/154.21 c GLOBAL bounds - >= -296296 @ 63.9268
153.89/154.22 c GLOBAL bounds - >= -296296 @ 63.9359
153.89/154.23 c GLOBAL bounds - >= -296296 @ 63.9449
153.89/154.24 c GLOBAL bounds - >= -296296 @ 63.954
153.89/154.25 c GLOBAL bounds - >= -296296 @ 63.963
153.89/154.26 c GLOBAL bounds - >= -296296 @ 63.9722
153.89/154.27 c GLOBAL bounds - >= -296296 @ 63.9814
153.89/154.28 c GLOBAL bounds - >= -296296 @ 63.9905
153.89/154.29 c GLOBAL bounds - >= -296296 @ 63.9996
153.99/154.30 c GLOBAL bounds - >= -296296 @ 64.0086
153.99/154.31 c GLOBAL bounds - >= -296296 @ 64.0178
153.99/154.32 c GLOBAL bounds - >= -296296 @ 64.0271
153.99/154.32 c GLOBAL bounds - >= -296296 @ 64.0366
153.99/154.33 c GLOBAL bounds - >= -296296 @ 64.0457
153.99/154.34 c GLOBAL bounds - >= -296296 @ 64.0548
153.99/154.35 c GLOBAL bounds - >= -296296 @ 64.0659
153.99/154.37 c GLOBAL bounds - >= -296296 @ 64.0778
153.99/154.38 c GLOBAL bounds - >= -296296 @ 64.0883
153.99/154.39 c GLOBAL bounds - >= -296296 @ 64.0976
153.99/154.40 c GLOBAL bounds - >= -296296 @ 64.1067
154.09/154.40 c GLOBAL bounds - >= -296296 @ 64.1154
154.09/154.41 c GLOBAL bounds - >= -296296 @ 64.1237
154.09/154.42 c GLOBAL bounds - >= -296296 @ 64.1323
154.09/154.43 c GLOBAL bounds - >= -296296 @ 64.1413
154.09/154.44 c GLOBAL bounds - >= -296296 @ 64.1496
154.09/154.45 c GLOBAL bounds - >= -296296 @ 64.1586
154.09/154.46 c GLOBAL bounds - >= -296296 @ 64.1676
154.09/154.47 c GLOBAL bounds - >= -296296 @ 64.1767
154.09/154.48 c GLOBAL bounds - >= -296296 @ 64.1843
154.09/154.49 c GLOBAL bounds - >= -296296 @ 64.1925
154.20/154.50 c GLOBAL bounds - >= -296296 @ 64.2011
154.20/154.50 c GLOBAL bounds - >= -296296 @ 64.2101
154.20/154.51 c GLOBAL bounds - >= -296296 @ 64.2193
154.20/154.52 c GLOBAL bounds - >= -296296 @ 64.2284
154.20/154.53 c GLOBAL bounds - >= -296296 @ 64.237
154.20/154.54 c GLOBAL bounds - >= -296296 @ 64.2451
154.20/154.55 c GLOBAL bounds - >= -296296 @ 64.2532
154.20/154.56 c GLOBAL bounds - >= -296296 @ 64.2612
154.20/154.57 c GLOBAL bounds - >= -296296 @ 64.2694
154.20/154.57 c GLOBAL bounds - >= -296296 @ 64.2779
154.20/154.58 c GLOBAL bounds - >= -296296 @ 64.2866
154.20/154.59 c GLOBAL bounds - >= -296296 @ 64.2951
154.30/154.60 c GLOBAL bounds - >= -296296 @ 64.3058
154.30/154.64 c GLOBAL bounds - >= -296296 @ 64.3442
154.30/154.65 c GLOBAL bounds - >= -296296 @ 64.354
154.30/154.66 c GLOBAL bounds - >= -296296 @ 64.3622
154.30/154.67 c GLOBAL bounds - >= -296296 @ 64.3708
154.30/154.68 c GLOBAL bounds - >= -296296 @ 64.3789
154.30/154.69 c GLOBAL bounds - >= -296296 @ 64.3871
154.30/154.69 c GLOBAL bounds - >= -296296 @ 64.3946
154.39/154.70 c GLOBAL bounds - >= -296296 @ 64.4021
154.39/154.71 c GLOBAL bounds - >= -296296 @ 64.4089
154.39/154.74 c GLOBAL bounds - >= -296296 @ 64.436
154.39/154.74 c GLOBAL bounds - >= -296296 @ 64.4437
154.39/154.75 c GLOBAL bounds - >= -296296 @ 64.4518
154.39/154.76 c GLOBAL bounds - >= -296296 @ 64.4622
154.39/154.77 c GLOBAL bounds - >= -296296 @ 64.474
154.39/154.79 c GLOBAL bounds - >= -296296 @ 64.4855
154.39/154.79 c GLOBAL bounds - >= -296296 @ 64.4932
154.49/154.80 c GLOBAL bounds - >= -296296 @ 64.5006
154.49/154.81 c GLOBAL bounds - >= -296296 @ 64.5075
154.49/154.82 c GLOBAL bounds - >= -296296 @ 64.5174
154.49/154.83 c GLOBAL bounds - >= -296296 @ 64.5246
154.49/154.84 c GLOBAL bounds - >= -296296 @ 64.5343
154.49/154.84 c GLOBAL bounds - >= -296296 @ 64.5418
154.49/154.85 c GLOBAL bounds - >= -296296 @ 64.5486
154.49/154.86 c GLOBAL bounds - >= -296296 @ 64.5566
154.49/154.87 c GLOBAL bounds - >= -296296 @ 64.5648
154.49/154.88 c GLOBAL bounds - >= -296296 @ 64.5737
154.49/154.89 c GLOBAL bounds - >= -296296 @ 64.584
154.60/154.93 c GLOBAL bounds - >= -296296 @ 64.6274
154.60/154.96 c GLOBAL bounds - >= -296296 @ 64.6556
154.60/154.99 c GLOBAL bounds - >= -296296 @ 64.6823
154.60/155.00 c GLOBAL bounds - >= -296296 @ 64.6935
154.70/155.02 c GLOBAL bounds - >= -296296 @ 64.7098
154.70/155.03 c GLOBAL bounds - >= -296296 @ 64.7211
154.70/155.04 c GLOBAL bounds - >= -296296 @ 64.7361
154.70/155.05 c GLOBAL bounds - >= -296296 @ 64.7464
154.70/155.06 c GLOBAL bounds - >= -296296 @ 64.756
154.70/155.07 c GLOBAL bounds - >= -296296 @ 64.765
154.70/155.08 c GLOBAL bounds - >= -296296 @ 64.7743
154.70/155.09 c GLOBAL bounds - >= -296296 @ 64.7826
154.80/155.18 c GLOBAL bounds - >= -296296 @ 64.8701
204.29/204.79 c #Conflicts: 1000 | #Constraints: 404097
204.29/204.79 c GLOBAL bounds - >= -296296 @ 113.834
609.94/611.56 c #Conflicts: 2000 | #Constraints: 405098
609.94/611.56 c INPROCESSING
609.94/611.56 c GARBAGE COLLECT
609.94/611.56 c #Conflicts: 3000 | #Constraints: 396841
609.94/611.56 c #Conflicts: 4000 | #Constraints: 397841
609.94/611.56 c INPROCESSING
609.94/611.56 c GARBAGE COLLECT
609.94/611.56 c #Conflicts: 5000 | #Constraints: 397249
609.94/611.56 c #Conflicts: 6000 | #Constraints: 398249
609.94/611.56 c INPROCESSING
609.94/611.56 c GARBAGE COLLECT
609.94/611.56 c #Conflicts: 7000 | #Constraints: 397280
609.94/611.56 c GLOBAL bounds - >= -296296 @ 516.443
779.27/781.34 c #Conflicts: 8000 | #Constraints: 398281
779.27/781.34 c #Conflicts: 9000 | #Constraints: 399281
779.27/781.34 c INPROCESSING
779.27/781.34 c GARBAGE COLLECT
779.27/781.34 c #Conflicts: 10000 | #Constraints: 394367
779.27/781.34 c #Conflicts: 11000 | #Constraints: 395367
779.27/781.34 c GLOBAL bounds - >= -296296 @ 684.913
1558.90/1563.38 c #Conflicts: 12000 | #Constraints: 396368
1558.90/1563.38 c INPROCESSING
1558.90/1563.38 c GARBAGE COLLECT
1558.90/1563.38 c #Conflicts: 13000 | #Constraints: 394835
1558.90/1563.38 c #Conflicts: 14000 | #Constraints: 395835
1558.90/1563.38 c #Conflicts: 15000 | #Constraints: 396835
1558.90/1563.38 c INPROCESSING
1558.90/1563.38 c GARBAGE COLLECT
1558.90/1563.38 c #Conflicts: 16000 | #Constraints: 395064
1558.90/1563.38 c #Conflicts: 17000 | #Constraints: 396064
1558.90/1563.38 c #Conflicts: 18000 | #Constraints: 397064
1558.90/1563.38 c INPROCESSING
1558.90/1563.38 c GARBAGE COLLECT
1558.90/1563.38 c GLOBAL bounds - >= -296296 @ 1462.66
1975.70/1981.41 c #Conflicts: 19000 | #Constraints: 395112
1975.70/1981.41 c #Conflicts: 20000 | #Constraints: 396112
1975.70/1981.41 c #Conflicts: 21000 | #Constraints: 397112
1975.70/1981.41 c INPROCESSING
1975.70/1981.41 c GARBAGE COLLECT
1975.70/1981.41 c rational objective -271640
3600.08/3609.90 c #Conflicts: 22000 | #Constraints: 394923
3600.08/3609.90 c #Conflicts: 23000 | #Constraints: 395923
3600.08/3609.90 c #Conflicts: 24000 | #Constraints: 396923
3600.08/3609.90 c #Conflicts: 25000 | #Constraints: 397923
3600.08/3609.90 c INPROCESSING
3600.08/3609.90 c GARBAGE COLLECT
3600.08/3609.90 c #Conflicts: 26000 | #Constraints: 395523
3600.08/3609.90 c #Conflicts: 27000 | #Constraints: 396523
3600.08/3609.90 c #Conflicts: 28000 | #Constraints: 397523
3600.08/3609.90 c #Conflicts: 29000 | #Constraints: 398523
3600.08/3609.90 c INPROCESSING
3600.08/3609.90 c GARBAGE COLLECT
3600.08/3609.90 c #Conflicts: 30000 | #Constraints: 395945
3600.08/3609.90 c #Conflicts: 31000 | #Constraints: 396945
3600.08/3609.90 c #Conflicts: 32000 | #Constraints: 397945
3600.08/3609.90 c #Conflicts: 33000 | #Constraints: 398945
3600.08/3609.90 c INPROCESSING
3600.08/3609.90 c GARBAGE COLLECT
3600.08/3609.90 c #Conflicts: 34000 | #Constraints: 396180
3600.08/3609.90 c #Conflicts: 35000 | #Constraints: 397180
3600.08/3609.90 c #Conflicts: 36000 | #Constraints: 398180
3600.08/3609.90 c #Conflicts: 37000 | #Constraints: 399180
3600.08/3609.90 c INPROCESSING
3600.08/3609.90 c GARBAGE COLLECT
3600.08/3609.90 c #Conflicts: 38000 | #Constraints: 396179
3600.08/3609.90 c #Conflicts: 39000 | #Constraints: 397179
3600.08/3609.90 c #Conflicts: 40000 | #Constraints: 398179
3600.08/3609.90 c #Conflicts: 41000 | #Constraints: 399179
3600.08/3609.90 c INPROCESSING
3600.08/3609.90 c GARBAGE COLLECT
3600.08/3609.90 c #Conflicts: 42000 | #Constraints: 395996
3600.08/3609.90 c #Conflicts: 43000 | #Constraints: 396996
3600.08/3609.90 c #Conflicts: 44000 | #Constraints: 397996
3600.08/3609.90 c #Conflicts: 45000 | #Constraints: 398997
3600.08/3609.90 c #Conflicts: 46000 | #Constraints: 399997
3600.08/3609.90 c INPROCESSING
3600.08/3609.90 c GARBAGE COLLECT
3600.08/3609.90 c #Conflicts: 47000 | #Constraints: 396579
3600.08/3609.90 c #Conflicts: 48000 | #Constraints: 397579
3600.08/3609.90 c #Conflicts: 49000 | #Constraints: 398579
3600.08/3609.90 c #Conflicts: 50000 | #Constraints: 399579
3600.08/3609.90 c #Conflicts: 51000 | #Constraints: 400579
3600.08/3609.90 c INPROCESSING
3600.08/3609.90 c GARBAGE COLLECT
3600.08/3609.90 c #Conflicts: 52000 | #Constraints: 396975
3600.08/3609.90 c #Conflicts: 53000 | #Constraints: 397975
3600.08/3609.90 c cpu time 3494.88 s
3600.08/3609.90 c deterministic time 27488649505 2.75e+10
3600.08/3609.90 c optimization time 194.553 s
3600.08/3609.90 c total solve time 3298.14 s
3600.08/3609.90 c core-guided solve time 0 s
3600.08/3609.90 c propagation time 930.863 s
3600.08/3609.90 c conflict analysis time 2033.21 s
3600.08/3609.90 c propagations 3196636465
3600.08/3609.90 c resolve steps 4892617
3600.08/3609.90 c decisions 5507684
3600.08/3609.90 c conflicts 53691
3600.08/3609.90 c restarts 160
3600.08/3609.90 c inprocessing phases 15
3600.08/3609.90 c garbage collections 15 ,( 100.00 )
3600.08/3609.90 c input clauses 400984 ,( 99.48 )
3600.08/3609.90 c input cardinalities 2110 ,( 0.52 )
3600.08/3609.90 c input general constraints 2 ,( 0.00 )
3600.08/3609.90 c input average constraint length 5.84
3600.08/3609.90 c input average constraint degree 2.15
3600.08/3609.90 c learned clauses 18503 ,( 34.46 )
3600.08/3609.90 c learned cardinalities 2291 ,( 4.27 )
3600.08/3609.90 c learned general constraints 32905 ,( 61.28 )
3600.08/3609.90 c learned average constraint length 6955.89
3600.08/3609.90 c learned average constraint degree 5551930901.51
3600.08/3609.90 c watched CF 32, 64, 128, Arb: 3104 , 0 , 0 , 0
3600.08/3609.90 c counting CF 32, 64, 128, Arb: 29804 , 0 , 0 , 0
3600.08/3609.90 c watched constraints 3104 ,( 9.43 )
3600.08/3609.90 c counting constraints 29803 ,( 90.57 )
3600.08/3609.90 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 969559041 , 22689498 , 15492832 ,( 796366 , 14696466 )
3600.08/3609.90 c gcd simplifications 102
3600.08/3609.90 c detected cardinalities 31
3600.08/3609.90 c weakened non-implied lits 1198621018
3600.08/3609.90 c weakened non-implying lits 26489
3600.08/3609.90 c original variables 400896
3600.08/3609.90 c clausal propagations 947208646
3600.08/3609.90 c cardinality propagations 1405516330
3600.08/3609.90 c watched propagations 110500
3600.08/3609.90 c counting propagations 647528360
3600.08/3609.90 c watch lookups 2936149637
3600.08/3609.90 c watch backjump lookups 0
3600.08/3609.90 c watch checks 2389987665
3600.08/3609.90 c propagation checks 13752548127
3600.08/3609.90 c constraint additions 2005891996
3600.08/3609.90 c trail pops 3201811639
3600.08/3609.90 c formula constraints 402763
3600.08/3609.90 c learned constraints 53694
3600.08/3609.90 c bound constraints 0
3600.08/3609.90 c core-guided constraints 0
3600.08/3609.90 c encountered formula constraints 4709885
3600.08/3609.90 c encountered learned constraints 236398
3600.08/3609.90 c encountered bound constraints 0
3600.08/3609.90 c encountered core-guided constraints 0
3600.08/3609.90 c LP total time 810.212 s
3600.08/3609.90 c LP solve time 774.67 s
3600.08/3609.90 c LP constraints added 402792
3600.08/3609.90 c LP constraints removed 0
3600.08/3609.90 c LP pivots internal 58724
3600.08/3609.90 c LP pivots root 57567
3600.08/3609.90 c LP calls 9
3600.08/3609.90 c LP optimalities 1
3600.08/3609.90 c LP no pivot count 0
3600.08/3609.90 c LP infeasibilities 2
3600.08/3609.90 c LP valid Farkas constraints 2
3600.08/3609.90 c LP learned Farkas constraints 2
3600.08/3609.90 c LP basis resets 0
3600.08/3609.90 c LP cycling count 0
3600.08/3609.90 c LP singular count 0
3600.08/3609.90 c LP no primal count 0
3600.08/3609.90 c LP no farkas count 0
3600.08/3609.90 c LP other issue count 0
3600.08/3609.90 c LP Gomory cuts 1
3600.08/3609.90 c LP learned cuts 28
3600.08/3609.90 c LP deleted cuts 0
3600.08/3609.90 c LP encountered Gomory constraints 0
3600.08/3609.90 c LP encountered Farkas constraints 22
3600.08/3609.90 c LP encountered learned Farkas constraints 1
3600.08/3609.90 c CG auxiliary variables introduced 359
3600.08/3609.90 c CG solutions found 0
3600.08/3609.90 c CG cores constructed 332
3600.08/3609.90 c CG core cardinality constraints returned 0
3600.08/3609.90 c CG unit cores 0
3600.08/3609.90 c CG single cores 0
3600.08/3609.90 c CG blocks removed during cardinality reduction 0
3600.08/3609.90 c CG first core best 0
3600.08/3609.90 c CG decision core best 0
3600.08/3609.90 c CG core reduction tie 0
3600.08/3609.90 c CG core degree average 0.00
3600.08/3609.90 c CG core slack average 0.00
3600.08/3609.90 c CG core upper bound improvements 0
3600.08/3609.90 c STR number of successful calls 0
3600.08/3609.90 c STR number of unsuccessful calls 0
3600.08/3609.90 c STR number of inconclusive calls 0
3600.08/3609.90 c STR number of successful attempts 0
3600.08/3609.90 c STR number of unsuccessful attempts 0
3600.08/3609.90 c STR number of inconclusive attempts 0
3600.08/3609.90 c STR average degree increase per successful call inf
3600.08/3609.90 c STR average degree increase per successful attempt inf
3600.08/3609.90 c STR total number of conflicts for successful attempts 0
3600.08/3609.90 c STR total number of conflicts for unsuccessful attempts 0
3600.08/3609.90 c STR total number of conflicts for inconclusive attempts 0
3600.08/3609.90 c STR average number of conflicts per successful attempt inf
3600.08/3609.90 c STR average number of conflicts per unsuccessful attempt inf
3600.08/3609.90 c STR average number of conflicts per inconclusive attempt inf
3600.08/3609.90 c AVG.sumWPerc 84.57
3600.08/3609.90 c bigint constraints 0
3600.08/3609.90 s UNKNOWN
3600.08/3609.90 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 (62733 MiB free)
memory of node 1: 64465 MiB (63703 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506183-1751501415/watcher-4506183-1751501415 -o /tmp/evaluation-result-4506183-1751501415/solver-4506183-1751501415 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751497800-71422 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4506183-1751501415.opb PROOFDIR/proof-4506183-1751501415
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=71851, runsolver pid=71848
[startup+0.100063 s]*
/proc/loadavg: 4.09 4.11 4.06 5/269 71857
/proc/meminfo: memFree=129394336/131249988 swapFree=33010160/33010684
[pid=71851] ppid=71848 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/71851/stat : 71851 (run-opt-log.sh) S 71848 71851 71409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 65819125 4292608 768 18446744073709551615 94794723299328 94794724193861 140729050228032 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94794724432912 94794724480656 94794732429312 140729050233121 140729050233316 140729050233316 140729050238918 0
/proc/71851/statm: 1048 768 704 219 0 110 0
[pid=71853] ppid=71851 vsize=129128 memory=84296 CPUtime=0.08 cores=5,7
/proc/71853/stat : 71853 (roundingsat) R 71851 71851 71409 0 -1 4194304 6052 0 0 0 5 3 0 0 20 0 1 0 65819126 132227072 21074 18446744073709551615 4227072 8923433 140728845721808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26591232 140728845728082 140728845728296 140728845728296 140728845733866 0
/proc/71853/statm: 32282 21074 1952 1147 0 19709 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 133320 KiB
Current children cumulated memory: 87368 KiB
[startup+0.205804 s]*
/proc/loadavg: 4.09 4.11 4.06 5/269 71857
/proc/meminfo: memFree=129361828/131249988 swapFree=33010160/33010684
[pid=71851] ppid=71848 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/71851/stat : 71851 (run-opt-log.sh) S 71848 71851 71409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 65819125 4292608 768 18446744073709551615 94794723299328 94794724193861 140729050228032 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94794724432912 94794724480656 94794732429312 140729050233121 140729050233316 140729050233316 140729050238918 0
/proc/71851/statm: 1048 768 704 219 0 110 0
[pid=71853] ppid=71851 vsize=132692 memory=87824 CPUtime=0.19 cores=5,7
/proc/71853/stat : 71853 (roundingsat) R 71851 71851 71409 0 -1 4194304 7139 0 0 0 14 5 0 0 20 0 1 0 65819126 135876608 21956 18446744073709551615 4227072 8923433 140728845721808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26591232 140728845728082 140728845728296 140728845728296 140728845733866 0
/proc/71853/statm: 33173 21956 1952 1147 0 20600 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 136884 KiB
Current children cumulated memory: 90896 KiB
[startup+0.305718 s]*
/proc/loadavg: 4.09 4.11 4.06 5/268 71858
/proc/meminfo: memFree=129288424/131249988 swapFree=33010160/33010684
[pid=71851] ppid=71848 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/71851/stat : 71851 (run-opt-log.sh) S 71848 71851 71409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 65819125 4292608 768 18446744073709551615 94794723299328 94794724193861 140729050228032 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94794724432912 94794724480656 94794732429312 140729050233121 140729050233316 140729050233316 140729050238918 0
/proc/71851/statm: 1048 768 704 219 0 110 0
[pid=71853] ppid=71851 vsize=136616 memory=93848 CPUtime=0.28 cores=5,7
/proc/71853/stat : 71853 (roundingsat) R 71851 71851 71409 0 -1 4194304 8159 0 0 0 22 6 0 0 20 0 1 0 65819126 139894784 23462 18446744073709551615 4227072 8923433 140728845721808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26591232 140728845728082 140728845728296 140728845728296 140728845733866 0
/proc/71853/statm: 34154 23462 1952 1147 0 21581 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 140808 KiB
Current children cumulated memory: 96920 KiB
[startup+0.700199 s]
/proc/loadavg: 4.09 4.11 4.06 5/273 71868
/proc/meminfo: memFree=129001976/131249988 swapFree=33010160/33010684
[pid=71851] ppid=71848 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/71851/stat : 71851 (run-opt-log.sh) S 71848 71851 71409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 65819125 4292608 768 18446744073709551615 94794723299328 94794724193861 140729050228032 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94794724432912 94794724480656 94794732429312 140729050233121 140729050233316 140729050233316 140729050238918 0
/proc/71851/statm: 1048 768 704 219 0 110 0
[pid=71853] ppid=71851 vsize=154288 memory=107196 CPUtime=0.67 cores=5,7
/proc/71853/stat : 71853 (roundingsat) R 71851 71851 71409 0 -1 4194304 12355 0 0 0 54 13 0 0 20 0 1 0 65819126 157990912 26799 18446744073709551615 4227072 8923433 140728845721808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26591232 140728845728082 140728845728296 140728845728296 140728845733866 0
/proc/71853/statm: 38572 26799 1952 1147 0 25999 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 158480 KiB
Current children cumulated memory: 110268 KiB
[startup+1.50018 s]
/proc/loadavg: 4.09 4.11 4.06 5/273 71868
/proc/meminfo: memFree=128537596/131249988 swapFree=33010160/33010684
[pid=71851] ppid=71848 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/71851/stat : 71851 (run-opt-log.sh) S 71848 71851 71409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 65819125 4292608 768 18446744073709551615 94794723299328 94794724193861 140729050228032 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94794724432912 94794724480656 94794732429312 140729050233121 140729050233316 140729050233316 140729050238918 0
/proc/71851/statm: 1048 768 704 219 0 110 0
[pid=71853] ppid=71851 vsize=187820 memory=143040 CPUtime=1.47 cores=5,7
/proc/71853/stat : 71853 (roundingsat) R 71851 71851 71409 0 -1 4194304 21164 0 0 0 118 29 0 0 20 0 1 0 65819126 192327680 35760 18446744073709551615 4227072 8923433 140728845721808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26591232 140728845728082 140728845728296 140728845728296 140728845733866 0
/proc/71853/statm: 46955 35760 1952 1147 0 34382 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 192012 KiB
Current children cumulated memory: 146112 KiB
[startup+3.10557 s]
/proc/loadavg: 4.09 4.11 4.06 5/273 71868
/proc/meminfo: memFree=127337176/131249988 swapFree=33010160/33010684
[pid=71851] ppid=71848 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/71851/stat : 71851 (run-opt-log.sh) S 71848 71851 71409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 65819125 4292608 768 18446744073709551615 94794723299328 94794724193861 140729050228032 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94794724432912 94794724480656 94794732429312 140729050233121 140729050233316 140729050233316 140729050238918 0
/proc/71851/statm: 1048 768 704 219 0 110 0
[pid=71853] ppid=71851 vsize=666008 memory=550380 CPUtime=3.07 cores=5,7
/proc/71853/stat : 71853 (roundingsat) R 71851 71851 71409 0 -1 4194304 57370 0 0 0 243 64 0 0 20 0 1 0 65819126 681992192 137595 18446744073709551615 4227072 8923433 140728845721808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26591232 140728845728082 140728845728296 140728845728296 140728845733866 0
/proc/71853/statm: 166502 137595 2336 1147 0 153929 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 670200 KiB
Current children cumulated memory: 553452 KiB
[startup+6.30015 s]
/proc/loadavg: 4.16 4.12 4.06 5/273 71868
/proc/meminfo: memFree=127062200/131249988 swapFree=33010160/33010684
[pid=71851] ppid=71848 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/71851/stat : 71851 (run-opt-log.sh) S 71848 71851 71409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 65819125 4292608 768 18446744073709551615 94794723299328 94794724193861 140729050228032 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94794724432912 94794724480656 94794732429312 140729050233121 140729050233316 140729050233316 140729050238918 0
/proc/71851/statm: 1048 768 704 219 0 110 0
[pid=71853] ppid=71851 vsize=708652 memory=580744 CPUtime=6.26 cores=5,7
/proc/71853/stat : 71853 (roundingsat) R 71851 71851 71409 0 -1 4194304 60357 0 0 0 366 260 0 0 20 0 1 0 65819126 725659648 145186 18446744073709551615 4227072 8923433 140728845721808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26591232 140728845728082 140728845728296 140728845728296 140728845733866 0
/proc/71853/statm: 177163 145186 2336 1147 0 164590 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 712844 KiB
Current children cumulated memory: 583816 KiB
[startup+12.7002 s]
/proc/loadavg: 4.23 4.14 4.07 5/273 71868
/proc/meminfo: memFree=126823232/131249988 swapFree=33010160/33010684
[pid=71851] ppid=71848 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/71851/stat : 71851 (run-opt-log.sh) S 71848 71851 71409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 65819125 4292608 768 18446744073709551615 94794723299328 94794724193861 140729050228032 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94794724432912 94794724480656 94794732429312 140729050233121 140729050233316 140729050233316 140729050238918 0
/proc/71851/statm: 1048 768 704 219 0 110 0
[pid=71853] ppid=71851 vsize=710220 memory=582280 CPUtime=12.65 cores=5,7
/proc/71853/stat : 71853 (roundingsat) R 71851 71851 71409 0 -1 4194304 60775 0 0 0 599 666 0 0 20 0 1 0 65819126 727265280 145570 18446744073709551615 4227072 8923433 140728845721808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26591232 140728845728082 140728845728296 140728845728296 140728845733866 0
/proc/71853/statm: 177555 145570 2336 1147 0 164982 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 714412 KiB
Current children cumulated memory: 585352 KiB
[startup+25.5002 s]
/proc/loadavg: 4.19 4.13 4.07 5/272 71868
/proc/meminfo: memFree=126210284/131249988 swapFree=33010160/33010684
[pid=71851] ppid=71848 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/71851/stat : 71851 (run-opt-log.sh) S 71848 71851 71409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 65819125 4292608 768 18446744073709551615 94794723299328 94794724193861 140729050228032 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94794724432912 94794724480656 94794732429312 140729050233121 140729050233316 140729050233316 140729050238918 0
/proc/71851/statm: 1048 768 704 219 0 110 0
[pid=71853] ppid=71851 vsize=737204 memory=604400 CPUtime=25.43 cores=5,7
/proc/71853/stat : 71853 (roundingsat) R 71851 71851 71409 0 -1 4194304 62716 0 0 0 1066 1477 0 0 20 0 1 0 65819126 754896896 151100 18446744073709551615 4227072 8923433 140728845721808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26591232 140728845728082 140728845728296 140728845728296 140728845733866 0
/proc/71853/statm: 184301 151100 2336 1147 0 171728 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 741396 KiB
Current children cumulated memory: 607472 KiB
[startup+51.1056 s]
/proc/loadavg: 4.12 4.12 4.06 5/272 71869
/proc/meminfo: memFree=125056100/131249988 swapFree=33010160/33010684
[pid=71851] ppid=71848 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/71851/stat : 71851 (run-opt-log.sh) S 71848 71851 71409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 65819125 4292608 768 18446744073709551615 94794723299328 94794724193861 140729050228032 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94794724432912 94794724480656 94794732429312 140729050233121 140729050233316 140729050233316 140729050238918 0
/proc/71851/statm: 1048 768 704 219 0 110 0
[pid=71853] ppid=71851 vsize=738772 memory=606064 CPUtime=50.98 cores=5,7
/proc/71853/stat : 71853 (roundingsat) R 71851 71851 71409 0 -1 4194304 63125 0 0 0 1986 3112 0 0 20 0 1 0 65819126 756502528 151516 18446744073709551615 4227072 8923433 140728845721808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26591232 140728845728082 140728845728296 140728845728296 140728845733866 0
/proc/71853/statm: 184693 151516 2368 1147 0 172120 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 742964 KiB
Current children cumulated memory: 609136 KiB
[startup+102.3 s]
/proc/loadavg: 4.17 4.13 4.07 5/273 71876
/proc/meminfo: memFree=122780532/131249988 swapFree=33010160/33010684
[pid=71851] ppid=71848 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/71851/stat : 71851 (run-opt-log.sh) S 71848 71851 71409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 65819125 4292608 768 18446744073709551615 94794723299328 94794724193861 140729050228032 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94794724432912 94794724480656 94794732429312 140729050233121 140729050233316 140729050233316 140729050238918 0
/proc/71851/statm: 1048 768 704 219 0 110 0
[pid=71853] ppid=71851 vsize=757000 memory=623356 CPUtime=102.09 cores=5,7
/proc/71853/stat : 71853 (roundingsat) R 71851 71851 71409 0 -1 4194304 66952 0 0 0 3899 6310 0 0 20 0 1 0 65819126 775168000 155839 18446744073709551615 4227072 8923433 140728845721808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26591232 140728845728082 140728845728296 140728845728296 140728845733866 0
/proc/71853/statm: 189250 155839 2368 1147 0 176677 0
Current children cumulated CPU time: 102.09 s
Current children cumulated vsize: 761192 KiB
Current children cumulated memory: 626428 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.12 4.07 5/274 71881
/proc/meminfo: memFree=119187492/131249988 swapFree=33010160/33010684
[pid=71851] ppid=71848 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/71851/stat : 71851 (run-opt-log.sh) S 71848 71851 71409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 65819125 4292608 768 18446744073709551615 94794723299328 94794724193861 140729050228032 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94794724432912 94794724480656 94794732429312 140729050233121 140729050233316 140729050233316 140729050238918 0
/proc/71851/statm: 1048 768 704 219 0 110 0
[pid=71853] ppid=71851 vsize=1317576 memory=1088320 CPUtime=161.98 cores=5,7
/proc/71853/stat : 71853 (roundingsat) R 71851 71851 71409 0 -1 4194304 112090 0 0 0 7195 9003 0 0 20 0 1 0 65819126 1349197824 272080 18446744073709551615 4227072 8923433 140728845721808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26591232 140728845728082 140728845728296 140728845728296 140728845733866 0
/proc/71853/statm: 329394 272080 2400 1147 0 316821 0
Current children cumulated CPU time: 161.98 s
Current children cumulated vsize: 1321768 KiB
Current children cumulated memory: 1091392 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.11 4.07 5/273 71883
/proc/meminfo: memFree=114750452/131249988 swapFree=33010160/33010684
[pid=71851] ppid=71848 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/71851/stat : 71851 (run-opt-log.sh) S 71848 71851 71409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 65819125 4292608 768 18446744073709551615 94794723299328 94794724193861 140729050228032 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94794724432912 94794724480656 94794732429312 140729050233121 140729050233316 140729050233316 140729050238918 0
/proc/71851/statm: 1048 768 704 219 0 110 0
[pid=71853] ppid=71851 vsize=1497512 memory=1229060 CPUtime=221.85 cores=5,7
/proc/71853/stat : 71853 (roundingsat) R 71851 71851 71409 0 -1 4194304 138119 0 0 0 13126 9059 0 0 20 0 1 0 65819126 1533452288 307265 18446744073709551615 4227072 8923433 140728845721808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26591232 140728845728082 140728845728296 140728845728296 140728845733866 0
/proc/71853/statm: 374378 307265 2400 1147 0 361805 0
################
# More data... #
################
/proc/71851/stat : 71851 (run-opt-log.sh) S 71848 71851 71409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 65819125 4292608 768 18446744073709551615 94794723299328 94794724193861 140729050228032 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94794724432912 94794724480656 94794732429312 140729050233121 140729050233316 140729050233316 140729050238918 0
/proc/71851/statm: 1048 768 704 219 0 110 0
[pid=71853] ppid=71851 vsize=4397744 memory=3842868 CPUtime=3153.56 cores=5,7
/proc/71853/stat : 71853 (roundingsat) R 71851 71851 71409 0 -1 4194304 661099 0 0 0 305010 10346 0 0 20 0 1 0 65819126 4503289856 960717 18446744073709551615 4227072 8923433 140728845721808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26591232 140728845728082 140728845728296 140728845728296 140728845733866 0
/proc/71853/statm: 1099436 960717 2400 1147 0 1086863 0
Current children cumulated CPU time: 3153.56 s
Current children cumulated vsize: 4401936 KiB
Current children cumulated memory: 3845940 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.16 4.11 5/277 72155
/proc/meminfo: memFree=51024000/131249988 swapFree=33010160/33010684
[pid=71851] ppid=71848 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/71851/stat : 71851 (run-opt-log.sh) S 71848 71851 71409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 65819125 4292608 768 18446744073709551615 94794723299328 94794724193861 140729050228032 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94794724432912 94794724480656 94794732429312 140729050233121 140729050233316 140729050233316 140729050238918 0
/proc/71851/statm: 1048 768 704 219 0 110 0
[pid=71853] ppid=71851 vsize=4397744 memory=3856308 CPUtime=3213.42 cores=5,7
/proc/71853/stat : 71853 (roundingsat) R 71851 71851 71409 0 -1 4194304 665019 0 0 0 310962 10380 0 0 20 0 1 0 65819126 4503289856 964077 18446744073709551615 4227072 8923433 140728845721808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26591232 140728845728082 140728845728296 140728845728296 140728845733866 0
/proc/71853/statm: 1099436 964077 2400 1147 0 1086863 0
Current children cumulated CPU time: 3213.42 s
Current children cumulated vsize: 4401936 KiB
Current children cumulated memory: 3859380 KiB
[startup+3282.3 s]
/proc/loadavg: 4.17 4.16 4.11 5/277 72157
/proc/meminfo: memFree=48754344/131249988 swapFree=33010160/33010684
[pid=71851] ppid=71848 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/71851/stat : 71851 (run-opt-log.sh) S 71848 71851 71409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 65819125 4292608 768 18446744073709551615 94794723299328 94794724193861 140729050228032 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94794724432912 94794724480656 94794732429312 140729050233121 140729050233316 140729050233316 140729050238918 0
/proc/71851/statm: 1048 768 704 219 0 110 0
[pid=71853] ppid=71851 vsize=4398124 memory=3896300 CPUtime=3273.27 cores=5,7
/proc/71853/stat : 71853 (roundingsat) R 71851 71851 71409 0 -1 4194304 665195 0 0 0 316915 10412 0 0 20 0 1 0 65819126 4503678976 974075 18446744073709551615 4227072 8923433 140728845721808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26591232 140728845728082 140728845728296 140728845728296 140728845733866 0
/proc/71853/statm: 1099531 974075 2400 1147 0 1086958 0
Current children cumulated CPU time: 3273.27 s
Current children cumulated vsize: 4402316 KiB
Current children cumulated memory: 3899372 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/277 72159
/proc/meminfo: memFree=47016172/131249988 swapFree=33010160/33010684
[pid=71851] ppid=71848 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/71851/stat : 71851 (run-opt-log.sh) S 71848 71851 71409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 65819125 4292608 768 18446744073709551615 94794723299328 94794724193861 140729050228032 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94794724432912 94794724480656 94794732429312 140729050233121 140729050233316 140729050233316 140729050238918 0
/proc/71851/statm: 1048 768 704 219 0 110 0
[pid=71853] ppid=71851 vsize=4398124 memory=3896300 CPUtime=3333.13 cores=5,7
/proc/71853/stat : 71853 (roundingsat) R 71851 71851 71409 0 -1 4194304 665761 0 0 0 322880 10433 0 0 20 0 1 0 65819126 4503678976 974075 18446744073709551615 4227072 8923433 140728845721808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26591232 140728845728082 140728845728296 140728845728296 140728845733866 0
/proc/71853/statm: 1099531 974075 2400 1147 0 1086958 0
Current children cumulated CPU time: 3333.13 s
Current children cumulated vsize: 4402316 KiB
Current children cumulated memory: 3899372 KiB
[startup+3402.3 s]
/proc/loadavg: 4.19 4.17 4.11 5/277 72163
/proc/meminfo: memFree=44256924/131249988 swapFree=33010160/33010684
[pid=71851] ppid=71848 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/71851/stat : 71851 (run-opt-log.sh) S 71848 71851 71409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 65819125 4292608 768 18446744073709551615 94794723299328 94794724193861 140729050228032 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94794724432912 94794724480656 94794732429312 140729050233121 140729050233316 140729050233316 140729050238918 0
/proc/71851/statm: 1048 768 704 219 0 110 0
[pid=71853] ppid=71851 vsize=4398124 memory=3897068 CPUtime=3392.99 cores=5,7
/proc/71853/stat : 71853 (roundingsat) R 71851 71851 71409 0 -1 4194304 665777 0 0 0 328841 10458 0 0 20 0 1 0 65819126 4503678976 974267 18446744073709551615 4227072 8923433 140728845721808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26591232 140728845728082 140728845728296 140728845728296 140728845733866 0
/proc/71853/statm: 1099531 974267 2400 1147 0 1086958 0
Current children cumulated CPU time: 3392.99 s
Current children cumulated vsize: 4402316 KiB
Current children cumulated memory: 3900140 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.17 4.11 5/277 72165
/proc/meminfo: memFree=41936956/131249988 swapFree=33010160/33010684
[pid=71851] ppid=71848 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/71851/stat : 71851 (run-opt-log.sh) S 71848 71851 71409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 65819125 4292608 768 18446744073709551615 94794723299328 94794724193861 140729050228032 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94794724432912 94794724480656 94794732429312 140729050233121 140729050233316 140729050233316 140729050238918 0
/proc/71851/statm: 1048 768 704 219 0 110 0
[pid=71853] ppid=71851 vsize=4398124 memory=3898476 CPUtime=3452.84 cores=5,7
/proc/71853/stat : 71853 (roundingsat) R 71851 71851 71409 0 -1 4194304 665808 0 0 0 334803 10481 0 0 20 0 1 0 65819126 4503678976 974619 18446744073709551615 4227072 8923433 140728845721808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26591232 140728845728082 140728845728296 140728845728296 140728845733866 0
/proc/71853/statm: 1099531 974619 2400 1147 0 1086958 0
Current children cumulated CPU time: 3452.84 s
Current children cumulated vsize: 4402316 KiB
Current children cumulated memory: 3901548 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.15 4.11 5/277 72167
/proc/meminfo: memFree=38150076/131249988 swapFree=33010160/33010684
[pid=71851] ppid=71848 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/71851/stat : 71851 (run-opt-log.sh) S 71848 71851 71409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 65819125 4292608 768 18446744073709551615 94794723299328 94794724193861 140729050228032 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94794724432912 94794724480656 94794732429312 140729050233121 140729050233316 140729050233316 140729050238918 0
/proc/71851/statm: 1048 768 704 219 0 110 0
[pid=71853] ppid=71851 vsize=4398124 memory=3900396 CPUtime=3512.7 cores=5,7
/proc/71853/stat : 71853 (roundingsat) R 71851 71851 71409 0 -1 4194304 666594 0 0 0 340773 10497 0 0 20 0 1 0 65819126 4503678976 975099 18446744073709551615 4227072 8923433 140728845721808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26591232 140728845728082 140728845728296 140728845728296 140728845733866 0
/proc/71853/statm: 1099531 975099 2400 1147 0 1086958 0
Current children cumulated CPU time: 3512.7 s
Current children cumulated vsize: 4402316 KiB
Current children cumulated memory: 3903468 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.15 4.11 6/280 72225
/proc/meminfo: memFree=67228204/131249988 swapFree=33010160/33010684
[pid=71851] ppid=71848 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/71851/stat : 71851 (run-opt-log.sh) S 71848 71851 71409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 65819125 4292608 768 18446744073709551615 94794723299328 94794724193861 140729050228032 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94794724432912 94794724480656 94794732429312 140729050233121 140729050233316 140729050233316 140729050238918 0
/proc/71851/statm: 1048 768 704 219 0 110 0
[pid=71853] ppid=71851 vsize=4398124 memory=3900396 CPUtime=3572.54 cores=5,7
/proc/71853/stat : 71853 (roundingsat) R 71851 71851 71409 0 -1 4194304 666601 0 0 0 346741 10513 0 0 20 0 1 0 65819126 4503678976 975099 18446744073709551615 4227072 8923433 140728845721808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26591232 140728845728082 140728845728296 140728845728296 140728845733866 0
/proc/71853/statm: 1099531 975099 2400 1147 0 1086958 0
Current children cumulated CPU time: 3572.54 s
Current children cumulated vsize: 4402316 KiB
Current children cumulated memory: 3903468 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 4.13 4.15 4.11 4/274 72253
/proc/meminfo: memFree=70169448/131249988 swapFree=33010160/33010684
[pid=71851] ppid=71848 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/71851/stat : 71851 (run-opt-log.sh) S 71848 71851 71409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 65819125 4292608 768 18446744073709551615 94794723299328 94794724193861 140729050228032 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94794724432912 94794724480656 94794732429312 140729050233121 140729050233316 140729050233316 140729050238918 0
/proc/71851/statm: 1048 768 704 219 0 110 0
[pid=71853] ppid=71851 vsize=4398124 memory=3900396 CPUtime=3600.08 cores=5,7
/proc/71853/stat : 71853 (roundingsat) R 71851 71851 71409 0 -1 4194304 666667 0 0 0 349487 10521 0 0 20 0 1 0 65819126 4503678976 975099 18446744073709551615 4227072 8923433 140728845721808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26591232 140728845728082 140728845728296 140728845728296 140728845733866 0
/proc/71853/statm: 1099531 975099 2400 1147 0 1086958 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 4402316 KiB
Current children cumulated memory: 3903468 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.9 s]
# the end of solver process 71851 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.002057 s
Sleeping 2 seconds
[startup+3610.16 s]
# the end of solver process 71853 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3494.95 s, system=105.29 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610 s]*
/proc/loadavg: 4.13 4.15 4.11 3/273 72253
/proc/meminfo: memFree=70123364/131249988 swapFree=33010160/33010684
[pid=71853] ppid=71848 vsize=4398124 memory=3900908 CPUtime=3600.1 cores=5,7
/proc/71853/stat : 71853 (roundingsat) D 71848 71851 71409 0 -1 4194304 666676 0 0 0 349488 10522 0 0 20 0 1 0 65819126 4503678976 975227 18446744073709551615 4227072 8923433 140728845721808 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 26591232 140728845728082 140728845728296 140728845728296 140728845733866 0
/proc/71853/statm: 1099531 975227 2528 1147 0 1086958 0
Current cumulated CPU time of completed processes: 0.002057 s
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 4398124 KiB
Current children cumulated memory: 3900908 KiB
[startup+3610.11 s]
/proc/loadavg: 4.13 4.15 4.11 3/273 72253
/proc/meminfo: memFree=70123364/131249988 swapFree=33010160/33010684
[pid=71853] ppid=71848 vsize=3371136 memory=3131260 CPUtime=3600.18 cores=5,7
/proc/71853/stat : 71853 (roundingsat) R 71848 71851 71409 0 -1 4194304 666840 0 0 0 349494 10524 0 0 20 0 1 0 65819126 3452043264 782815 18446744073709551615 4227072 8923433 140728845721808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26591232 140728845728082 140728845728296 140728845728296 140728845733866 0
/proc/71853/statm: 842784 782815 2528 1147 0 830211 0
Current cumulated CPU time of completed processes: 0.002057 s
Current children cumulated CPU time: 3600.18 s
Current children cumulated vsize: 3371136 KiB
Current children cumulated memory: 3131260 KiB
Child status: 2
Real time (s): 3610.16
CPU time (s): 3600.24
CPU user time (s): 3494.95
CPU system time (s): 105.29
CPU usage (%): 99.7253
Max. virtual memory (cumulated for all children) (KiB): 4476360
Max. memory (cumulated for all children) (KiB): 3903468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3494.95
system time used= 105.29
maximum resident set size= 3900908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 667064
page faults= 0
swaps= 0
block input operations= 0
block output operations= 29651736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2056
involuntary context switches= 4435
# summary of solver processes directly reported to runsolver:
# pid: 71851,71853
# total CPU time (s): 3600.24
# total CPU user time (s): 3494.95
# total CPU system time (s): 105.29
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.28839 second user time and 16.5727 second system time
The end
Begin job on nodeC020 at 2025-07-03 02:10:16
IDJOB=4506183
IDBENCH=157883
IDSOLVER=3351
FILE ID=nodeC020/4506183-1751501415
RUNJOBID= nodeC020-1751497800-71422
SLURM_JOB_ID= 9598575
Free space on /tmp= 431908 MiB
SOLVER NAME= roundingsat-ihs-log 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-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506183-1751501415/watcher-4506183-1751501415 -o /tmp/evaluation-result-4506183-1751501415/solver-4506183-1751501415 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751497800-71422 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4506183-1751501415.opb PROOFDIR/proof-4506183-1751501415
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3cfe8ea012dcc17418564c57acaec44c
RANDOM SEED=1560073671
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.886
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.884
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.105
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 : 3623.415
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.928
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.661
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 : 3600.715
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 : 3599.890
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: 129456800 kB
MemAvailable: 129496436 kB
Buffers: 2128 kB
Cached: 838140 kB
SwapCached: 12 kB
Active: 882888 kB
Inactive: 302664 kB
Active(anon): 338240 kB
Inactive(anon): 25084 kB
Active(file): 544648 kB
Inactive(file): 277580 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 99564 kB
Writeback: 0 kB
AnonPages: 348248 kB
Mapped: 110688 kB
Shmem: 18040 kB
KReclaimable: 113296 kB
Slab: 203096 kB
SReclaimable: 113296 kB
SUnreclaim: 89800 kB
KernelStack: 4304 kB
PageTables: 3624 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 666828 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150568 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 141312 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 197332 kB
DirectMap2M: 7962624 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 431608 MiB
End job on nodeC020 at 2025-07-03 03:10:26