0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.28/0.35 c #variables 210652 #constraints 1650
0.28/0.35 c objective is ce32
0.38/0.47 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.38/0.47 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.38/0.47 c GLOBAL bounds - >= -34983315 @ 0.393923
0.58/0.65 c GLOBAL bounds - >= -34983315 @ 0.492535
0.77/0.84 c GLOBAL bounds - >= -34983315 @ 0.595236
0.98/1.03 c GLOBAL bounds - >= -34983315 @ 0.698874
1.76/1.86 c GLOBAL bounds - >= -34983315 @ 1.4314
1.97/2.04 c GLOBAL bounds - >= -34983315 @ 1.53893
2.27/2.31 c GLOBAL bounds - >= -34983315 @ 1.73351
2.36/2.49 c GLOBAL bounds - >= -34983315 @ 1.83756
2.56/2.68 c GLOBAL bounds - >= -34983315 @ 1.94298
2.76/2.87 c GLOBAL bounds - >= -34983315 @ 2.05558
2.97/3.05 c GLOBAL bounds - >= -34983315 @ 2.16771
3.17/3.23 c GLOBAL bounds - >= -34983315 @ 2.26908
3.47/3.51 c GLOBAL bounds - >= -34983315 @ 2.4719
3.57/3.69 c GLOBAL bounds - >= -34983315 @ 2.57232
3.77/3.88 c GLOBAL bounds - >= -34983315 @ 2.68189
3.97/4.08 c GLOBAL bounds - >= -34983315 @ 2.80025
4.16/4.27 c GLOBAL bounds - >= -34983315 @ 2.91926
4.46/4.54 c GLOBAL bounds - >= -34983315 @ 3.10946
4.76/4.81 c GLOBAL bounds - >= -34983315 @ 3.31548
4.97/5.09 c GLOBAL bounds - >= -34983315 @ 3.5147
5.25/5.39 c GLOBAL bounds - >= -34983315 @ 3.728
5.65/5.75 c GLOBAL bounds - >= -34983315 @ 4.02152
5.96/6.05 c GLOBAL bounds - >= -34983315 @ 4.23912
6.16/6.26 c GLOBAL bounds - >= -34983315 @ 4.37249
6.96/7.02 c GLOBAL bounds - >= -34983315 @ 5.0493
7.55/7.68 c GLOBAL bounds - >= -34983315 @ 5.62768
8.15/8.28 c GLOBAL bounds - >= -34983315 @ 6.15425
8.75/8.81 c GLOBAL bounds - >= -34983315 @ 6.60692
9.25/9.37 c GLOBAL bounds - >= -34983315 @ 7.0745
9.75/9.82 c GLOBAL bounds - >= -34983315 @ 7.44252
10.15/10.27 c GLOBAL bounds - >= -34983315 @ 7.81173
10.64/10.70 c GLOBAL bounds - >= -34983315 @ 8.16823
10.95/11.05 c GLOBAL bounds - >= -34983315 @ 8.43703
11.24/11.39 c GLOBAL bounds - >= -34983315 @ 8.71238
11.65/11.75 c GLOBAL bounds - >= -34983315 @ 9.00209
11.95/12.10 c GLOBAL bounds - >= -34983315 @ 9.27395
12.24/12.37 c GLOBAL bounds - >= -34983315 @ 9.46821
12.54/12.64 c GLOBAL bounds - >= -34983315 @ 9.66758
12.83/12.91 c GLOBAL bounds - >= -34983315 @ 9.85912
13.05/13.16 c GLOBAL bounds - >= -34983315 @ 10.0463
13.44/13.51 c GLOBAL bounds - >= -34983315 @ 10.3307
13.74/13.87 c GLOBAL bounds - >= -34983315 @ 10.617
14.04/14.14 c GLOBAL bounds - >= -34983315 @ 10.8106
14.33/14.41 c GLOBAL bounds - >= -34983315 @ 11.003
14.64/14.75 c GLOBAL bounds - >= -34983315 @ 11.2682
14.94/15.01 c GLOBAL bounds - >= -34983315 @ 11.4574
15.13/15.20 c GLOBAL bounds - >= -34983315 @ 11.5685
15.23/15.38 c GLOBAL bounds - >= -34983315 @ 11.6686
15.54/15.64 c GLOBAL bounds - >= -34983315 @ 11.8562
15.73/15.82 c GLOBAL bounds - >= -34983315 @ 11.9754
15.94/16.00 c GLOBAL bounds - >= -34983315 @ 12.0861
16.43/16.51 c GLOBAL bounds - >= -34983315 @ 12.5126
16.63/16.77 c GLOBAL bounds - >= -34983315 @ 12.7029
16.83/16.96 c GLOBAL bounds - >= -34983315 @ 12.8089
17.03/17.13 c GLOBAL bounds - >= -34983315 @ 12.9257
17.53/17.61 c GLOBAL bounds - >= -34983315 @ 13.3308
17.73/17.87 c GLOBAL bounds - >= -34983315 @ 13.5015
17.93/18.05 c GLOBAL bounds - >= -34983315 @ 13.6068
18.12/18.23 c GLOBAL bounds - >= -34983315 @ 13.7107
18.33/18.41 c GLOBAL bounds - >= -34983315 @ 13.8161
18.62/18.75 c GLOBAL bounds - >= -34983315 @ 14.077
18.82/18.93 c GLOBAL bounds - >= -34983315 @ 14.186
19.02/19.19 c GLOBAL bounds - >= -34983315 @ 14.3648
19.42/19.52 c GLOBAL bounds - >= -34983315 @ 14.6272
19.62/19.70 c GLOBAL bounds - >= -34983315 @ 14.7386
20.03/20.15 c GLOBAL bounds - >= -34983315 @ 15.1229
20.42/20.59 c GLOBAL bounds - >= -34983315 @ 15.4835
20.62/20.78 c GLOBAL bounds - >= -34983315 @ 15.6072
20.92/21.04 c GLOBAL bounds - >= -34983315 @ 15.8067
21.12/21.23 c GLOBAL bounds - >= -34983315 @ 15.9201
21.31/21.49 c GLOBAL bounds - >= -34983315 @ 16.116
21.51/21.67 c GLOBAL bounds - >= -34983315 @ 16.2382
21.92/22.00 c GLOBAL bounds - >= -34983315 @ 16.5011
22.02/22.19 c GLOBAL bounds - >= -34983315 @ 16.616
22.21/22.37 c GLOBAL bounds - >= -34983315 @ 16.7255
22.41/22.55 c GLOBAL bounds - >= -34983315 @ 16.8477
22.81/22.93 c GLOBAL bounds - >= -34983315 @ 17.1075
23.12/23.27 c GLOBAL bounds - >= -34983315 @ 17.3884
23.41/23.56 c GLOBAL bounds - >= -34983315 @ 17.5973
23.61/23.75 c GLOBAL bounds - >= -34983315 @ 17.7281
23.92/24.09 c GLOBAL bounds - >= -34983315 @ 18.0047
24.71/24.88 c GLOBAL bounds - >= -34983315 @ 18.7076
25.01/25.15 c GLOBAL bounds - >= -34983315 @ 18.9147
25.40/25.58 c GLOBAL bounds - >= -34983315 @ 19.2714
25.61/25.78 c GLOBAL bounds - >= -34983315 @ 19.4027
25.91/26.05 c GLOBAL bounds - >= -34983315 @ 19.6032
26.31/26.41 c GLOBAL bounds - >= -34983315 @ 19.8971
27.40/27.59 c GLOBAL bounds - >= -34983315 @ 20.9901
28.10/28.29 c GLOBAL bounds - >= -34983315 @ 21.6155
28.40/28.59 c GLOBAL bounds - >= -34983315 @ 21.8489
28.90/29.03 c GLOBAL bounds - >= -34983315 @ 22.2053
29.10/29.26 c GLOBAL bounds - >= -34983315 @ 22.3688
29.39/29.55 c GLOBAL bounds - >= -34983315 @ 22.5888
29.79/29.94 c GLOBAL bounds - >= -34983315 @ 22.8966
30.00/30.16 c GLOBAL bounds - >= -34983315 @ 23.0447
30.19/30.37 c GLOBAL bounds - >= -34983315 @ 23.175
30.49/30.66 c GLOBAL bounds - >= -34983315 @ 23.4042
30.69/30.88 c GLOBAL bounds - >= -34983315 @ 23.5433
31.00/31.17 c GLOBAL bounds - >= -34983315 @ 23.7738
31.39/31.50 c GLOBAL bounds - >= -34983315 @ 24.0302
31.79/31.98 c GLOBAL bounds - >= -34983315 @ 24.4302
32.09/32.22 c GLOBAL bounds - >= -34983315 @ 24.6117
32.29/32.43 c GLOBAL bounds - >= -34983315 @ 24.759
32.49/32.65 c GLOBAL bounds - >= -34983315 @ 24.9119
32.89/33.03 c GLOBAL bounds - >= -34983315 @ 25.2171
33.18/33.32 c GLOBAL bounds - >= -34983315 @ 25.4443
33.48/33.64 c GLOBAL bounds - >= -34983315 @ 25.6904
33.79/33.95 c GLOBAL bounds - >= -34983315 @ 25.9231
33.99/34.18 c GLOBAL bounds - >= -34983315 @ 26.0798
34.48/34.66 c GLOBAL bounds - >= -34983315 @ 26.4797
34.78/34.99 c GLOBAL bounds - >= -34983315 @ 26.7455
36.48/36.68 c GLOBAL bounds - >= -34983315 @ 28.3529
36.77/36.94 c GLOBAL bounds - >= -34983315 @ 28.5305
37.47/37.60 c GLOBAL bounds - >= -34983315 @ 29.1102
37.68/37.87 c GLOBAL bounds - >= -34983315 @ 29.3156
37.98/38.19 c GLOBAL bounds - >= -34983315 @ 29.5604
38.37/38.52 c GLOBAL bounds - >= -34983315 @ 29.8348
38.57/38.78 c GLOBAL bounds - >= -34983315 @ 30.029
38.88/39.01 c GLOBAL bounds - >= -34983315 @ 30.1814
39.37/39.56 c GLOBAL bounds - >= -34983315 @ 30.6744
39.66/39.82 c GLOBAL bounds - >= -34983315 @ 30.8564
40.06/40.22 c GLOBAL bounds - >= -34983315 @ 31.1958
40.26/40.48 c GLOBAL bounds - >= -34983315 @ 31.3937
40.56/40.71 c GLOBAL bounds - >= -34983315 @ 31.5503
40.87/41.01 c GLOBAL bounds - >= -34983315 @ 31.7788
41.26/41.42 c GLOBAL bounds - >= -34983315 @ 32.1171
41.46/41.68 c GLOBAL bounds - >= -34983315 @ 32.3044
41.76/41.91 c GLOBAL bounds - >= -34983315 @ 32.4581
42.07/42.22 c GLOBAL bounds - >= -34983315 @ 32.7001
42.36/42.55 c GLOBAL bounds - >= -34983315 @ 32.9694
42.66/42.88 c GLOBAL bounds - >= -34983315 @ 33.2213
42.96/43.12 c GLOBAL bounds - >= -34983315 @ 33.3885
43.25/43.43 c GLOBAL bounds - >= -34983315 @ 33.6176
43.46/43.68 c GLOBAL bounds - >= -34983315 @ 33.7961
43.75/43.99 c GLOBAL bounds - >= -34983315 @ 34.0418
44.16/44.31 c GLOBAL bounds - >= -34983315 @ 34.2884
44.36/44.56 c GLOBAL bounds - >= -34983315 @ 34.4677
44.66/44.88 c GLOBAL bounds - >= -34983315 @ 34.7134
44.96/45.14 c GLOBAL bounds - >= -34983315 @ 34.9139
45.16/45.37 c GLOBAL bounds - >= -34983315 @ 35.0774
46.15/46.32 c GLOBAL bounds - >= -34983315 @ 35.9517
46.35/46.59 c GLOBAL bounds - >= -34983315 @ 36.1623
46.64/46.82 c GLOBAL bounds - >= -34983315 @ 36.3276
47.05/47.22 c GLOBAL bounds - >= -34983315 @ 36.65
47.35/47.55 c GLOBAL bounds - >= -34983315 @ 36.9097
47.65/47.87 c GLOBAL bounds - >= -34983315 @ 37.1462
47.95/48.12 c GLOBAL bounds - >= -34983315 @ 37.3191
48.25/48.44 c GLOBAL bounds - >= -34983315 @ 37.5668
48.55/48.79 c GLOBAL bounds - >= -34983315 @ 37.8446
48.85/49.04 c GLOBAL bounds - >= -34983315 @ 38.0258
49.04/49.28 c GLOBAL bounds - >= -34983315 @ 38.1887
49.44/49.68 c GLOBAL bounds - >= -34983315 @ 38.5214
49.74/49.94 c GLOBAL bounds - >= -34983315 @ 38.7062
50.34/50.50 c GLOBAL bounds - >= -34983315 @ 39.1756
50.53/50.77 c GLOBAL bounds - >= -34983315 @ 39.3721
51.13/51.33 c GLOBAL bounds - >= -34983315 @ 39.8633
51.54/51.74 c GLOBAL bounds - >= -34983315 @ 40.2011
51.84/52.08 c GLOBAL bounds - >= -34983315 @ 40.466
52.13/52.34 c GLOBAL bounds - >= -34983315 @ 40.6576
52.43/52.66 c GLOBAL bounds - >= -34983315 @ 40.9121
52.73/52.91 c GLOBAL bounds - >= -34983315 @ 41.0972
53.03/53.24 c GLOBAL bounds - >= -34983315 @ 41.3439
53.53/53.75 c GLOBAL bounds - >= -34983315 @ 41.7866
54.33/54.56 c GLOBAL bounds - >= -34983315 @ 42.5236
54.63/54.84 c GLOBAL bounds - >= -34983315 @ 42.7325
54.93/55.16 c GLOBAL bounds - >= -34983315 @ 42.9815
55.33/55.57 c GLOBAL bounds - >= -34983315 @ 43.3222
55.62/55.82 c GLOBAL bounds - >= -34983315 @ 43.4996
58.02/58.23 c GLOBAL bounds - >= -34983315 @ 45.832
58.72/58.96 c GLOBAL bounds - >= -34983315 @ 46.4879
59.02/59.26 c GLOBAL bounds - >= -34983315 @ 46.7189
59.32/59.51 c GLOBAL bounds - >= -34983315 @ 46.9016
59.62/59.83 c GLOBAL bounds - >= -34983315 @ 47.1603
59.92/60.14 c GLOBAL bounds - >= -34983315 @ 47.4058
60.21/60.48 c GLOBAL bounds - >= -34983315 @ 47.6831
60.91/61.14 c GLOBAL bounds - >= -34983315 @ 48.2706
61.21/61.44 c GLOBAL bounds - >= -34983315 @ 48.5085
61.41/61.69 c GLOBAL bounds - >= -34983315 @ 48.6928
61.82/62.04 c GLOBAL bounds - >= -34983315 @ 48.964
62.11/62.31 c GLOBAL bounds - >= -34983315 @ 49.1664
62.41/62.65 c GLOBAL bounds - >= -34983315 @ 49.4404
62.81/63.02 c GLOBAL bounds - >= -34983315 @ 49.7442
63.10/63.37 c GLOBAL bounds - >= -34983315 @ 50.0185
63.41/63.64 c GLOBAL bounds - >= -34983315 @ 50.2217
64.00/64.23 c GLOBAL bounds - >= -34983315 @ 50.7433
64.40/64.62 c GLOBAL bounds - >= -34983315 @ 51.0654
64.80/65.06 c GLOBAL bounds - >= -34983315 @ 51.4428
65.10/65.35 c GLOBAL bounds - >= -34983315 @ 51.6683
65.40/65.69 c GLOBAL bounds - >= -34983315 @ 51.9431
66.00/66.26 c GLOBAL bounds - >= -34983315 @ 52.4401
66.39/66.66 c GLOBAL bounds - >= -34983315 @ 52.761
67.10/67.31 c GLOBAL bounds - >= -34983315 @ 53.3241
67.80/68.06 c GLOBAL bounds - >= -34983315 @ 53.9859
68.89/69.15 c GLOBAL bounds - >= -34983315 @ 54.9413
69.29/69.51 c GLOBAL bounds - >= -34983315 @ 55.2276
69.59/69.83 c GLOBAL bounds - >= -34983315 @ 55.466
69.89/70.19 c GLOBAL bounds - >= -34983315 @ 55.7467
71.48/71.77 c GLOBAL bounds - >= -34983315 @ 57.2414
71.88/72.13 c GLOBAL bounds - >= -34983315 @ 57.5258
72.18/72.41 c GLOBAL bounds - >= -34983315 @ 57.746
72.48/72.70 c GLOBAL bounds - >= -34983315 @ 57.9631
72.88/73.15 c GLOBAL bounds - >= -34983315 @ 58.3436
73.28/73.56 c GLOBAL bounds - >= -34983315 @ 58.692
73.67/73.96 c GLOBAL bounds - >= -34983315 @ 59.0232
74.18/74.40 c GLOBAL bounds - >= -34983315 @ 59.3868
74.97/75.23 c GLOBAL bounds - >= -34983315 @ 60.1411
75.27/75.60 c GLOBAL bounds - >= -34983315 @ 60.4282
75.67/75.97 c GLOBAL bounds - >= -34983315 @ 60.7163
76.67/76.93 c GLOBAL bounds - >= -34983315 @ 61.5848
77.37/77.69 c GLOBAL bounds - >= -34983315 @ 62.2717
77.76/78.07 c GLOBAL bounds - >= -34983315 @ 62.5842
78.07/78.37 c GLOBAL bounds - >= -34983315 @ 62.8012
78.46/78.75 c GLOBAL bounds - >= -34983315 @ 63.1011
78.96/79.22 c GLOBAL bounds - >= -34983315 @ 63.498
79.26/79.57 c GLOBAL bounds - >= -34983315 @ 63.77
79.66/79.94 c GLOBAL bounds - >= -34983315 @ 64.0777
80.06/80.34 c GLOBAL bounds - >= -34983315 @ 64.3991
80.45/80.76 c GLOBAL bounds - >= -34983315 @ 64.7576
80.95/81.21 c GLOBAL bounds - >= -34983315 @ 65.1318
81.26/81.51 c GLOBAL bounds - >= -34983315 @ 65.3502
81.76/82.01 c GLOBAL bounds - >= -34983315 @ 65.7602
82.05/82.39 c GLOBAL bounds - >= -34983315 @ 66.0631
82.55/82.86 c GLOBAL bounds - >= -34983315 @ 66.4501
82.95/83.29 c GLOBAL bounds - >= -34983315 @ 66.8061
83.35/83.68 c GLOBAL bounds - >= -34983315 @ 67.1232
83.85/84.13 c GLOBAL bounds - >= -34983315 @ 67.5065
84.15/84.44 c GLOBAL bounds - >= -34983315 @ 67.7426
84.44/84.74 c GLOBAL bounds - >= -34983315 @ 67.9657
84.85/85.11 c GLOBAL bounds - >= -34983315 @ 68.2625
85.14/85.42 c GLOBAL bounds - >= -34983315 @ 68.5009
85.54/85.80 c GLOBAL bounds - >= -34983315 @ 68.8034
85.85/86.14 c GLOBAL bounds - >= -34983315 @ 69.0614
86.14/86.44 c GLOBAL bounds - >= -34983315 @ 69.2876
86.54/86.80 c GLOBAL bounds - >= -34983315 @ 69.5713
86.85/87.12 c GLOBAL bounds - >= -34983315 @ 69.8234
87.24/87.57 c GLOBAL bounds - >= -34983315 @ 70.1959
87.74/88.02 c GLOBAL bounds - >= -34983315 @ 70.5663
88.03/88.35 c GLOBAL bounds - >= -34983315 @ 70.819
88.53/88.89 c GLOBAL bounds - >= -34983315 @ 71.2788
91.02/91.34 c GLOBAL bounds - >= -34983315 @ 73.6396
91.53/91.81 c GLOBAL bounds - >= -34983315 @ 74.0396
91.83/92.16 c GLOBAL bounds - >= -34983315 @ 74.319
92.33/92.64 c GLOBAL bounds - >= -34983315 @ 74.7141
92.73/93.04 c GLOBAL bounds - >= -34983315 @ 75.0404
93.02/93.35 c GLOBAL bounds - >= -34983315 @ 75.2664
93.32/93.66 c GLOBAL bounds - >= -34983315 @ 75.5014
93.91/94.21 c GLOBAL bounds - >= -34983315 @ 75.9975
94.32/94.68 c GLOBAL bounds - >= -34983315 @ 76.3855
94.73/95.01 c GLOBAL bounds - >= -34983315 @ 76.6436
95.41/95.74 c GLOBAL bounds - >= -34983315 @ 77.2937
95.81/96.12 c GLOBAL bounds - >= -34983315 @ 77.6014
96.91/97.26 c GLOBAL bounds - >= -34983315 @ 78.5887
97.21/97.57 c GLOBAL bounds - >= -34983315 @ 78.8344
97.71/98.06 c GLOBAL bounds - >= -34983315 @ 79.2431
98.11/98.46 c GLOBAL bounds - >= -34983315 @ 79.5628
98.50/98.85 c GLOBAL bounds - >= -34983315 @ 79.8734
99.30/99.63 c GLOBAL bounds - >= -34983315 @ 80.5825
99.71/100.06 c GLOBAL bounds - >= -34983315 @ 80.9406
100.00/100.39 c GLOBAL bounds - >= -34983315 @ 81.1792
101.40/101.72 c GLOBAL bounds - >= -34983315 @ 82.4302
101.90/102.22 c GLOBAL bounds - >= -34983315 @ 82.8592
102.30/102.62 c GLOBAL bounds - >= -34983315 @ 83.1792
102.80/103.10 c GLOBAL bounds - >= -34983315 @ 83.5737
103.20/103.50 c GLOBAL bounds - >= -34983315 @ 83.8898
103.60/103.99 c GLOBAL bounds - >= -34983315 @ 84.3049
104.19/104.52 c GLOBAL bounds - >= -34983315 @ 84.746
104.59/104.91 c GLOBAL bounds - >= -34983315 @ 85.0631
104.99/105.32 c GLOBAL bounds - >= -34983315 @ 85.3835
105.49/105.86 c GLOBAL bounds - >= -34983315 @ 85.8495
105.89/106.27 c GLOBAL bounds - >= -34983315 @ 86.1909
106.18/106.59 c GLOBAL bounds - >= -34983315 @ 86.4303
106.58/106.90 c GLOBAL bounds - >= -34983315 @ 86.6731
106.98/107.30 c GLOBAL bounds - >= -34983315 @ 87.0103
107.28/107.66 c GLOBAL bounds - >= -34983315 @ 87.2824
107.58/107.98 c GLOBAL bounds - >= -34983315 @ 87.5296
107.98/108.38 c GLOBAL bounds - >= -34983315 @ 87.8683
108.38/108.74 c GLOBAL bounds - >= -34983315 @ 88.1705
108.78/109.14 c GLOBAL bounds - >= -34983315 @ 88.5094
109.18/109.52 c GLOBAL bounds - >= -34983315 @ 88.8136
109.57/109.92 c GLOBAL bounds - >= -34983315 @ 89.143
109.98/110.34 c GLOBAL bounds - >= -34983315 @ 89.5013
110.37/110.72 c GLOBAL bounds - >= -34983315 @ 89.8068
110.67/111.03 c GLOBAL bounds - >= -34983315 @ 90.0447
111.17/111.58 c GLOBAL bounds - >= -34983315 @ 90.5337
111.67/112.09 c GLOBAL bounds - >= -34983315 @ 90.9681
112.37/112.70 c GLOBAL bounds - >= -34983315 @ 91.4932
112.68/113.07 c GLOBAL bounds - >= -34983315 @ 91.7927
113.16/113.54 c GLOBAL bounds - >= -34983315 @ 92.1902
113.67/114.06 c GLOBAL bounds - >= -34983315 @ 92.64
114.26/114.60 c GLOBAL bounds - >= -34983315 @ 93.0912
119.35/119.73 c GLOBAL bounds - >= -34983315 @ 98.1178
119.85/120.25 c GLOBAL bounds - >= -34983315 @ 98.5573
122.15/122.51 c GLOBAL bounds - >= -34983315 @ 100.668
122.54/122.95 c GLOBAL bounds - >= -34983315 @ 101.042
123.24/123.62 c GLOBAL bounds - >= -34983315 @ 101.632
123.64/124.07 c GLOBAL bounds - >= -34983315 @ 102
124.04/124.41 c GLOBAL bounds - >= -34983315 @ 102.268
124.34/124.75 c GLOBAL bounds - >= -34983315 @ 102.538
125.13/125.59 c GLOBAL bounds - >= -34983315 @ 103.302
125.73/126.13 c GLOBAL bounds - >= -34983315 @ 103.771
126.13/126.59 c GLOBAL bounds - >= -34983315 @ 104.148
126.53/126.93 c GLOBAL bounds - >= -34983315 @ 104.424
126.93/127.36 c GLOBAL bounds - >= -34983315 @ 104.778
127.33/127.78 c GLOBAL bounds - >= -34983315 @ 105.122
127.83/128.21 c GLOBAL bounds - >= -34983315 @ 105.476
128.22/128.69 c GLOBAL bounds - >= -34983315 @ 105.872
128.63/129.09 c GLOBAL bounds - >= -34983315 @ 106.183
129.23/129.62 c GLOBAL bounds - >= -34983315 @ 106.647
129.62/130.09 c GLOBAL bounds - >= -34983315 @ 107.024
130.12/130.52 c GLOBAL bounds - >= -34983315 @ 107.378
130.51/130.97 c GLOBAL bounds - >= -34983315 @ 107.765
130.92/131.38 c GLOBAL bounds - >= -34983315 @ 108.098
131.42/131.82 c GLOBAL bounds - >= -34983315 @ 108.465
131.91/132.35 c GLOBAL bounds - >= -34983315 @ 108.915
132.61/133.09 c GLOBAL bounds - >= -34983315 @ 109.58
133.11/133.57 c GLOBAL bounds - >= -34983315 @ 109.978
133.61/134.02 c GLOBAL bounds - >= -34983315 @ 110.359
134.01/134.45 c GLOBAL bounds - >= -34983315 @ 110.712
134.41/134.80 c GLOBAL bounds - >= -34983315 @ 110.996
135.00/135.40 c GLOBAL bounds - >= -34983315 @ 111.518
135.40/135.86 c GLOBAL bounds - >= -34983315 @ 111.897
136.00/136.45 c GLOBAL bounds - >= -34983315 @ 112.41
136.41/136.89 c GLOBAL bounds - >= -34983315 @ 112.775
136.90/137.32 c GLOBAL bounds - >= -34983315 @ 113.134
137.30/137.74 c GLOBAL bounds - >= -34983315 @ 113.476
137.61/138.10 c GLOBAL bounds - >= -34983315 @ 113.74
138.30/138.79 c GLOBAL bounds - >= -34983315 @ 114.361
138.90/139.31 c GLOBAL bounds - >= -34983315 @ 114.797
139.39/139.81 c GLOBAL bounds - >= -34983315 @ 115.206
139.99/140.46 c GLOBAL bounds - >= -34983315 @ 115.779
140.49/140.93 c GLOBAL bounds - >= -34983315 @ 116.184
140.89/141.37 c GLOBAL bounds - >= -34983315 @ 116.547
141.39/141.86 c GLOBAL bounds - >= -34983315 @ 116.961
142.38/142.80 c GLOBAL bounds - >= -34983315 @ 117.818
142.78/143.26 c GLOBAL bounds - >= -34983315 @ 118.215
143.18/143.69 c GLOBAL bounds - >= -34983315 @ 118.571
143.69/144.16 c GLOBAL bounds - >= -34983315 @ 118.956
145.59/146.08 c GLOBAL bounds - >= -34983315 @ 120.789
146.27/146.79 c GLOBAL bounds - >= -34983315 @ 121.428
149.47/150.00 c GLOBAL bounds - >= -34983315 @ 124.543
150.16/150.65 c GLOBAL bounds - >= -34983315 @ 125.127
150.67/151.13 c GLOBAL bounds - >= -34983315 @ 125.532
151.06/151.50 c GLOBAL bounds - >= -34983315 @ 125.83
151.46/151.96 c GLOBAL bounds - >= -34983315 @ 126.21
151.96/152.45 c GLOBAL bounds - >= -34983315 @ 126.62
152.36/152.82 c GLOBAL bounds - >= -34983315 @ 126.924
152.86/153.35 c GLOBAL bounds - >= -34983315 @ 127.376
153.36/153.86 c GLOBAL bounds - >= -34983315 @ 127.814
153.85/154.31 c GLOBAL bounds - >= -34983315 @ 128.181
154.66/155.10 c GLOBAL bounds - >= -34983315 @ 128.891
155.25/155.75 c GLOBAL bounds - >= -34983315 @ 129.459
155.75/156.25 c GLOBAL bounds - >= -34983315 @ 129.885
156.15/156.62 c GLOBAL bounds - >= -34983315 @ 130.19
156.55/157.08 c GLOBAL bounds - >= -34983315 @ 130.572
157.05/157.55 c GLOBAL bounds - >= -34983315 @ 130.968
157.74/158.27 c GLOBAL bounds - >= -34983315 @ 131.623
158.24/158.74 c GLOBAL bounds - >= -34983315 @ 132.006
158.64/159.12 c GLOBAL bounds - >= -34983315 @ 132.304
159.03/159.50 c GLOBAL bounds - >= -34983315 @ 132.613
159.44/159.96 c GLOBAL bounds - >= -34983315 @ 133.001
159.93/160.41 c GLOBAL bounds - >= -34983315 @ 133.366
160.33/160.86 c GLOBAL bounds - >= -34983315 @ 133.75
160.93/161.46 c GLOBAL bounds - >= -34983315 @ 134.268
161.43/161.96 c GLOBAL bounds - >= -34983315 @ 134.683
162.03/162.58 c GLOBAL bounds - >= -34983315 @ 135.236
162.92/163.42 c GLOBAL bounds - >= -34983315 @ 135.991
163.33/163.89 c GLOBAL bounds - >= -34983315 @ 136.387
164.03/164.51 c GLOBAL bounds - >= -34983315 @ 136.946
164.63/165.15 c GLOBAL bounds - >= -34983315 @ 137.52
165.02/165.58 c GLOBAL bounds - >= -34983315 @ 137.863
165.82/166.35 c GLOBAL bounds - >= -34983315 @ 138.539
166.91/167.43 c GLOBAL bounds - >= -34983315 @ 139.541
167.41/167.98 c GLOBAL bounds - >= -34983315 @ 140.023
168.72/169.29 c GLOBAL bounds - >= -34983315 @ 141.253
169.31/169.83 c GLOBAL bounds - >= -34983315 @ 141.708
169.70/170.21 c GLOBAL bounds - >= -34983315 @ 142.015
170.01/170.59 c GLOBAL bounds - >= -34983315 @ 142.32
170.91/171.46 c GLOBAL bounds - >= -34983315 @ 143.118
171.40/171.96 c GLOBAL bounds - >= -34983315 @ 143.541
172.00/172.50 c GLOBAL bounds - >= -34983315 @ 144.011
172.40/172.96 c GLOBAL bounds - >= -34983315 @ 144.388
172.90/173.43 c GLOBAL bounds - >= -34983315 @ 144.79
173.40/173.91 c GLOBAL bounds - >= -34983315 @ 145.198
174.00/174.55 c GLOBAL bounds - >= -34983315 @ 145.767
174.69/175.20 c GLOBAL bounds - >= -34983315 @ 146.335
175.20/175.72 c GLOBAL bounds - >= -34983315 @ 146.787
175.60/176.19 c GLOBAL bounds - >= -34983315 @ 147.174
176.09/176.68 c GLOBAL bounds - >= -34983315 @ 147.583
176.79/177.30 c GLOBAL bounds - >= -34983315 @ 148.137
177.39/177.94 c GLOBAL bounds - >= -34983315 @ 148.702
177.88/178.48 c GLOBAL bounds - >= -34983315 @ 149.161
178.38/178.95 c GLOBAL bounds - >= -34983315 @ 149.55
179.28/179.82 c GLOBAL bounds - >= -34983315 @ 150.333
179.78/180.33 c GLOBAL bounds - >= -34983315 @ 150.785
180.59/181.10 c GLOBAL bounds - >= -34983315 @ 151.483
181.07/181.60 c GLOBAL bounds - >= -34983315 @ 151.901
181.37/181.99 c GLOBAL bounds - >= -34983315 @ 152.225
181.87/182.47 c GLOBAL bounds - >= -34983315 @ 152.626
182.58/183.10 c GLOBAL bounds - >= -34983315 @ 153.18
182.97/183.59 c GLOBAL bounds - >= -34983315 @ 153.602
184.37/184.93 c GLOBAL bounds - >= -34983315 @ 154.863
185.36/185.99 c GLOBAL bounds - >= -34983315 @ 155.849
185.96/186.53 c GLOBAL bounds - >= -34983315 @ 156.301
187.06/187.65 c GLOBAL bounds - >= -34983315 @ 157.288
187.56/188.12 c GLOBAL bounds - >= -34983315 @ 157.692
188.47/189.10 c GLOBAL bounds - >= -34983315 @ 158.588
189.05/189.67 c GLOBAL bounds - >= -34983315 @ 159.081
189.75/190.34 c GLOBAL bounds - >= -34983315 @ 159.68
190.25/190.85 c GLOBAL bounds - >= -34983315 @ 160.121
191.85/192.47 c GLOBAL bounds - >= -34983315 @ 161.669
192.45/193.04 c GLOBAL bounds - >= -34983315 @ 162.169
193.85/194.40 c GLOBAL bounds - >= -34983315 @ 163.453
194.45/195.04 c GLOBAL bounds - >= -34983315 @ 164.011
196.23/196.80 c GLOBAL bounds - >= -34983315 @ 165.694
196.73/197.39 c GLOBAL bounds - >= -34983315 @ 166.207
198.83/199.42 c GLOBAL bounds - >= -34983315 @ 168.157
199.92/200.53 c GLOBAL bounds - >= -34983315 @ 169.194
201.02/201.60 c GLOBAL bounds - >= -34983315 @ 170.2
202.91/203.52 c GLOBAL bounds - >= -34983315 @ 172.055
203.81/204.40 c GLOBAL bounds - >= -34983315 @ 172.859
204.31/205.00 c GLOBAL bounds - >= -34983315 @ 173.387
204.81/205.43 c GLOBAL bounds - >= -34983315 @ 173.749
205.51/206.16 c GLOBAL bounds - >= -34983315 @ 174.4
206.20/206.86 c GLOBAL bounds - >= -34983315 @ 175.021
209.30/209.91 c GLOBAL bounds - >= -34983315 @ 177.988
210.59/211.28 c GLOBAL bounds - >= -34983315 @ 179.269
211.59/212.22 c GLOBAL bounds - >= -34983315 @ 180.147
212.29/212.94 c GLOBAL bounds - >= -34983315 @ 180.798
212.99/213.62 c GLOBAL bounds - >= -34983315 @ 181.403
213.49/214.12 c GLOBAL bounds - >= -34983315 @ 181.833
214.48/215.15 c GLOBAL bounds - >= -34983315 @ 182.784
215.48/216.11 c GLOBAL bounds - >= -34983315 @ 183.66
216.18/216.81 c GLOBAL bounds - >= -34983315 @ 184.297
216.88/217.54 c GLOBAL bounds - >= -34983315 @ 184.954
217.57/218.22 c GLOBAL bounds - >= -34983315 @ 185.557
218.07/218.74 c GLOBAL bounds - >= -34983315 @ 186.021
218.57/219.28 c GLOBAL bounds - >= -34983315 @ 186.482
219.97/220.65 c GLOBAL bounds - >= -34983315 @ 187.776
220.76/221.45 c GLOBAL bounds - >= -34983315 @ 188.514
222.56/223.23 c GLOBAL bounds - >= -34983315 @ 190.211
223.86/224.56 c GLOBAL bounds - >= -34983315 @ 191.463
230.44/231.15 c GLOBAL bounds - >= -34983315 @ 197.949
268.24/269.02 c #Conflicts: 1000 | #Constraints: 3529
268.24/269.02 c GLOBAL bounds - >= -34983315 @ 235.483
342.03/343.10 c GLOBAL bounds - >= -34983315 @ 308.935
377.22/378.32 c GLOBAL bounds - >= -34983315 @ 343.854
402.75/403.93 c GLOBAL bounds - >= -34983315 @ 369.218
496.69/498.12 c #Conflicts: 2000 | #Constraints: 4537
496.69/498.12 c INPROCESSING
496.69/498.12 c GARBAGE COLLECT
496.69/498.12 c GLOBAL bounds - >= -34983315 @ 462.816
498.48/499.96 c GLOBAL bounds - >= -34983315 @ 464.575
564.09/565.73 c GLOBAL bounds - >= -34983315 @ 529.994
1102.96/1106.11 c #Conflicts: 3000 | #Constraints: 4546
1102.96/1106.11 c GLOBAL bounds - >= -34983315 @ 1068
1203.67/1207.19 c #Conflicts: 4000 | #Constraints: 5548
1203.67/1207.19 c GLOBAL bounds - >= -34983315 @ 1168.54
1211.04/1214.51 c GLOBAL bounds - >= -34983315 @ 1175.75
1295.30/1299.04 c INPROCESSING
1295.30/1299.04 c GARBAGE COLLECT
1295.30/1299.04 c GLOBAL bounds - >= -34983315 @ 1259.72
1312.36/1316.18 c GLOBAL bounds - >= -34983315 @ 1276.72
1331.00/1334.80 c GLOBAL bounds - >= -34983315 @ 1295.11
1334.49/1338.33 c GLOBAL bounds - >= -34983315 @ 1298.53
1454.14/1458.36 c GLOBAL bounds - >= -34983315 @ 1417.87
1548.17/1552.60 c #Conflicts: 5000 | #Constraints: 4966
1548.17/1552.60 c GLOBAL bounds - >= -34983315 @ 1511.58
1854.07/1859.45 c GLOBAL bounds - >= -34983315 @ 1817.32
1862.75/1868.14 c GLOBAL bounds - >= -34983315 @ 1825.88
2332.97/2339.71 c #Conflicts: 6000 | #Constraints: 5972
2332.97/2339.71 c INPROCESSING
2332.97/2339.71 c GARBAGE COLLECT
2332.97/2339.71 c #Conflicts: 7000 | #Constraints: 4980
2332.97/2339.71 c GLOBAL bounds - >= -34983315 @ 2295.57
2708.20/2716.09 c #Conflicts: 8000 | #Constraints: 5982
2708.20/2716.09 c GLOBAL bounds - >= -34983315 @ 2670.4
3483.09/3493.29 c #Conflicts: 9000 | #Constraints: 6984
3483.09/3493.29 c INPROCESSING
3483.09/3493.29 c GARBAGE COLLECT
3483.09/3493.29 c GLOBAL bounds - >= -34983315 @ 3444.28
3489.87/3500.06 c GLOBAL bounds - >= -34983315 @ 3450.97
3600.04/3610.50 c #Conflicts: 10000 | #Constraints: 5689
3600.04/3610.50 c cpu time 3560.83 s
3600.04/3610.50 c deterministic time 75131 7.51e+04
3600.04/3610.50 c optimization time 3560.55 s
3600.04/3610.50 c total solve time 0 s
3600.04/3610.50 c core-guided solve time 0 s
3600.04/3610.50 c propagation time 0.001192 s
3600.04/3610.50 c conflict analysis time 0 s
3600.04/3610.50 c propagations 75130
3600.04/3610.50 c resolve steps 0
3600.04/3610.50 c decisions 0
3600.04/3610.50 c conflicts 0
3600.04/3610.50 c restarts 0
3600.04/3610.50 c inprocessing phases 0
3600.04/3610.50 c garbage collections 0 ,( -nan )
3600.04/3610.50 c input clauses 79 ,( 4.79 )
3600.04/3610.50 c input cardinalities 1571 ,( 95.21 )
3600.04/3610.50 c input general constraints 0 ,( 0.00 )
3600.04/3610.50 c input average constraint length 290.02
3600.04/3610.50 c input average constraint degree 289.45
3600.04/3610.50 c learned clauses 0 ,( 0.00 )
3600.04/3610.50 c learned cardinalities 0 ,( 0.00 )
3600.04/3610.50 c learned general constraints 0 ,( 0.00 )
3600.04/3610.50 c learned average constraint length 0.00
3600.04/3610.50 c learned average constraint degree 0.00
3600.04/3610.50 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.04/3610.50 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.04/3610.50 c watched constraints 0 ,( -nan )
3600.04/3610.50 c counting constraints 0 ,( -nan )
3600.04/3610.50 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.04/3610.50 c gcd simplifications 55
3600.04/3610.50 c detected cardinalities 0
3600.04/3610.50 c weakened non-implied lits 0
3600.04/3610.50 c weakened non-implying lits 0
3600.04/3610.50 c original variables 210652
3600.04/3610.50 c clausal propagations 0
3600.04/3610.50 c cardinality propagations 0
3600.04/3610.50 c watched propagations 0
3600.04/3610.50 c counting propagations 0
3600.04/3610.50 c watch lookups 0
3600.04/3610.50 c watch backjump lookups 0
3600.04/3610.50 c watch checks 0
3600.04/3610.50 c propagation checks 0
3600.04/3610.50 c constraint additions 0
3600.04/3610.50 c trail pops 0
3600.04/3610.50 c formula constraints 1650
3600.04/3610.50 c learned constraints 0
3600.04/3610.50 c bound constraints 0
3600.04/3610.50 c core-guided constraints 0
3600.04/3610.50 c encountered formula constraints 0
3600.04/3610.50 c encountered learned constraints 0
3600.04/3610.50 c encountered bound constraints 0
3600.04/3610.50 c encountered core-guided constraints 0
3600.04/3610.50 c LP total time 0 s
3600.04/3610.50 c LP solve time 0 s
3600.04/3610.50 c LP constraints added 0
3600.04/3610.50 c LP constraints removed 0
3600.04/3610.50 c LP pivots internal 0
3600.04/3610.50 c LP pivots root 0
3600.04/3610.50 c LP calls 0
3600.04/3610.50 c LP optimalities 0
3600.04/3610.50 c LP no pivot count 0
3600.04/3610.50 c LP infeasibilities 0
3600.04/3610.50 c LP valid Farkas constraints 0
3600.04/3610.50 c LP learned Farkas constraints 0
3600.04/3610.50 c LP basis resets 0
3600.04/3610.50 c LP cycling count 0
3600.04/3610.50 c LP singular count 0
3600.04/3610.50 c LP no primal count 0
3600.04/3610.50 c LP no farkas count 0
3600.04/3610.50 c LP other issue count 0
3600.04/3610.50 c LP Gomory cuts 0
3600.04/3610.50 c LP learned cuts 0
3600.04/3610.50 c LP deleted cuts 0
3600.04/3610.50 c LP encountered Gomory constraints 0
3600.04/3610.50 c LP encountered Farkas constraints 0
3600.04/3610.50 c LP encountered learned Farkas constraints 0
3600.04/3610.50 c CG auxiliary variables introduced 0
3600.04/3610.50 c CG solutions found 0
3600.04/3610.50 c CG cores constructed 0
3600.04/3610.50 c CG core cardinality constraints returned 0
3600.04/3610.50 c CG unit cores 0
3600.04/3610.50 c CG single cores 0
3600.04/3610.50 c CG blocks removed during cardinality reduction 0
3600.04/3610.50 c CG first core best 0
3600.04/3610.50 c CG decision core best 0
3600.04/3610.50 c CG core reduction tie 0
3600.04/3610.50 c CG core degree average 0.00
3600.04/3610.50 c CG core slack average 0.00
3600.04/3610.50 c CG core upper bound improvements 0
3600.04/3610.50 c STR number of successful calls 0
3600.04/3610.50 c STR number of unsuccessful calls 0
3600.04/3610.50 c STR number of inconclusive calls 0
3600.04/3610.50 c STR number of successful attempts 0
3600.04/3610.50 c STR number of unsuccessful attempts 0
3600.04/3610.50 c STR number of inconclusive attempts 0
3600.04/3610.50 c STR average degree increase per successful call inf
3600.04/3610.50 c STR average degree increase per successful attempt inf
3600.04/3610.50 c STR total number of conflicts for successful attempts 0
3600.04/3610.50 c STR total number of conflicts for unsuccessful attempts 0
3600.04/3610.50 c STR total number of conflicts for inconclusive attempts 0
3600.04/3610.50 c STR average number of conflicts per successful attempt inf
3600.04/3610.50 c STR average number of conflicts per unsuccessful attempt inf
3600.04/3610.50 c STR average number of conflicts per inconclusive attempt inf
3600.04/3610.50 c AVG.sumWPerc -nan
3600.04/3610.50 c bigint constraints 0
3600.04/3610.50 s UNKNOWN
3600.04/3610.50 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 (58140 MiB free)
memory of node 1: 64507 MiB (45420 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4523194-1751603608/watcher-4523194-1751603608 -o /tmp/evaluation-result-4523194-1751603608/solver-4523194-1751603608 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751603608-84771 --watchdog 3760 run-opt.sh HOME/instance-4523194-1751603608.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=84815, runsolver pid=84809
[startup+0.100065 s]*
/proc/loadavg: 0.90 1.01 1.41 5/265 84823
/proc/meminfo: memFree=105955324/131249988 swapFree=33010160/33010684
[pid=84815] ppid=84809 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/84815/stat : 84815 (run-opt.sh) S 84809 84815 84760 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 76039718 4292608 704 18446744073709551615 94517950410752 94517951305285 140729170441520 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94517951544336 94517951592080 94517963546624 140729170450797 140729170450920 140729170450920 140729170456522 0
/proc/84815/statm: 1048 704 640 219 0 110 0
[pid=84817] ppid=84815 vsize=97056 memory=49984 CPUtime=0.08 cores=4,6
/proc/84817/stat : 84817 (roundingsat) R 84815 84815 84760 0 -1 4194304 9577 0 0 0 6 2 0 0 20 0 1 0 76039719 99385344 12496 18446744073709551615 4227072 8923433 140726303622416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34869248 140726303627682 140726303627816 140726303627816 140726303633386 0
/proc/84817/statm: 24264 12496 1920 1147 0 11691 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 101248 KiB
Current children cumulated memory: 52800 KiB
[startup+0.205579 s]*
/proc/loadavg: 0.90 1.01 1.41 5/263 84823
/proc/meminfo: memFree=105932392/131249988 swapFree=33010160/33010684
[pid=84815] ppid=84809 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/84815/stat : 84815 (run-opt.sh) S 84809 84815 84760 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 76039718 4292608 704 18446744073709551615 94517950410752 94517951305285 140729170441520 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94517951544336 94517951592080 94517963546624 140729170450797 140729170450920 140729170450920 140729170456522 0
/proc/84815/statm: 1048 704 640 219 0 110 0
[pid=84817] ppid=84815 vsize=101380 memory=56224 CPUtime=0.18 cores=4,6
/proc/84817/stat : 84817 (roundingsat) R 84815 84815 84760 0 -1 4194304 10638 0 0 0 15 3 0 0 20 0 1 0 76039719 103813120 14056 18446744073709551615 4227072 8923433 140726303622416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34869248 140726303627682 140726303627816 140726303627816 140726303633386 0
/proc/84817/statm: 25345 14056 1920 1147 0 12772 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 105572 KiB
Current children cumulated memory: 59040 KiB
[startup+0.305707 s]*
/proc/loadavg: 0.90 1.01 1.41 4/264 84829
/proc/meminfo: memFree=105865776/131249988 swapFree=33010160/33010684
[pid=84815] ppid=84809 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/84815/stat : 84815 (run-opt.sh) S 84809 84815 84760 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 76039718 4292608 704 18446744073709551615 94517950410752 94517951305285 140729170441520 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94517951544336 94517951592080 94517963546624 140729170450797 140729170450920 140729170450920 140729170456522 0
/proc/84815/statm: 1048 704 640 219 0 110 0
[pid=84817] ppid=84815 vsize=165040 memory=119744 CPUtime=0.28 cores=4,6
/proc/84817/stat : 84817 (roundingsat) R 84815 84815 84760 0 -1 4194304 15522 0 0 0 24 4 0 0 20 0 1 0 76039719 169000960 29936 18446744073709551615 4227072 8923433 140726303622416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34869248 140726303627682 140726303627816 140726303627816 140726303633386 0
/proc/84817/statm: 41260 29936 2208 1147 0 28687 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 169232 KiB
Current children cumulated memory: 122560 KiB
[startup+0.700181 s]
/proc/loadavg: 0.90 1.01 1.41 5/269 84834
/proc/meminfo: memFree=105622736/131249988 swapFree=33010160/33010684
[pid=84815] ppid=84809 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/84815/stat : 84815 (run-opt.sh) S 84809 84815 84760 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 76039718 4292608 704 18446744073709551615 94517950410752 94517951305285 140729170441520 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94517951544336 94517951592080 94517963546624 140729170450797 140729170450920 140729170450920 140729170456522 0
/proc/84815/statm: 1048 704 640 219 0 110 0
[pid=84817] ppid=84815 vsize=214064 memory=164848 CPUtime=0.67 cores=4,6
/proc/84817/stat : 84817 (roundingsat) R 84815 84815 84760 0 -1 4194304 27109 0 0 0 51 16 0 0 20 0 1 0 76039719 219201536 41212 18446744073709551615 4227072 8923433 140726303622416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34869248 140726303627682 140726303627816 140726303627816 140726303633386 0
/proc/84817/statm: 53516 41212 2336 1147 0 40943 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 218256 KiB
Current children cumulated memory: 167664 KiB
[startup+1.50019 s]
/proc/loadavg: 0.90 1.01 1.41 5/269 84834
/proc/meminfo: memFree=105359436/131249988 swapFree=33010160/33010684
[pid=84815] ppid=84809 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/84815/stat : 84815 (run-opt.sh) S 84809 84815 84760 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 76039718 4292608 704 18446744073709551615 94517950410752 94517951305285 140729170441520 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94517951544336 94517951592080 94517963546624 140729170450797 140729170450920 140729170450920 140729170456522 0
/proc/84815/statm: 1048 704 640 219 0 110 0
[pid=84817] ppid=84815 vsize=240840 memory=187324 CPUtime=1.47 cores=4,6
/proc/84817/stat : 84817 (roundingsat) R 84815 84815 84760 0 -1 4194304 29268 0 0 0 107 40 0 0 20 0 1 0 76039719 246620160 46831 18446744073709551615 4227072 8923433 140726303622416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34869248 140726303627682 140726303627816 140726303627816 140726303633386 0
/proc/84817/statm: 60210 46831 2336 1147 0 47637 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 245032 KiB
Current children cumulated memory: 190140 KiB
[startup+3.10585 s]
/proc/loadavg: 0.90 1.01 1.41 5/269 84834
/proc/meminfo: memFree=104823848/131249988 swapFree=33010160/33010684
[pid=84815] ppid=84809 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/84815/stat : 84815 (run-opt.sh) S 84809 84815 84760 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 76039718 4292608 704 18446744073709551615 94517950410752 94517951305285 140729170441520 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94517951544336 94517951592080 94517963546624 140729170450797 140729170450920 140729170450920 140729170456522 0
/proc/84815/statm: 1048 704 640 219 0 110 0
[pid=84817] ppid=84815 vsize=289868 memory=220808 CPUtime=3.07 cores=4,6
/proc/84817/stat : 84817 (roundingsat) R 84815 84815 84760 0 -1 4194304 29997 0 0 0 219 88 0 0 20 0 1 0 76039719 296824832 55202 18446744073709551615 4227072 8923433 140726303622416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34869248 140726303627682 140726303627816 140726303627816 140726303633386 0
/proc/84817/statm: 72467 55202 2336 1147 0 59894 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 294060 KiB
Current children cumulated memory: 223624 KiB
[startup+6.30019 s]
/proc/loadavg: 1.22 1.07 1.43 5/269 84835
/proc/meminfo: memFree=104046260/131249988 swapFree=33010160/33010684
[pid=84815] ppid=84809 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/84815/stat : 84815 (run-opt.sh) S 84809 84815 84760 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 76039718 4292608 704 18446744073709551615 94517950410752 94517951305285 140729170441520 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94517951544336 94517951592080 94517963546624 140729170450797 140729170450920 140729170450920 140729170456522 0
/proc/84815/statm: 1048 704 640 219 0 110 0
[pid=84817] ppid=84815 vsize=308836 memory=241456 CPUtime=6.26 cores=4,6
/proc/84817/stat : 84817 (roundingsat) R 84815 84815 84760 0 -1 4194304 30574 0 0 0 439 187 0 0 20 0 1 0 76039719 316248064 60364 18446744073709551615 4227072 8923433 140726303622416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34869248 140726303627682 140726303627816 140726303627816 140726303633386 0
/proc/84817/statm: 77209 60364 2336 1147 0 64636 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 313028 KiB
Current children cumulated memory: 244272 KiB
[startup+12.7002 s]
/proc/loadavg: 1.45 1.12 1.44 5/269 84835
/proc/meminfo: memFree=104028208/131249988 swapFree=33010160/33010684
[pid=84815] ppid=84809 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/84815/stat : 84815 (run-opt.sh) S 84809 84815 84760 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 76039718 4292608 704 18446744073709551615 94517950410752 94517951305285 140729170441520 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94517951544336 94517951592080 94517963546624 140729170450797 140729170450920 140729170450920 140729170456522 0
/proc/84815/statm: 1048 704 640 219 0 110 0
[pid=84817] ppid=84815 vsize=389744 memory=303164 CPUtime=12.63 cores=4,6
/proc/84817/stat : 84817 (roundingsat) R 84815 84815 84760 0 -1 4194304 31727 0 0 0 968 295 0 0 20 0 1 0 76039719 399097856 75791 18446744073709551615 4227072 8923433 140726303622416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34869248 140726303627682 140726303627816 140726303627816 140726303633386 0
/proc/84817/statm: 97436 75791 2336 1147 0 84863 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 393936 KiB
Current children cumulated memory: 305980 KiB
[startup+25.5002 s]
/proc/loadavg: 2.01 1.27 1.49 5/268 84835
/proc/meminfo: memFree=104016244/131249988 swapFree=33010160/33010684
[pid=84815] ppid=84809 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/84815/stat : 84815 (run-opt.sh) S 84809 84815 84760 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 76039718 4292608 704 18446744073709551615 94517950410752 94517951305285 140729170441520 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94517951544336 94517951592080 94517963546624 140729170450797 140729170450920 140729170450920 140729170456522 0
/proc/84815/statm: 1048 704 640 219 0 110 0
[pid=84817] ppid=84815 vsize=471132 memory=406832 CPUtime=25.4 cores=4,6
/proc/84817/stat : 84817 (roundingsat) R 84815 84815 84760 0 -1 4194304 32068 0 0 0 1919 621 0 0 20 0 1 0 76039719 482439168 101708 18446744073709551615 4227072 8923433 140726303622416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34869248 140726303627682 140726303627816 140726303627816 140726303633386 0
/proc/84817/statm: 117783 101708 2368 1147 0 105210 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 475324 KiB
Current children cumulated memory: 409648 KiB
[startup+51.1055 s]
/proc/loadavg: 2.77 1.50 1.56 5/268 84835
/proc/meminfo: memFree=103644704/131249988 swapFree=33010160/33010684
[pid=84815] ppid=84809 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/84815/stat : 84815 (run-opt.sh) S 84809 84815 84760 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 76039718 4292608 704 18446744073709551615 94517950410752 94517951305285 140729170441520 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94517951544336 94517951592080 94517963546624 140729170450797 140729170450920 140729170450920 140729170456522 0
/proc/84815/statm: 1048 704 640 219 0 110 0
[pid=84817] ppid=84815 vsize=818316 memory=590848 CPUtime=50.94 cores=4,6
/proc/84817/stat : 84817 (roundingsat) R 84815 84815 84760 0 -1 4194304 33108 0 0 0 3964 1130 0 0 20 0 1 0 76039719 837955584 147712 18446744073709551615 4227072 8923433 140726303622416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34869248 140726303627682 140726303627816 140726303627816 140726303633386 0
/proc/84817/statm: 204579 147712 2368 1147 0 192006 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 822508 KiB
Current children cumulated memory: 593664 KiB
[startup+102.3 s]
/proc/loadavg: 3.69 1.96 1.72 5/269 84930
/proc/meminfo: memFree=104207824/131249988 swapFree=33010160/33010684
[pid=84815] ppid=84809 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/84815/stat : 84815 (run-opt.sh) S 84809 84815 84760 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 76039718 4292608 704 18446744073709551615 94517950410752 94517951305285 140729170441520 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94517951544336 94517951592080 94517963546624 140729170450797 140729170450920 140729170450920 140729170456522 0
/proc/84815/statm: 1048 704 640 219 0 110 0
[pid=84817] ppid=84815 vsize=1167564 memory=924928 CPUtime=102 cores=4,6
/proc/84817/stat : 84817 (roundingsat) R 84815 84815 84760 0 -1 4194304 33993 0 0 0 8289 1911 0 0 20 0 1 0 76039719 1195585536 231232 18446744073709551615 4227072 8923433 140726303622416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34869248 140726303627682 140726303627816 140726303627816 140726303633386 0
/proc/84817/statm: 291891 231232 2368 1147 0 279318 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 1171756 KiB
Current children cumulated memory: 927744 KiB
[startup+162.3 s]
/proc/loadavg: 3.93 2.35 1.87 5/269 84977
/proc/meminfo: memFree=103554200/131249988 swapFree=33010160/33010684
[pid=84815] ppid=84809 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/84815/stat : 84815 (run-opt.sh) S 84809 84815 84760 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 76039718 4292608 704 18446744073709551615 94517950410752 94517951305285 140729170441520 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94517951544336 94517951592080 94517963546624 140729170450797 140729170450920 140729170450920 140729170456522 0
/proc/84815/statm: 1048 704 640 219 0 110 0
[pid=84817] ppid=84815 vsize=1767048 memory=1273384 CPUtime=161.83 cores=4,6
/proc/84817/stat : 84817 (roundingsat) R 84815 84815 84760 0 -1 4194304 42924 0 0 0 13496 2687 0 0 20 0 1 0 76039719 1809457152 318346 18446744073709551615 4227072 8923433 140726303622416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34869248 140726303627682 140726303627816 140726303627816 140726303633386 0
/proc/84817/statm: 441762 318346 2368 1147 0 429189 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 1771240 KiB
Current children cumulated memory: 1276200 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 2.70 2.02 5/269 84979
/proc/meminfo: memFree=102887948/131249988 swapFree=33010160/33010684
[pid=84815] ppid=84809 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/84815/stat : 84815 (run-opt.sh) S 84809 84815 84760 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 76039718 4292608 704 18446744073709551615 94517950410752 94517951305285 140729170441520 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94517951544336 94517951592080 94517963546624 140729170450797 140729170450920 140729170450920 140729170456522 0
/proc/84815/statm: 1048 704 640 219 0 110 0
[pid=84817] ppid=84815 vsize=1802468 memory=1632044 CPUtime=221.66 cores=4,6
/proc/84817/stat : 84817 (roundingsat) R 84815 84815 84760 0 -1 4194304 51947 0 0 0 18929 3237 0 0 20 0 1 0 76039719 1845727232 408011 18446744073709551615 4227072 8923433 140726303622416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34869248 140726303627682 140726303627816 140726303627816 140726303633386 0
/proc/84817/statm: 450617 408011 2368 1147 0 438044 0
Current children cumulated CPU time: 221.66 s
################
# More data... #
################
[pid=84817] ppid=84815 vsize=7495960 memory=6037900 CPUtime=3093.34 cores=4,6
/proc/84817/stat : 84817 (roundingsat) R 84815 84815 84760 0 -1 4194304 251137 0 0 0 305500 3834 0 0 20 0 1 0 76039719 7675863040 1509475 18446744073709551615 4227072 8923433 140726303622416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34869248 140726303627682 140726303627816 140726303627816 140726303633386 0
/proc/84817/statm: 1873990 1509475 2368 1147 0 1861417 0
Current children cumulated CPU time: 3093.34 s
Current children cumulated vsize: 7500152 KiB
Current children cumulated memory: 6040716 KiB
[startup+3162.3 s]
/proc/loadavg: 4.05 4.09 4.02 5/267 85131
/proc/meminfo: memFree=90933584/131249988 swapFree=33010160/33010684
[pid=84815] ppid=84809 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/84815/stat : 84815 (run-opt.sh) S 84809 84815 84760 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 76039718 4292608 704 18446744073709551615 94517950410752 94517951305285 140729170441520 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94517951544336 94517951592080 94517963546624 140729170450797 140729170450920 140729170450920 140729170456522 0
/proc/84815/statm: 1048 704 640 219 0 110 0
[pid=84817] ppid=84815 vsize=7496484 memory=6102104 CPUtime=3153.16 cores=4,6
/proc/84817/stat : 84817 (roundingsat) R 84815 84815 84760 0 -1 4194304 251507 0 0 0 311479 3837 0 0 20 0 1 0 76039719 7676399616 1525526 18446744073709551615 4227072 8923433 140726303622416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34869248 140726303627682 140726303627816 140726303627816 140726303633386 0
/proc/84817/statm: 1874121 1525526 2368 1147 0 1861548 0
Current children cumulated CPU time: 3153.16 s
Current children cumulated vsize: 7500676 KiB
Current children cumulated memory: 6104920 KiB
[startup+3222.3 s]
/proc/loadavg: 4.06 4.08 4.02 5/267 85133
/proc/meminfo: memFree=90724940/131249988 swapFree=33010160/33010684
[pid=84815] ppid=84809 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/84815/stat : 84815 (run-opt.sh) S 84809 84815 84760 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 76039718 4292608 704 18446744073709551615 94517950410752 94517951305285 140729170441520 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94517951544336 94517951592080 94517963546624 140729170450797 140729170450920 140729170450920 140729170456522 0
/proc/84815/statm: 1048 704 640 219 0 110 0
[pid=84817] ppid=84815 vsize=7513404 memory=6183936 CPUtime=3212.98 cores=4,6
/proc/84817/stat : 84817 (roundingsat) R 84815 84815 84760 0 -1 4194304 255550 0 0 0 317453 3845 0 0 20 0 1 0 76039719 7693725696 1545984 18446744073709551615 4227072 8923433 140726303622416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34869248 140726303627682 140726303627816 140726303627816 140726303633386 0
/proc/84817/statm: 1878351 1545984 2368 1147 0 1865778 0
Current children cumulated CPU time: 3212.98 s
Current children cumulated vsize: 7517596 KiB
Current children cumulated memory: 6186752 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.10 4.02 5/268 85142
/proc/meminfo: memFree=90492124/131249988 swapFree=33010160/33010684
[pid=84815] ppid=84809 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/84815/stat : 84815 (run-opt.sh) S 84809 84815 84760 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 76039718 4292608 704 18446744073709551615 94517950410752 94517951305285 140729170441520 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94517951544336 94517951592080 94517963546624 140729170450797 140729170450920 140729170450920 140729170456522 0
/proc/84815/statm: 1048 704 640 219 0 110 0
[pid=84817] ppid=84815 vsize=7516732 memory=6244800 CPUtime=3272.8 cores=4,6
/proc/84817/stat : 84817 (roundingsat) R 84815 84815 84760 0 -1 4194304 257106 0 0 0 323433 3847 0 0 20 0 1 0 76039719 7697133568 1561200 18446744073709551615 4227072 8923433 140726303622416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34869248 140726303627682 140726303627816 140726303627816 140726303633386 0
/proc/84817/statm: 1879183 1561200 2368 1147 0 1866610 0
Current children cumulated CPU time: 3272.8 s
Current children cumulated vsize: 7520924 KiB
Current children cumulated memory: 6247616 KiB
[startup+3342.3 s]
/proc/loadavg: 4.18 4.11 4.03 5/268 85144
/proc/meminfo: memFree=90200104/131249988 swapFree=33010160/33010684
[pid=84815] ppid=84809 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/84815/stat : 84815 (run-opt.sh) S 84809 84815 84760 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 76039718 4292608 704 18446744073709551615 94517950410752 94517951305285 140729170441520 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94517951544336 94517951592080 94517963546624 140729170450797 140729170450920 140729170450920 140729170456522 0
/proc/84815/statm: 1048 704 640 219 0 110 0
[pid=84817] ppid=84815 vsize=7600060 memory=6314944 CPUtime=3332.63 cores=4,6
/proc/84817/stat : 84817 (roundingsat) R 84815 84815 84760 0 -1 4194304 274184 0 0 0 329390 3873 0 0 20 0 1 0 76039719 7782461440 1578736 18446744073709551615 4227072 8923433 140726303622416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34869248 140726303627682 140726303627816 140726303627816 140726303633386 0
/proc/84817/statm: 1900015 1578736 2368 1147 0 1887442 0
Current children cumulated CPU time: 3332.63 s
Current children cumulated vsize: 7604252 KiB
Current children cumulated memory: 6317760 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.10 4.03 5/267 85146
/proc/meminfo: memFree=90005384/131249988 swapFree=33010160/33010684
[pid=84815] ppid=84809 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/84815/stat : 84815 (run-opt.sh) S 84809 84815 84760 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 76039718 4292608 704 18446744073709551615 94517950410752 94517951305285 140729170441520 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94517951544336 94517951592080 94517963546624 140729170450797 140729170450920 140729170450920 140729170456522 0
/proc/84815/statm: 1048 704 640 219 0 110 0
[pid=84817] ppid=84815 vsize=7601460 memory=6316736 CPUtime=3392.45 cores=4,6
/proc/84817/stat : 84817 (roundingsat) R 84815 84815 84760 0 -1 4194304 274623 0 0 0 335372 3873 0 0 20 0 1 0 76039719 7783895040 1579184 18446744073709551615 4227072 8923433 140726303622416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34869248 140726303627682 140726303627816 140726303627816 140726303633386 0
/proc/84817/statm: 1900365 1579184 2368 1147 0 1887792 0
Current children cumulated CPU time: 3392.45 s
Current children cumulated vsize: 7605652 KiB
Current children cumulated memory: 6319552 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.10 4.03 5/267 85148
/proc/meminfo: memFree=89920564/131249988 swapFree=33010160/33010684
[pid=84815] ppid=84809 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/84815/stat : 84815 (run-opt.sh) S 84809 84815 84760 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 76039718 4292608 704 18446744073709551615 94517950410752 94517951305285 140729170441520 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94517951544336 94517951592080 94517963546624 140729170450797 140729170450920 140729170450920 140729170456522 0
/proc/84815/statm: 1048 704 640 219 0 110 0
[pid=84817] ppid=84815 vsize=7632956 memory=6343744 CPUtime=3452.28 cores=4,6
/proc/84817/stat : 84817 (roundingsat) R 84815 84815 84760 0 -1 4194304 281403 0 0 0 341345 3883 0 0 20 0 1 0 76039719 7816146944 1585936 18446744073709551615 4227072 8923433 140726303622416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34869248 140726303627682 140726303627816 140726303627816 140726303633386 0
/proc/84817/statm: 1908239 1585936 2368 1147 0 1895666 0
Current children cumulated CPU time: 3452.28 s
Current children cumulated vsize: 7637148 KiB
Current children cumulated memory: 6346560 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.09 4.03 5/267 85150
/proc/meminfo: memFree=89823000/131249988 swapFree=33010160/33010684
[pid=84815] ppid=84809 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/84815/stat : 84815 (run-opt.sh) S 84809 84815 84760 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 76039718 4292608 704 18446744073709551615 94517950410752 94517951305285 140729170441520 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94517951544336 94517951592080 94517963546624 140729170450797 140729170450920 140729170450920 140729170456522 0
/proc/84815/statm: 1048 704 640 219 0 110 0
[pid=84817] ppid=84815 vsize=7654676 memory=6361792 CPUtime=3512.1 cores=4,6
/proc/84817/stat : 84817 (roundingsat) R 84815 84815 84760 0 -1 4194304 285931 0 0 0 347302 3908 0 0 20 0 1 0 76039719 7838388224 1590448 18446744073709551615 4227072 8923433 140726303622416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34869248 140726303627682 140726303627816 140726303627816 140726303633386 0
/proc/84817/statm: 1913669 1590448 2368 1147 0 1901096 0
Current children cumulated CPU time: 3512.1 s
Current children cumulated vsize: 7658868 KiB
Current children cumulated memory: 6364608 KiB
[startup+3582.3 s]
/proc/loadavg: 4.06 4.08 4.03 5/266 85152
/proc/meminfo: memFree=89713904/131249988 swapFree=33010160/33010684
[pid=84815] ppid=84809 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/84815/stat : 84815 (run-opt.sh) S 84809 84815 84760 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 76039718 4292608 704 18446744073709551615 94517950410752 94517951305285 140729170441520 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94517951544336 94517951592080 94517963546624 140729170450797 140729170450920 140729170450920 140729170456522 0
/proc/84815/statm: 1048 704 640 219 0 110 0
[pid=84817] ppid=84815 vsize=7673172 memory=6377664 CPUtime=3571.93 cores=4,6
/proc/84817/stat : 84817 (roundingsat) R 84815 84815 84760 0 -1 4194304 289938 0 0 0 353273 3920 0 0 20 0 1 0 76039719 7857328128 1594416 18446744073709551615 4227072 8923433 140726303622416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34869248 140726303627682 140726303627816 140726303627816 140726303633386 0
/proc/84817/statm: 1918293 1594416 2368 1147 0 1905720 0
Current children cumulated CPU time: 3571.93 s
Current children cumulated vsize: 7677364 KiB
Current children cumulated memory: 6380480 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.5 s]
/proc/loadavg: 4.04 4.08 4.03 5/261 85160
/proc/meminfo: memFree=96684024/131249988 swapFree=33010160/33010684
[pid=84815] ppid=84809 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/84815/stat : 84815 (run-opt.sh) S 84809 84815 84760 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 76039718 4292608 704 18446744073709551615 94517950410752 94517951305285 140729170441520 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94517951544336 94517951592080 94517963546624 140729170450797 140729170450920 140729170450920 140729170456522 0
/proc/84815/statm: 1048 704 640 219 0 110 0
[pid=84817] ppid=84815 vsize=7683320 memory=6387008 CPUtime=3600.04 cores=4,6
/proc/84817/stat : 84817 (roundingsat) R 84815 84815 84760 0 -1 4194304 292264 0 0 0 356083 3921 0 0 20 0 1 0 76039719 7867719680 1596752 18446744073709551615 4227072 8923433 140726303622416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34869248 140726303627682 140726303627816 140726303627816 140726303633386 0
/proc/84817/statm: 1920830 1596752 2368 1147 0 1908257 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 7687512 KiB
Current children cumulated memory: 6389824 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.5 s]
# the end of solver process 84815 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.002169 s
[startup+3610.69 s]
# the end of solver process 84817 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3560.91 s, system=39.3347 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.6 s]*
/proc/loadavg: 4.04 4.08 4.03 5/262 85172
/proc/meminfo: memFree=100251608/131249988 swapFree=33010160/33010684
[pid=84817] ppid=84809 vsize=7683320 memory=1186600 CPUtime=3600.15 cores=4,6
/proc/84817/stat : 84817 (roundingsat) R 84809 84815 84760 0 -1 4194304 292283 0 0 0 356088 3927 0 0 20 0 1 0 76039719 7867719680 296650 18446744073709551615 4227072 8923433 140726303622416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34869248 140726303627682 140726303627816 140726303627816 140726303633386 0
/proc/84817/statm: 1920830 296650 2464 1147 0 1908257 0
Current cumulated CPU time of completed processes: 0.002169 s
Current children cumulated CPU time: 3600.15 s
Current children cumulated vsize: 7683320 KiB
Current children cumulated memory: 1186600 KiB
Child status: 2
Real time (s): 3610.69
CPU time (s): 3600.24
CPU user time (s): 3560.91
CPU system time (s): 39.3347
CPU usage (%): 99.7106
Max. virtual memory (cumulated for all children) (KiB): 7687512
Max. memory (cumulated for all children) (KiB): 6389824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3560.91
system time used= 39.3347
maximum resident set size= 6387392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 293003
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= 183
involuntary context switches= 4027
# summary of solver processes directly reported to runsolver:
# pid: 84815,84817
# total CPU time (s): 3600.24
# total CPU user time (s): 3560.91
# total CPU system time (s): 39.3347
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.45695 second user time and 16.0158 second system time
The end
Begin job on nodeC034 at 2025-07-04 06:33:29
IDJOB=4523194
IDBENCH=179809
IDSOLVER=3350
FILE ID=nodeC034/4523194-1751603608
RUNJOBID= nodeC034-1751603608-84771
SLURM_JOB_ID= 9598888
Free space on /tmp= 430820 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/KidneyTransplantBenchmarks/normalized-Generated_notes_20140709_1000_0.05-013.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4523194-1751603608/watcher-4523194-1751603608 -o /tmp/evaluation-result-4523194-1751603608/solver-4523194-1751603608 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751603608-84771 --watchdog 3760 run-opt.sh HOME/instance-4523194-1751603608.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3781b2dec582d0b67f0282d1f3dabfdd
RANDOM SEED=607705423
nodeC034 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 : 3600.003
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.53
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.863
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.53
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 : 3599.865
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.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.055
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.53
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.754
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.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.045
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.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.650
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.53
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.751
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.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 106074704 kB
MemAvailable: 129669648 kB
Buffers: 2128 kB
Cached: 24332796 kB
SwapCached: 36 kB
Active: 564336 kB
Inactive: 23858200 kB
Active(anon): 101472 kB
Inactive(anon): 4208 kB
Active(file): 462864 kB
Inactive(file): 23853992 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 67068 kB
Writeback: 0 kB
AnonPages: 90932 kB
Mapped: 104444 kB
Shmem: 18068 kB
KReclaimable: 234252 kB
Slab: 327096 kB
SReclaimable: 234252 kB
SUnreclaim: 92844 kB
KernelStack: 4024 kB
PageTables: 2700 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 349296 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150408 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 30720 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: 189140 kB
DirectMap2M: 7970816 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 430836 MiB
End job on nodeC034 at 2025-07-04 07:33:40