0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4503933-1751474045.opb'
0.00/0.03 c read 1.20MB (16.79ms)
0.00/0.03 c [cnf: #variables 14620 #clauses 21852 #duplicates 0 #arr 108545]
0.00/0.03 c output proof to 'PROOFDIR/proof-4503933-1751474045'
0.00/0.03 c
0.00/0.03 c make graph and approximate orbits
0.00/0.06 c [group: #orbits ~= 0] (28.15ms)
0.00/0.06 c
0.00/0.06 c detect special group actions
0.00/0.06 c probe for Johnson action (limit=64)
0.00/0.06 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.06 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.06 c (3.51ms)
0.00/0.06 c
0.00/0.06 c detect symmetries on remainder
0.00/0.06 c [graph: #vertices 102177 #edges 348500]
0.00/0.06 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.07 c [group: #symmetries 1.00*10^0 #generators 0] (6.42ms)
0.00/0.07 c
0.00/0.07 c finalize break order and special generators
0.00/0.07 c
0.00/0.07 c generation finished
0.00/0.07 c [sbp: #constraints 0 #add_vars 0]
0.00/0.07 c
0.00/0.07 c write result to 'HOME/instance-4503933-1751474045.opb.pre'
0.00/0.07 c wrote 1.22MB (2.85ms)
0.00/0.07 c ------------------------------------------------------------------
0.00/0.07 c 28.15ms 46.92% approx_orbits
0.00/0.07 c 16.79ms 27.98% parse
0.00/0.07 c 6.42ms 10.71% detect_generic
0.00/0.07 c 3.51ms 5.85% detect_special
0.00/0.07 c 2.85ms 4.76% output
0.00/0.07 c 1.78ms 2.96% other
0.00/0.07 c 0.49ms 0.82% finalize_order
0.00/0.07 c ───────────────────────────────────────────────
0.00/0.07 c 60.00ms 100% total
0.00/0.07 c ------------------------------------------------------------------
0.00/0.09 c RoundingSat 2
0.00/0.09 c branch pb25
0.00/0.09 c commit 63f22ad
0.16/0.30 c #variables 14620 #constraints 36135
0.16/0.30 c objective is ce32
0.16/0.31 c initial watched CF 32, 64, 128, Arb: 85 , 0 , 0 , 0
0.16/0.31 c initial counting CF 32, 64, 128, Arb: 3741 , 0 , 0 , 0
0.16/0.31 c bounds - >= -85 @ 0.181447
4.54/4.67 c bounds 95270177 >= -85 @ 4.5053
4.54/4.69 c bounds 67826747 >= -85 @ 4.52731
4.64/4.72 c bounds 67768645 >= -85 @ 4.55358
4.64/4.75 c bounds 67585181 >= -85 @ 4.58104
4.64/4.77 c bounds 67396811 >= -85 @ 4.60133
4.74/4.81 c bounds 67282851 >= -85 @ 4.64152
4.83/4.98 c bounds 67238373 >= -85 @ 4.80127
4.95/5.09 c bounds 53972473 >= -85 @ 4.90756
5.04/5.15 c bounds 50817211 >= -85 @ 4.9617
5.13/5.22 c bounds 42496067 >= -85 @ 5.03106
5.34/5.45 c bounds 25875197 >= -85 @ 5.25015
5.34/5.48 c bounds 25679085 >= -85 @ 5.27879
5.43/5.56 c bounds 25677881 >= -85 @ 5.35297
5.54/5.64 c bounds 25497297 >= -85 @ 5.43481
5.63/5.75 c bounds 25375371 >= -85 @ 5.536
5.94/6.06 c bounds 25036435 >= -85 @ 5.83624
6.04/6.16 c bounds 25022539 >= -85 @ 5.92818
6.04/6.19 c bounds 25016977 >= -85 @ 5.95907
7.33/7.46 c bounds 14315515 >= -85 @ 7.19727
7.43/7.56 c bounds 14313491 >= -85 @ 7.29637
7.63/7.77 c bounds 14301603 >= -85 @ 7.49774
7.83/7.91 c bounds 14256151 >= -85 @ 7.62526
7.83/7.99 c bounds 14255551 >= -85 @ 7.70403
7.93/8.07 c bounds 14254167 >= -85 @ 7.78491
8.04/8.13 c bounds 14253449 >= -85 @ 7.8349
8.32/8.46 c bounds 14189451 >= -85 @ 8.15685
8.63/8.71 c bounds 14174091 >= -85 @ 8.4052
8.73/8.82 c bounds 14172471 >= -85 @ 8.51858
8.73/8.88 c bounds 14126697 >= -85 @ 8.57417
8.94/9.02 c bounds 14060461 >= -85 @ 8.71108
8.94/9.07 c bounds 14034343 >= -85 @ 8.75666
9.04/9.13 c bounds 14008589 >= -85 @ 8.82346
9.13/9.24 c bounds 13988717 >= -85 @ 8.92958
9.13/9.28 c bounds 13970785 >= -85 @ 8.97048
9.23/9.34 c bounds 13955945 >= -85 @ 9.02821
9.33/9.41 c bounds 13948177 >= -85 @ 9.09868
9.93/10.00 c #Conflicts: 1000 | #Constraints: 37170
9.93/10.00 c bounds 13946695 >= -85 @ 9.6721
10.72/10.86 c bounds 13928703 >= -85 @ 10.5012
10.83/10.91 c bounds 13865145 >= -85 @ 10.5396
11.42/11.55 c bounds 13845279 >= -85 @ 11.1713
11.42/11.59 c bounds 13827609 >= -85 @ 11.2139
11.82/11.96 c bounds 13793865 >= -85 @ 11.5759
11.92/12.00 c bounds 13568633 >= -85 @ 11.6164
12.03/12.16 c bounds 13568279 >= -85 @ 11.773
12.12/12.24 c bounds 13567821 >= -85 @ 11.8525
12.22/12.30 c bounds 13551895 >= -85 @ 11.9052
20.09/20.28 c #Conflicts: 2000 | #Constraints: 38180
20.09/20.28 c INPROCESSING
20.09/20.28 c GARBAGE COLLECT
20.09/20.28 c bounds 13541551 >= -85 @ 19.73
20.59/20.71 c bounds 13526311 >= -85 @ 20.1564
20.90/21.05 c bounds 13503125 >= -85 @ 20.4881
20.90/21.09 c bounds 13475485 >= -85 @ 20.5341
21.19/21.37 c bounds 13461697 >= -85 @ 20.8078
21.49/21.67 c bounds 13442511 >= -85 @ 21.102
21.79/21.99 c bounds 13442147 >= -85 @ 21.4169
22.49/22.67 c bounds 13422579 >= -85 @ 22.0855
22.99/23.11 c bounds 13420403 >= -85 @ 22.5151
22.99/23.17 c bounds 13410059 >= -85 @ 22.5729
25.99/26.19 c bounds 13391485 >= -85 @ 25.5424
26.08/26.25 c bounds 13389309 >= -85 @ 25.5922
38.65/38.86 c #Conflicts: 3000 | #Constraints: 30873
38.65/38.86 c bounds 13119297 >= -85 @ 38.0256
38.75/38.91 c bounds 13108541 >= -85 @ 38.0739
38.75/38.96 c bounds 13098455 >= -85 @ 38.1222
38.85/39.02 c bounds 13092003 >= -85 @ 38.1862
38.85/39.08 c bounds 13090277 >= -85 @ 38.2446
38.95/39.14 c bounds 13086953 >= -85 @ 38.3065
39.04/39.23 c bounds 13037273 >= -85 @ 38.386
39.35/39.54 c bounds 13010649 >= -85 @ 38.6967
39.55/39.72 c bounds 13007249 >= -85 @ 38.8741
39.55/39.78 c bounds 12959635 >= -85 @ 38.9327
39.64/39.85 c bounds 12948339 >= -85 @ 39.0014
39.85/40.06 c bounds 12948129 >= -85 @ 39.2115
40.94/41.17 c #Conflicts: 4000 | #Constraints: 31888
40.94/41.17 c bounds 12935827 >= -85 @ 40.2898
41.24/41.44 c bounds 12914917 >= -85 @ 40.5595
41.44/41.68 c bounds 12895489 >= -85 @ 40.7885
41.54/41.75 c bounds 12877525 >= -85 @ 40.8622
42.04/42.25 c bounds 12871995 >= -85 @ 41.3504
42.23/42.46 c bounds 12850501 >= -85 @ 41.5603
44.73/44.95 c INPROCESSING
44.73/44.95 c GARBAGE COLLECT
44.73/44.95 c bounds 12846747 >= -85 @ 44.0103
44.84/45.06 c bounds 12834491 >= -85 @ 44.1223
45.04/45.27 c bounds 9763801 >= -85 @ 44.3208
46.53/46.70 c bounds 9742631 >= -85 @ 45.7348
46.72/46.94 c bounds 9737589 >= -85 @ 45.9731
48.82/49.04 c bounds 9732245 >= -85 @ 48.0457
49.22/49.44 c bounds 9719087 >= -85 @ 48.4339
49.72/49.93 c bounds 9718357 >= -85 @ 48.9132
50.21/50.48 c bounds 9715279 >= -85 @ 49.4659
69.54/69.85 c #Conflicts: 5000 | #Constraints: 31019
69.54/69.85 c #Conflicts: 6000 | #Constraints: 32019
69.54/69.85 c INPROCESSING
69.54/69.85 c GARBAGE COLLECT
69.54/69.85 c bounds 9711619 >= -85 @ 68.4914
69.64/69.94 c bounds 9695493 >= -85 @ 68.5806
70.13/70.47 c bounds 9664307 >= -85 @ 69.0974
71.44/71.76 c bounds 9660243 >= -85 @ 70.3508
71.63/71.93 c bounds 9659025 >= -85 @ 70.5214
71.94/72.26 c bounds 9580661 >= -85 @ 70.8458
72.04/72.31 c bounds 9574241 >= -85 @ 70.891
72.54/72.84 c bounds 9547149 >= -85 @ 71.4131
73.33/73.63 c bounds 9542765 >= -85 @ 72.1882
74.33/74.68 c #Conflicts: 7000 | #Constraints: 29757
74.33/74.68 c bounds 9541865 >= -85 @ 73.2207
74.83/75.13 c bounds 9540895 >= -85 @ 73.6683
75.42/75.72 c bounds 9531303 >= -85 @ 74.2495
81.51/81.87 c bounds 9524645 >= -85 @ 80.2865
81.71/82.01 c bounds 9502185 >= -85 @ 80.4203
85.30/85.62 c #Conflicts: 8000 | #Constraints: 30764
85.30/85.62 c bounds 9500231 >= -85 @ 83.9713
90.46/90.88 c bounds 9485567 >= -85 @ 89.0968
99.03/99.48 c #Conflicts: 9000 | #Constraints: 31774
99.03/99.48 c INPROCESSING
99.03/99.48 c GARBAGE COLLECT
99.03/99.48 c bounds 9479351 >= -85 @ 97.5415
99.33/99.72 c bounds 9476951 >= -85 @ 97.7741
99.53/99.95 c bounds 9473373 >= -85 @ 98.0064
99.73/100.16 c bounds 9462495 >= -85 @ 98.2114
100.22/100.64 c bounds 9462117 >= -85 @ 98.6789
100.33/100.73 c bounds 9451133 >= -85 @ 98.7697
101.63/102.02 c bounds 9433567 >= -85 @ 100.034
101.72/102.16 c bounds 9426543 >= -85 @ 100.173
102.82/103.22 c bounds 9423001 >= -85 @ 101.222
105.01/105.42 c bounds 9411863 >= -85 @ 103.402
113.88/114.30 c #Conflicts: 10000 | #Constraints: 30373
113.88/114.30 c bounds 9407669 >= -85 @ 112.141
116.89/117.39 c #Conflicts: 11000 | #Constraints: 31382
116.89/117.39 c bounds 9403679 >= -85 @ 115.185
123.94/124.42 c bounds 9402601 >= -85 @ 122.072
125.14/125.63 c bounds 9396889 >= -85 @ 123.253
125.24/125.75 c bounds 9396091 >= -85 @ 123.371
126.73/127.28 c bounds 9392589 >= -85 @ 124.882
127.03/127.59 c bounds 9389851 >= -85 @ 125.181
130.32/130.88 c #Conflicts: 12000 | #Constraints: 32397
130.32/130.88 c INPROCESSING
130.32/130.88 c GARBAGE COLLECT
130.32/130.88 c bounds 9370449 >= -85 @ 128.416
130.43/130.94 c bounds 9365881 >= -85 @ 128.47
132.52/133.09 c bounds 9349881 >= -85 @ 130.593
134.11/134.61 c bounds 9346115 >= -85 @ 132.099
136.40/137.00 c bounds 7464169 >= -85 @ 134.448
136.51/137.07 c bounds 7462603 >= -85 @ 134.511
136.61/137.12 c bounds 7462591 >= -85 @ 134.562
136.61/137.18 c bounds 7460127 >= -85 @ 134.618
136.70/137.23 c bounds 7458769 >= -85 @ 134.671
136.70/137.29 c bounds 7450515 >= -85 @ 134.728
136.81/137.35 c bounds 7450395 >= -85 @ 134.787
136.90/137.43 c bounds 7447809 >= -85 @ 134.866
136.90/137.49 c bounds 7443285 >= -85 @ 134.919
137.00/137.55 c bounds 7443269 >= -85 @ 134.973
139.20/139.77 c bounds 7440243 >= -85 @ 137.159
139.30/139.89 c bounds 7436453 >= -85 @ 137.282
139.40/139.97 c bounds 7435459 >= -85 @ 137.357
140.20/140.73 c #Conflicts: 13000 | #Constraints: 30806
140.20/140.73 c bounds 7409323 >= -85 @ 138.105
140.20/140.79 c bounds 7406911 >= -85 @ 138.165
140.40/141.00 c bounds 7404623 >= -85 @ 138.374
140.50/141.06 c bounds 7403839 >= -85 @ 138.441
140.60/141.19 c bounds 7395651 >= -85 @ 138.564
140.79/141.33 c bounds 7395555 >= -85 @ 138.699
140.89/141.43 c bounds 7395423 >= -85 @ 138.802
140.99/141.50 c bounds 7392857 >= -85 @ 138.876
140.99/141.57 c bounds 7389117 >= -85 @ 138.942
141.99/142.50 c bounds 7381827 >= -85 @ 139.86
142.09/142.63 c bounds 7381629 >= -85 @ 139.988
142.29/142.86 c bounds 7381371 >= -85 @ 140.212
142.49/143.02 c bounds 6608859 >= -85 @ 140.369
147.17/147.76 c bounds 5467143 >= -85 @ 145.03
147.28/147.84 c bounds 5459205 >= -85 @ 145.107
147.38/147.91 c bounds 5456613 >= -85 @ 145.181
147.48/148.05 c bounds 5450253 >= -85 @ 145.315
148.18/148.70 c bounds 5429733 >= -85 @ 145.952
148.27/148.81 c bounds 5421853 >= -85 @ 146.064
149.35/149.90 c #Conflicts: 14000 | #Constraints: 31825
149.35/149.90 c bounds 5373757 >= -85 @ 147.09
149.46/150.06 c bounds 5367469 >= -85 @ 147.244
149.65/150.28 c bounds 5364487 >= -85 @ 147.463
149.75/150.36 c bounds 5356101 >= -85 @ 147.539
150.45/151.00 c bounds 5354597 >= -85 @ 148.157
152.04/152.69 c bounds 5334817 >= -85 @ 149.813
152.14/152.79 c bounds 5291415 >= -85 @ 149.909
152.24/152.89 c bounds 5289265 >= -85 @ 150.009
154.04/154.67 c bounds 5286035 >= -85 @ 151.766
175.98/176.60 c #Conflicts: 15000 | #Constraints: 32846
175.98/176.60 c INPROCESSING
175.98/176.60 c GARBAGE COLLECT
175.98/176.60 c bounds 5274443 >= -85 @ 173.464
175.98/176.67 c bounds 5273323 >= -85 @ 173.53
176.07/176.70 c bounds 5269555 >= -85 @ 173.564
176.07/176.74 c bounds 5258725 >= -85 @ 173.599
176.48/177.13 c bounds 5257397 >= -85 @ 173.981
176.48/177.19 c bounds 5253167 >= -85 @ 174.037
176.57/177.22 c bounds 5251037 >= -85 @ 174.073
176.86/177.57 c bounds 5241777 >= -85 @ 174.415
176.97/177.65 c bounds 5240181 >= -85 @ 174.489
177.56/178.23 c bounds 5235561 >= -85 @ 175.065
178.37/179.04 c bounds 5234387 >= -85 @ 175.856
178.47/179.12 c bounds 5234041 >= -85 @ 175.934
178.47/179.16 c bounds 5231911 >= -85 @ 175.974
182.45/183.17 c bounds 5228479 >= -85 @ 179.901
182.64/183.39 c bounds 5225149 >= -85 @ 180.117
183.04/183.77 c bounds 5218999 >= -85 @ 180.489
183.14/183.85 c bounds 5205043 >= -85 @ 180.56
183.24/184.00 c bounds 5193115 >= -85 @ 180.713
184.14/184.85 c bounds 5182393 >= -85 @ 181.548
184.72/185.43 c #Conflicts: 16000 | #Constraints: 28868
184.72/185.43 c bounds 5181859 >= -85 @ 182.077
186.51/187.25 c bounds 5181625 >= -85 @ 183.875
186.82/187.58 c bounds 5179987 >= -85 @ 184.207
187.01/187.72 c bounds 5170095 >= -85 @ 184.343
187.11/187.81 c bounds 5169635 >= -85 @ 184.425
187.32/188.04 c bounds 5168867 >= -85 @ 184.655
188.81/189.56 c bounds 5162413 >= -85 @ 186.144
189.31/190.00 c bounds 5152103 >= -85 @ 186.582
189.41/190.18 c bounds 5146419 >= -85 @ 186.76
189.71/190.46 c bounds 5142123 >= -85 @ 187.033
190.30/191.10 c bounds 5141355 >= -85 @ 187.664
193.19/193.95 c bounds 5141133 >= -85 @ 190.473
193.30/194.05 c bounds 5136237 >= -85 @ 190.563
195.58/196.35 c #Conflicts: 17000 | #Constraints: 29904
195.58/196.35 c bounds 5121563 >= -85 @ 192.83
195.98/196.74 c bounds 5121329 >= -85 @ 193.221
197.09/197.83 c bounds 5117991 >= -85 @ 194.282
197.19/197.92 c bounds 5114223 >= -85 @ 194.371
199.98/200.76 c bounds 5113847 >= -85 @ 197.164
200.08/200.86 c bounds 5112853 >= -85 @ 197.262
200.18/200.97 c bounds 5112397 >= -85 @ 197.367
200.88/201.66 c bounds 5098157 >= -85 @ 198.049
206.16/206.97 c bounds 5094147 >= -85 @ 203.252
206.56/207.39 c bounds 5091789 >= -85 @ 203.671
206.76/207.59 c bounds 5090799 >= -85 @ 203.857
208.06/208.88 c #Conflicts: 18000 | #Constraints: 30939
208.06/208.88 c bounds 5089505 >= -85 @ 205.138
208.16/209.00 c bounds 5088971 >= -85 @ 205.252
208.36/209.11 c bounds 5088009 >= -85 @ 205.364
208.95/209.78 c bounds 5082325 >= -85 @ 206.018
212.04/212.88 c INPROCESSING
212.04/212.88 c GARBAGE COLLECT
212.04/212.88 c bounds 5081869 >= -85 @ 209.059
212.14/212.93 c bounds 5081335 >= -85 @ 209.105
212.14/212.98 c bounds 5079199 >= -85 @ 209.157
212.25/213.06 c bounds 5076927 >= -85 @ 209.236
212.44/213.20 c bounds 5075965 >= -85 @ 209.368
212.74/213.54 c bounds 5075331 >= -85 @ 209.705
214.53/215.30 c bounds 5065979 >= -85 @ 211.442
215.11/215.91 c bounds 5062061 >= -85 @ 212.004
216.70/217.50 c bounds 5055959 >= -85 @ 213.571
220.30/221.13 c #Conflicts: 19000 | #Constraints: 28746
220.30/221.13 c bounds 5052467 >= -85 @ 217.143
220.50/221.38 c bounds 5050633 >= -85 @ 217.393
220.70/221.54 c bounds 5050523 >= -85 @ 217.551
258.76/259.70 c #Conflicts: 20000 | #Constraints: 29763
258.76/259.70 c #Conflicts: 21000 | #Constraints: 30763
258.76/259.70 c INPROCESSING
258.76/259.70 c GARBAGE COLLECT
258.76/259.70 c #Conflicts: 22000 | #Constraints: 28536
258.76/259.70 c bounds 5026755 >= -85 @ 255.236
258.76/259.78 c bounds 5024433 >= -85 @ 255.308
259.18/260.15 c bounds 5023989 >= -85 @ 255.674
259.96/260.99 c bounds 5012387 >= -85 @ 256.514
260.07/261.08 c bounds 5012013 >= -85 @ 256.602
260.17/261.18 c bounds 5010645 >= -85 @ 256.7
260.46/261.45 c bounds 5003111 >= -85 @ 256.958
260.56/261.59 c bounds 5000789 >= -85 @ 257.102
265.16/266.16 c #Conflicts: 23000 | #Constraints: 29544
265.16/266.16 c bounds 4994429 >= -85 @ 261.603
277.60/278.68 c #Conflicts: 24000 | #Constraints: 30545
277.60/278.68 c bounds 4993529 >= -85 @ 273.899
330.44/331.62 c #Conflicts: 25000 | #Constraints: 31561
330.44/331.62 c INPROCESSING
330.44/331.62 c GARBAGE COLLECT
330.44/331.62 c #Conflicts: 26000 | #Constraints: 29066
330.44/331.62 c #Conflicts: 27000 | #Constraints: 30074
330.44/331.62 c #Conflicts: 28000 | #Constraints: 31074
330.44/331.62 c #Conflicts: 29000 | #Constraints: 32074
330.44/331.62 c INPROCESSING
330.44/331.62 c GARBAGE COLLECT
330.44/331.62 c rational objective 2.03691e+06
334.63/335.84 c bounds 4993027 >= -85 @ 330.304
334.73/335.92 c bounds 4989083 >= -85 @ 330.374
335.13/336.37 c bounds 4988059 >= -85 @ 330.813
335.33/336.59 c bounds 4983457 >= -85 @ 331.037
378.39/379.70 c #Conflicts: 30000 | #Constraints: 29432
378.39/379.70 c #Conflicts: 31000 | #Constraints: 30432
378.39/379.70 c bounds 4981307 >= -85 @ 373.545
379.28/380.65 c bounds 4979965 >= -85 @ 374.489
421.17/422.64 c #Conflicts: 32000 | #Constraints: 31434
421.17/422.64 c #Conflicts: 33000 | #Constraints: 32434
421.17/422.64 c INPROCESSING
421.17/422.64 c GARBAGE COLLECT
421.17/422.64 c #Conflicts: 34000 | #Constraints: 29594
421.17/422.64 c #Conflicts: 35000 | #Constraints: 30594
421.17/422.64 c #Conflicts: 36000 | #Constraints: 31594
421.17/422.64 c #Conflicts: 37000 | #Constraints: 32594
421.17/422.64 c INPROCESSING
421.17/422.64 c GARBAGE COLLECT
421.17/422.64 c bounds 4979547 >= -85 @ 415.894
427.25/428.76 c bounds 4978561 >= -85 @ 421.905
433.11/434.63 c #Conflicts: 38000 | #Constraints: 29627
433.11/434.63 c bounds 4973147 >= -85 @ 427.645
506.17/508.00 c #Conflicts: 39000 | #Constraints: 30628
506.17/508.00 c #Conflicts: 40000 | #Constraints: 31629
506.17/508.00 c #Conflicts: 41000 | #Constraints: 32638
506.17/508.00 c INPROCESSING
506.17/508.00 c GARBAGE COLLECT
506.17/508.00 c bounds 4972729 >= -85 @ 500.209
560.23/562.12 c #Conflicts: 42000 | #Constraints: 29443
560.23/562.12 c #Conflicts: 43000 | #Constraints: 30443
560.23/562.12 c #Conflicts: 44000 | #Constraints: 31443
560.23/562.12 c #Conflicts: 45000 | #Constraints: 32443
560.23/562.12 c #Conflicts: 46000 | #Constraints: 33443
560.23/562.12 c INPROCESSING
560.23/562.12 c GARBAGE COLLECT
560.23/562.12 WSVECS04 Frhs2[1924]: 6 -12321 0 shouldn't be
560.23/562.12 WSVECS04 Frhs2[1951]: 6 -48400 0 shouldn't be
560.23/562.12 WSVECS04 Frhs2[3538]: 6 -23409 0 shouldn't be
560.23/562.12 WSVECS04 Frhs2[4127]: 6 -23409 0 shouldn't be
560.23/562.12 WSVECS04 Frhs2[4135]: 6 -42025 0 shouldn't be
560.23/562.12 WSVECS04 Frhs2[4167]: 6 -12321 0 shouldn't be
560.23/562.12 WSVECS04 Frhs2[4303]: 6 -42025 0 shouldn't be
560.23/562.12 WSVECS04 Frhs2[6717]: 6 -48400 0 shouldn't be
560.23/562.12 WSVECS04 Frhs2[7311]: 6 0 1.00002 shouldn't be
560.23/562.12 WSVECS04 Frhs2[7319]: 6 0 1.00003 shouldn't be
560.23/562.12 WSVECS04 Frhs2[7332]: 6 0 1.00006 shouldn't be
560.23/562.12 WSVECS04 Frhs2[7338]: 6 0 1.00007 shouldn't be
560.23/562.12 WSVECS04 Frhs2[7339]: 6 0 1.00004 shouldn't be
560.23/562.12 WSVECS04 Frhs2[7340]: 6 0 1.00009 shouldn't be
560.23/562.12 WSVECS04 Frhs2[7350]: 6 0 1.00005 shouldn't be
560.23/562.12 WSVECS04 Frhs2[7355]: 6 0 1.00005 shouldn't be
560.23/562.12 WSVECS04 Frhs2[7368]: 6 0 1.00005 shouldn't be
560.23/562.12 WSVECS04 Frhs2[7371]: 6 0 1.00001 shouldn't be
560.23/562.12 WSVECS04 Frhs2[7374]: 6 0 1.00005 shouldn't be
560.23/562.12 WSVECS04 Frhs2[7382]: 6 0 1.00006 shouldn't be
560.23/562.12 WSVECS04 Frhs2[7389]: 6 0 1.00007 shouldn't be
567.50/569.40 c rational objective 2.04555e+06
772.96/775.46 c #Conflicts: 47000 | #Constraints: 30014
772.96/775.46 c #Conflicts: 48000 | #Constraints: 31014
772.96/775.46 c #Conflicts: 49000 | #Constraints: 32014
772.96/775.46 c #Conflicts: 50000 | #Constraints: 33014
772.96/775.46 c #Conflicts: 51000 | #Constraints: 34014
772.96/775.46 c INPROCESSING
772.96/775.46 c GARBAGE COLLECT
772.96/775.46 c #Conflicts: 52000 | #Constraints: 30488
772.96/775.46 c #Conflicts: 53000 | #Constraints: 31488
772.96/775.46 c #Conflicts: 54000 | #Constraints: 32488
772.96/775.46 c #Conflicts: 55000 | #Constraints: 33488
772.96/775.46 c #Conflicts: 56000 | #Constraints: 34488
772.96/775.46 c INPROCESSING
772.96/775.46 c GARBAGE COLLECT
772.96/775.46 c #Conflicts: 57000 | #Constraints: 30632
772.96/775.46 c #Conflicts: 58000 | #Constraints: 31633
772.96/775.46 c #Conflicts: 59000 | #Constraints: 32634
772.96/775.46 c #Conflicts: 60000 | #Constraints: 33634
772.96/775.46 c #Conflicts: 61000 | #Constraints: 34635
772.96/775.46 c INPROCESSING
772.96/775.46 c GARBAGE COLLECT
772.96/775.46 c rational objective 2.05374e+06
1051.42/1054.67 c #Conflicts: 62000 | #Constraints: 30559
1051.42/1054.67 c #Conflicts: 63000 | #Constraints: 31559
1051.42/1054.67 c #Conflicts: 64000 | #Constraints: 32559
1051.42/1054.67 c #Conflicts: 65000 | #Constraints: 33560
1051.42/1054.67 c #Conflicts: 66000 | #Constraints: 34564
1051.42/1054.67 c INPROCESSING
1051.42/1054.67 c GARBAGE COLLECT
1051.42/1054.67 c #Conflicts: 67000 | #Constraints: 30330
1051.42/1054.67 c #Conflicts: 68000 | #Constraints: 31334
1051.42/1054.67 c #Conflicts: 69000 | #Constraints: 32334
1051.42/1054.67 c #Conflicts: 70000 | #Constraints: 33340
1051.42/1054.67 c #Conflicts: 71000 | #Constraints: 34358
1051.42/1054.67 c #Conflicts: 72000 | #Constraints: 35367
1051.42/1054.67 c INPROCESSING
1051.42/1054.67 c GARBAGE COLLECT
1051.42/1054.67 c #Conflicts: 73000 | #Constraints: 30949
1051.42/1054.67 c #Conflicts: 74000 | #Constraints: 31949
1051.42/1054.67 c #Conflicts: 75000 | #Constraints: 32950
1051.42/1054.67 c #Conflicts: 76000 | #Constraints: 33950
1051.42/1054.67 c #Conflicts: 77000 | #Constraints: 34951
1051.42/1054.67 c #Conflicts: 78000 | #Constraints: 35953
1051.42/1054.67 c INPROCESSING
1051.42/1054.67 c GARBAGE COLLECT
1051.42/1054.67 c #Conflicts: 79000 | #Constraints: 31403
1051.42/1054.67 c #Conflicts: 80000 | #Constraints: 32403
1051.42/1054.67 c #Conflicts: 81000 | #Constraints: 33414
1051.42/1054.67 c #Conflicts: 82000 | #Constraints: 34433
1051.42/1054.67 c #Conflicts: 83000 | #Constraints: 35447
1051.42/1054.67 c #Conflicts: 84000 | #Constraints: 36477
1051.42/1054.67 c INPROCESSING
1051.42/1054.67 c GARBAGE COLLECT
1051.42/1054.67 c #Conflicts: 85000 | #Constraints: 31607
1051.42/1054.67 c #Conflicts: 86000 | #Constraints: 32620
1051.42/1054.67 c bounds 4972501 >= -85 @ 1040.9
1053.01/1056.28 c bounds 4972479 >= -85 @ 1042.48
1053.71/1056.96 c bounds 4961955 >= -85 @ 1043.16
1116.35/1119.78 c #Conflicts: 87000 | #Constraints: 33623
1116.35/1119.78 c #Conflicts: 88000 | #Constraints: 34623
1116.35/1119.78 c #Conflicts: 89000 | #Constraints: 35623
1116.35/1119.78 c #Conflicts: 90000 | #Constraints: 36624
1116.35/1119.78 c INPROCESSING
1116.35/1119.78 c GARBAGE COLLECT
1116.35/1119.78 c rational objective 2.05379e+06
1121.83/1125.21 c bounds 4953165 >= -85 @ 1110.63
1121.93/1125.34 c bounds 4950951 >= -85 @ 1110.76
1122.03/1125.49 c bounds 4945573 >= -85 @ 1110.91
1122.23/1125.63 c bounds 4945559 >= -85 @ 1111.04
1122.33/1125.74 c bounds 4936835 >= -85 @ 1111.15
1122.43/1125.82 c bounds 4927365 >= -85 @ 1111.23
1122.52/1125.90 c bounds 4914087 >= -85 @ 1111.3
1122.83/1126.21 c bounds 4910937 >= -85 @ 1111.61
1123.03/1126.48 c bounds 4903425 >= -85 @ 1111.87
1123.22/1126.65 c bounds 4897869 >= -85 @ 1112.04
1123.92/1127.35 c bounds 4897435 >= -85 @ 1112.73
1124.13/1127.51 c bounds 4880049 >= -85 @ 1112.89
1124.52/1127.93 c bounds 4878949 >= -85 @ 1113.29
1125.82/1129.24 c bounds 4872369 >= -85 @ 1114.59
1126.11/1129.57 c bounds 4854183 >= -85 @ 1114.91
1128.01/1131.47 c bounds 4852727 >= -85 @ 1116.78
1128.11/1131.59 c bounds 4840493 >= -85 @ 1116.9
1128.32/1131.75 c bounds 4835943 >= -85 @ 1117.06
1129.90/1133.38 c #Conflicts: 91000 | #Constraints: 31645
1129.90/1133.38 c bounds 4832653 >= -85 @ 1118.65
1131.61/1135.10 c bounds 4831805 >= -85 @ 1120.35
1131.80/1135.20 c bounds 4826493 >= -85 @ 1120.45
1133.10/1136.59 c bounds 4811025 >= -85 @ 1121.81
1134.18/1137.60 c bounds 4805289 >= -85 @ 1122.78
1134.38/1137.89 c bounds 4804151 >= -85 @ 1123.07
1135.18/1138.69 c bounds 4792631 >= -85 @ 1123.85
1135.88/1139.39 c bounds 4791677 >= -85 @ 1124.54
1136.28/1139.77 c bounds 4791453 >= -85 @ 1124.93
1138.68/1142.10 c bounds 4788023 >= -85 @ 1127.23
1139.47/1142.97 c bounds 4787989 >= -85 @ 1128.08
1143.36/1146.84 c #Conflicts: 92000 | #Constraints: 32666
1143.36/1146.84 c bounds 4781209 >= -85 @ 1131.92
1145.95/1149.47 c bounds 4774515 >= -85 @ 1134.52
1146.25/1149.71 c bounds 4771815 >= -85 @ 1134.76
1146.84/1150.32 c bounds 4738995 >= -85 @ 1135.36
1148.54/1152.04 c bounds 4725547 >= -85 @ 1137.07
1194.42/1198.08 c #Conflicts: 93000 | #Constraints: 33690
1194.42/1198.08 c #Conflicts: 94000 | #Constraints: 34779
1194.42/1198.08 c #Conflicts: 95000 | #Constraints: 35816
1194.42/1198.08 c #Conflicts: 96000 | #Constraints: 36935
1194.42/1198.08 c bounds 4713601 >= -85 @ 1182.56
1194.82/1198.43 c bounds 4711261 >= -85 @ 1182.9
1197.12/1200.73 c bounds 4711103 >= -85 @ 1185.18
1197.32/1200.95 c bounds 4708763 >= -85 @ 1185.4
1260.15/1263.94 c INPROCESSING
1260.15/1263.94 c GARBAGE COLLECT
1260.15/1263.94 c #Conflicts: 97000 | #Constraints: 31254
1260.15/1263.94 c #Conflicts: 98000 | #Constraints: 32257
1260.15/1263.94 c #Conflicts: 99000 | #Constraints: 33257
1260.15/1263.94 c #Conflicts: 100000 | #Constraints: 34257
1260.15/1263.94 c #Conflicts: 101000 | #Constraints: 35257
1260.15/1263.94 c bounds 4695295 >= -85 @ 1247.57
1261.45/1265.20 c #Conflicts: 102000 | #Constraints: 36275
1261.45/1265.20 c bounds 4694399 >= -85 @ 1248.8
1261.64/1265.42 c bounds 4689459 >= -85 @ 1249.02
1262.54/1266.34 c bounds 4688505 >= -85 @ 1249.93
1264.94/1268.74 c bounds 4678505 >= -85 @ 1252.31
1265.14/1268.95 c bounds 4672723 >= -85 @ 1252.52
1267.43/1271.29 c bounds 4650451 >= -85 @ 1254.84
1270.73/1274.51 c bounds 4649969 >= -85 @ 1258.02
1274.91/1278.78 c bounds 4644523 >= -85 @ 1262.23
1280.69/1284.52 c #Conflicts: 103000 | #Constraints: 37299
1280.69/1284.52 c bounds 4641209 >= -85 @ 1267.9
1288.38/1292.24 c INPROCESSING
1288.38/1292.24 c GARBAGE COLLECT
1288.38/1292.24 c bounds 4640361 >= -85 @ 1275.52
1288.98/1292.86 c bounds 4620411 >= -85 @ 1276.13
1299.35/1303.26 c #Conflicts: 104000 | #Constraints: 31743
1299.35/1303.26 c bounds 4620187 >= -85 @ 1286.38
1307.43/1311.30 c #Conflicts: 105000 | #Constraints: 32759
1307.43/1311.30 c bounds 4604607 >= -85 @ 1294.32
1309.22/1313.11 c bounds 4602103 >= -85 @ 1296.11
1413.93/1418.16 c #Conflicts: 106000 | #Constraints: 33783
1413.93/1418.16 c #Conflicts: 107000 | #Constraints: 34791
1413.93/1418.16 c #Conflicts: 108000 | #Constraints: 35791
1413.93/1418.16 c #Conflicts: 109000 | #Constraints: 36794
1413.93/1418.16 c #Conflicts: 110000 | #Constraints: 37795
1413.93/1418.16 c INPROCESSING
1413.93/1418.16 c GARBAGE COLLECT
1413.93/1418.16 c rational objective 2.05611e+06
1724.91/1729.98 c #Conflicts: 111000 | #Constraints: 32077
1724.91/1729.98 c #Conflicts: 112000 | #Constraints: 33077
1724.91/1729.98 c #Conflicts: 113000 | #Constraints: 34077
1724.91/1729.98 c #Conflicts: 114000 | #Constraints: 35077
1724.91/1729.98 c #Conflicts: 115000 | #Constraints: 36077
1724.91/1729.98 c #Conflicts: 116000 | #Constraints: 37077
1724.91/1729.98 c #Conflicts: 117000 | #Constraints: 38077
1724.91/1729.98 c INPROCESSING
1724.91/1729.98 c GARBAGE COLLECT
1724.91/1729.98 c #Conflicts: 118000 | #Constraints: 32204
1724.91/1729.98 c #Conflicts: 119000 | #Constraints: 33204
1724.91/1729.98 c #Conflicts: 120000 | #Constraints: 34204
1724.91/1729.98 c #Conflicts: 121000 | #Constraints: 35204
1724.91/1729.98 c #Conflicts: 122000 | #Constraints: 36204
1724.91/1729.98 c #Conflicts: 123000 | #Constraints: 37204
1724.91/1729.98 c #Conflicts: 124000 | #Constraints: 38204
1724.91/1729.98 c INPROCESSING
1724.91/1729.98 c GARBAGE COLLECT
1724.91/1729.98 c #Conflicts: 125000 | #Constraints: 32117
1724.91/1729.98 c #Conflicts: 126000 | #Constraints: 33117
1724.91/1729.98 c #Conflicts: 127000 | #Constraints: 34118
1724.91/1729.98 c #Conflicts: 128000 | #Constraints: 35118
1724.91/1729.98 c #Conflicts: 129000 | #Constraints: 36118
1724.91/1729.98 c #Conflicts: 130000 | #Constraints: 37118
1724.91/1729.98 c #Conflicts: 131000 | #Constraints: 38118
1724.91/1729.98 c INPROCESSING
1724.91/1729.98 c GARBAGE COLLECT
1724.91/1729.98 c rational objective 2.05624e+06
1876.73/1882.16 c #Conflicts: 132000 | #Constraints: 31885
1876.73/1882.16 c #Conflicts: 133000 | #Constraints: 32885
1876.73/1882.16 c #Conflicts: 134000 | #Constraints: 33885
1876.73/1882.16 c #Conflicts: 135000 | #Constraints: 34885
1876.73/1882.16 c #Conflicts: 136000 | #Constraints: 35886
1876.73/1882.16 c #Conflicts: 137000 | #Constraints: 36886
1876.73/1882.16 c #Conflicts: 138000 | #Constraints: 37892
1876.73/1882.16 c #Conflicts: 139000 | #Constraints: 38914
1876.73/1882.16 c INPROCESSING
1876.73/1882.16 c GARBAGE COLLECT
1876.73/1882.16 c #Conflicts: 140000 | #Constraints: 32415
1876.73/1882.16 c #Conflicts: 141000 | #Constraints: 33415
1876.73/1882.16 c #Conflicts: 142000 | #Constraints: 34415
1876.73/1882.16 c #Conflicts: 143000 | #Constraints: 35415
1876.73/1882.16 c #Conflicts: 144000 | #Constraints: 36415
1876.73/1882.16 c #Conflicts: 145000 | #Constraints: 37415
1876.73/1882.16 c #Conflicts: 146000 | #Constraints: 38415
1876.73/1882.16 c #Conflicts: 147000 | #Constraints: 39416
1876.73/1882.16 c INPROCESSING
1876.73/1882.16 c GARBAGE COLLECT
1876.73/1882.16 c rational objective 2.05637e+06
2069.92/2075.85 c #Conflicts: 148000 | #Constraints: 32780
2069.92/2075.85 c #Conflicts: 149000 | #Constraints: 33780
2069.92/2075.85 c #Conflicts: 150000 | #Constraints: 34780
2069.92/2075.85 c #Conflicts: 151000 | #Constraints: 35780
2069.92/2075.85 c #Conflicts: 152000 | #Constraints: 36781
2069.92/2075.85 c #Conflicts: 153000 | #Constraints: 37781
2069.92/2075.85 c #Conflicts: 154000 | #Constraints: 38781
2069.92/2075.85 c #Conflicts: 155000 | #Constraints: 39781
2069.92/2075.85 c INPROCESSING
2069.92/2075.85 c GARBAGE COLLECT
2069.92/2075.85 c #Conflicts: 156000 | #Constraints: 32922
2069.92/2075.85 c #Conflicts: 157000 | #Constraints: 33922
2069.92/2075.85 c #Conflicts: 158000 | #Constraints: 34922
2069.92/2075.85 c #Conflicts: 159000 | #Constraints: 35922
2069.92/2075.85 c #Conflicts: 160000 | #Constraints: 36922
2069.92/2075.85 c #Conflicts: 161000 | #Constraints: 37922
2069.92/2075.85 c #Conflicts: 162000 | #Constraints: 38922
2069.92/2075.85 c #Conflicts: 163000 | #Constraints: 39923
2069.92/2075.85 c INPROCESSING
2069.92/2075.85 c GARBAGE COLLECT
2069.92/2075.85 c #Conflicts: 164000 | #Constraints: 32790
2069.92/2075.85 c #Conflicts: 165000 | #Constraints: 33792
2069.92/2075.85 c bounds 4534513 >= -85 @ 2051.47
2070.02/2075.96 c bounds 4531853 >= -85 @ 2051.58
2070.22/2076.16 c bounds 4531013 >= -85 @ 2051.78
2073.50/2079.41 c bounds 4526575 >= -85 @ 2054.96
2075.90/2081.89 c #Conflicts: 166000 | #Constraints: 34813
2075.90/2081.89 c bounds 4513303 >= -85 @ 2057.4
2077.00/2082.98 c bounds 4507855 >= -85 @ 2058.47
2078.59/2084.55 c bounds 4499261 >= -85 @ 2060.02
2078.79/2084.70 c bounds 4498281 >= -85 @ 2060.18
2078.90/2084.83 c bounds 4495863 >= -85 @ 2060.31
2079.39/2085.38 c bounds 4494343 >= -85 @ 2060.85
2080.59/2086.51 c bounds 4481231 >= -85 @ 2061.95
2081.38/2087.31 c bounds 4468335 >= -85 @ 2062.74
2081.69/2087.66 c bounds 4467105 >= -85 @ 2063.09
2081.89/2087.83 c bounds 4465335 >= -85 @ 2063.26
2082.68/2088.61 c bounds 4451523 >= -85 @ 2064.03
2082.99/2088.97 c bounds 4448909 >= -85 @ 2064.39
2097.44/2103.44 c bounds 4442101 >= -85 @ 2078.76
2098.54/2104.51 c bounds 4435793 >= -85 @ 2079.81
2123.58/2129.68 c #Conflicts: 167000 | #Constraints: 35839
2123.58/2129.68 c #Conflicts: 168000 | #Constraints: 36839
2123.58/2129.68 c bounds 4433095 >= -85 @ 2104.69
2123.88/2129.90 c bounds 4432613 >= -85 @ 2104.91
2124.08/2130.15 c bounds 4429085 >= -85 @ 2105.16
2191.10/2197.30 c #Conflicts: 169000 | #Constraints: 37842
2191.10/2197.30 c #Conflicts: 170000 | #Constraints: 38842
2191.10/2197.30 c #Conflicts: 171000 | #Constraints: 39842
2191.10/2197.30 c INPROCESSING
2191.10/2197.30 c GARBAGE COLLECT
2191.10/2197.30 c bounds 4424045 >= -85 @ 2171.72
2192.21/2198.43 c bounds 4415053 >= -85 @ 2172.83
2192.30/2198.54 c bounds 4413023 >= -85 @ 2172.94
2196.49/2202.79 c #Conflicts: 172000 | #Constraints: 32716
2196.49/2202.79 c bounds 4412141 >= -85 @ 2177.1
2202.06/2208.36 c #Conflicts: 173000 | #Constraints: 33717
2202.06/2208.36 c bounds 4411721 >= -85 @ 2182.56
2207.35/2213.67 c bounds 4376267 >= -85 @ 2187.8
2207.45/2213.75 c bounds 4375467 >= -85 @ 2187.88
2207.65/2213.96 c bounds 4361937 >= -85 @ 2188.09
2207.94/2214.25 c bounds 4359239 >= -85 @ 2188.37
2208.25/2214.53 c bounds 4354267 >= -85 @ 2188.65
2208.94/2215.21 c #Conflicts: 174000 | #Constraints: 34723
2208.94/2215.21 c bounds 4348765 >= -85 @ 2189.32
2218.12/2224.43 c #Conflicts: 175000 | #Constraints: 35724
2218.12/2224.43 c bounds 4339315 >= -85 @ 2198.43
2286.50/2293.06 c #Conflicts: 176000 | #Constraints: 36725
2286.50/2293.06 c #Conflicts: 177000 | #Constraints: 37725
2286.50/2293.06 c #Conflicts: 178000 | #Constraints: 38725
2286.50/2293.06 c #Conflicts: 179000 | #Constraints: 39725
2286.50/2293.06 c #Conflicts: 180000 | #Constraints: 40726
2286.50/2293.06 c INPROCESSING
2286.50/2293.06 c GARBAGE COLLECT
2286.50/2293.06 c bounds 4335389 >= -85 @ 2266.43
2286.90/2293.40 c bounds 4331475 >= -85 @ 2266.76
2287.00/2293.59 c bounds 4330435 >= -85 @ 2266.95
2287.10/2293.64 c bounds 4323555 >= -85 @ 2267
2288.50/2295.05 c bounds 4320675 >= -85 @ 2268.39
2296.18/2302.77 c #Conflicts: 181000 | #Constraints: 33298
2296.18/2302.77 c bounds 4318141 >= -85 @ 2275.97
2296.38/2302.91 c bounds 4315709 >= -85 @ 2276.12
2318.62/2325.24 c #Conflicts: 182000 | #Constraints: 34327
2318.62/2325.24 c #Conflicts: 183000 | #Constraints: 35355
2318.62/2325.24 c bounds 4314205 >= -85 @ 2298.13
2324.19/2330.81 c bounds 4313939 >= -85 @ 2303.64
2388.68/2395.57 c #Conflicts: 184000 | #Constraints: 36399
2388.68/2395.57 c #Conflicts: 185000 | #Constraints: 37410
2388.68/2395.57 c #Conflicts: 186000 | #Constraints: 38442
2388.68/2395.57 c #Conflicts: 187000 | #Constraints: 39455
2388.68/2395.57 c #Conflicts: 188000 | #Constraints: 40499
2388.68/2395.57 c #Conflicts: 189000 | #Constraints: 41587
2388.68/2395.57 c INPROCESSING
2388.68/2395.57 c GARBAGE COLLECT
2388.68/2395.57 c bounds 4313533 >= -85 @ 2367.49
2404.53/2411.43 WSVECS04 Frhs2[102]: 6 -23716 0 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[303]: 6 -11664 0 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[442]: 6 -33856 0 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[558]: 6 -16900 0 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[612]: 6 -26896 0 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[686]: 6 -37249 0 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[688]: 6 -32761 0 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[690]: 6 -23716 0 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[693]: 6 -28224 0 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[701]: 6 -11449 0 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[706]: 6 -36864 0 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[737]: 6 -20164 0 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[753]: 6 -23716 0 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[898]: 6 -38809 0 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[983]: 6 -24336 0 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[1037]: 6 -16384 0 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[1122]: 6 -11449 0 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[1408]: 6 -21904 0 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[1547]: 6 -36864 0 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[1873]: 6 -24964 0 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[1875]: 6 -17689 0 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[1893]: 6 -22201 0 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[1907]: 6 -31684 0 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[1919]: 6 -30276 0 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[1929]: 6 -47524 0 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[1935]: 6 -25600 0 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[1944]: 6 -22500 0 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[1948]: 6 -21609 0 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[1954]: 6 -14641 0 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[2003]: 6 -23409 0 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[2258]: 6 -14400 0 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[2513]: 6 -51076 0 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[2652]: 6 -30976 0 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[2938]: 6 -25281 0 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[3077]: 6 -33489 0 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[3193]: 6 -8836 0 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[3533]: 6 -27556 0 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[3571]: 6 -24336 0 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[3574]: 6 -9025 0 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[3582]: 6 -11664 0 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[3585]: 6 -16900 0 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[3589]: 6 -38809 0 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[3594]: 6 -21904 0 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[3604]: 6 -38025 0 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[3606]: 6 -51076 0 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[3610]: 6 -25281 0 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[3613]: 6 -8836 0 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[3621]: 6 -16129 0 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[3625]: 6 -42436 0 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[3630]: 6 -28224 0 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[3631]: 6 -41616 0 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[3634]: 6 -18225 0 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[3642]: 6 -29584 0 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[3650]: 6 -29584 0 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[3652]: 6 -14641 0 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[3788]: 6 -9025 0 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[3958]: 6 -16129 0 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[4012]: 6 -26896 0 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[4437]: 6 -20164 0 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[4677]: 6 -17689 0 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[4808]: 6 -28224 0 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[4893]: 6 -41616 0 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[4947]: 6 -34225 0 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[5148]: 6 -18225 0 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[5967]: 6 -23716 0 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[6377]: 6 -21609 0 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[6562]: 6 -12321 0 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[6678]: 6 -29584 0 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[6848]: 6 -14641 0 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[6972]: 6 -14641 0 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[7157]: 6 -32761 0 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[7311]: 6 0 1 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[7313]: 6 0 1 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[7315]: 6 0 1 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[7316]: 6 0 1 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[7317]: 6 0 1 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[7318]: 6 0 1 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[7319]: 6 0 1 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[7320]: 6 0 1 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[7321]: 6 0 1 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[7322]: 6 0 1 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[7323]: 6 0 1 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[7324]: 6 0 1 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[7325]: 6 0 1 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[7326]: 6 0 1 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[7328]: 6 0 1 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[7329]: 6 0 1 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[7330]: 6 0 1 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[7331]: 6 0 1 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[7332]: 6 0 1 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[7333]: 6 0 1 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[7334]: 6 0 1 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[7335]: 6 0 1 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[7338]: 6 0 1 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[7339]: 6 0 1 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[7340]: 6 0 1 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[7341]: 6 0 1 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[7342]: 6 0 1 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[7343]: 6 0 1 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[7344]: 6 0 1 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[7346]: 6 0 1 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[7347]: 6 0 1 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[7348]: 6 0 1 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[7352]: 6 0 1 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[7353]: 6 0 1 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[7354]: 6 0 1 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[7355]: 6 0 1 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[7356]: 6 0 1 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[7357]: 6 0 1 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[7359]: 6 0 1 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[7360]: 6 0 1 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[7361]: 6 0 1 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[7362]: 6 0 1 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[7363]: 6 0 1 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[7364]: 6 0 1 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[7365]: 6 0 1 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[7366]: 6 0 1 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[7367]: 6 0 1 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[7368]: 6 0 1 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[7369]: 6 0 1 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[7370]: 6 0 1 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[7371]: 6 0 1 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[7372]: 6 0 1 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[7373]: 6 0 1 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[7374]: 6 0 1 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[7375]: 6 0 1 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[7376]: 6 0 1 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[7377]: 6 0 1 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[7378]: 6 0 1 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[7380]: 6 0 1 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[7382]: 6 0 1 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[7383]: 6 0 1 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[7384]: 6 0 1 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[7385]: 6 0 1 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[7387]: 6 0 1 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[7388]: 6 0 1 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[7389]: 6 0 1 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[7390]: 6 0 1 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[7391]: 6 0 1 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[7392]: 6 0 1 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[7393]: 6 0 1 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[7394]: 6 0 1 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[7395]: 6 0 1 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[8059]: 6 -46656 0 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[9197]: 6 -91125 0 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[9228]: 6 -79507 0 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[10882]: 6 -79507 0 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[10949]: 6 -132651 0 shouldn't be
2404.53/2411.43 WSVECS04 Frhs2[12883]: 6 -132651 0 shouldn't be
2434.43/2441.43 WSVECS04 Frhs2[687]: 6 -12321 0 shouldn't be
2434.43/2441.43 WSVECS04 Frhs2[696]: 6 -26896 0 shouldn't be
2434.43/2441.43 WSVECS04 Frhs2[747]: 6 -30625 0 shouldn't be
2434.43/2441.43 WSVECS04 Frhs2[751]: 6 -51984 0 shouldn't be
2434.43/2441.43 WSVECS04 Frhs2[761]: 6 -30625 0 shouldn't be
2434.43/2441.43 WSVECS04 Frhs2[2807]: 6 -24964 0 shouldn't be
2434.43/2441.43 WSVECS04 Frhs2[3600]: 6 -23409 0 shouldn't be
2434.43/2441.43 WSVECS04 Frhs2[3603]: 6 -14400 0 shouldn't be
2434.43/2441.43 WSVECS04 Frhs2[4298]: 6 -42436 0 shouldn't be
2434.43/2441.43 WSVECS04 Frhs2[7314]: 6 0 1 shouldn't be
2434.43/2441.43 WSVECS04 Frhs2[7337]: 6 0 1 shouldn't be
2434.43/2441.43 WSVECS04 Frhs2[7345]: 6 0 1 shouldn't be
2434.43/2441.43 WSVECS04 Frhs2[7349]: 6 0 1 shouldn't be
2434.43/2441.43 WSVECS04 Frhs2[7351]: 6 0 1 shouldn't be
2434.43/2441.43 WSVECS04 Frhs2[7381]: 6 0 1 shouldn't be
2434.43/2441.43 WSVECS04 Frhs2[7386]: 6 0 1 shouldn't be
2434.43/2441.43 WSVECS04 Frhs2[9249]: 6 -4913 0 shouldn't be
2434.43/2441.43 WSVECS04 Frhs2[12837]: 6 -4913 0 shouldn't be
2434.43/2441.43 WSVECS04 Frhs2[12852]: 6 -46656 0 shouldn't be
2446.11/2453.19 c bounds 4313519 >= -85 @ 2424.8
2623.64/2631.12 c #Conflicts: 190000 | #Constraints: 33948
2623.64/2631.12 c #Conflicts: 191000 | #Constraints: 34948
2623.64/2631.12 c #Conflicts: 192000 | #Constraints: 35948
2623.64/2631.12 c #Conflicts: 193000 | #Constraints: 36948
2623.64/2631.12 c #Conflicts: 194000 | #Constraints: 37948
2623.64/2631.12 c #Conflicts: 195000 | #Constraints: 38948
2623.64/2631.12 c #Conflicts: 196000 | #Constraints: 39948
2623.64/2631.12 c #Conflicts: 197000 | #Constraints: 40948
2623.64/2631.12 c #Conflicts: 198000 | #Constraints: 41948
2623.64/2631.12 c INPROCESSING
2623.64/2631.12 c GARBAGE COLLECT
2623.64/2631.12 c rational objective 2.05638e+06
3062.79/3071.56 c #Conflicts: 199000 | #Constraints: 34051
3062.79/3071.56 c #Conflicts: 200000 | #Constraints: 35051
3062.79/3071.56 c #Conflicts: 201000 | #Constraints: 36051
3062.79/3071.56 c #Conflicts: 202000 | #Constraints: 37051
3062.79/3071.56 c #Conflicts: 203000 | #Constraints: 38051
3062.79/3071.56 c #Conflicts: 204000 | #Constraints: 39051
3062.79/3071.56 c #Conflicts: 205000 | #Constraints: 40051
3062.79/3071.56 c #Conflicts: 206000 | #Constraints: 41051
3062.79/3071.56 c #Conflicts: 207000 | #Constraints: 42051
3062.79/3071.56 c INPROCESSING
3062.79/3071.56 c GARBAGE COLLECT
3062.79/3071.56 c #Conflicts: 208000 | #Constraints: 33784
3062.79/3071.56 c #Conflicts: 209000 | #Constraints: 34784
3062.79/3071.56 c #Conflicts: 210000 | #Constraints: 35784
3062.79/3071.56 c #Conflicts: 211000 | #Constraints: 36784
3062.79/3071.56 c #Conflicts: 212000 | #Constraints: 37784
3062.79/3071.56 c #Conflicts: 213000 | #Constraints: 38784
3062.79/3071.56 c #Conflicts: 214000 | #Constraints: 39784
3062.79/3071.56 c #Conflicts: 215000 | #Constraints: 40784
3062.79/3071.56 c #Conflicts: 216000 | #Constraints: 41784
3062.79/3071.56 c INPROCESSING
3062.79/3071.56 c GARBAGE COLLECT
3062.79/3071.56 c #Conflicts: 217000 | #Constraints: 33434
3062.79/3071.56 c #Conflicts: 218000 | #Constraints: 34434
3062.79/3071.56 c #Conflicts: 219000 | #Constraints: 35434
3062.79/3071.56 c #Conflicts: 220000 | #Constraints: 36434
3062.79/3071.56 c #Conflicts: 221000 | #Constraints: 37434
3062.79/3071.56 c #Conflicts: 222000 | #Constraints: 38434
3062.79/3071.56 c #Conflicts: 223000 | #Constraints: 39434
3062.79/3071.56 c #Conflicts: 224000 | #Constraints: 40434
3062.79/3071.56 c #Conflicts: 225000 | #Constraints: 41434
3062.79/3071.56 c #Conflicts: 226000 | #Constraints: 42435
3062.79/3071.56 c INPROCESSING
3062.79/3071.56 c GARBAGE COLLECT
3062.79/3071.56 c #Conflicts: 227000 | #Constraints: 33584
3062.79/3071.56 c #Conflicts: 228000 | #Constraints: 34584
3062.79/3071.56 c #Conflicts: 229000 | #Constraints: 35584
3062.79/3071.56 c #Conflicts: 230000 | #Constraints: 36584
3062.79/3071.56 c #Conflicts: 231000 | #Constraints: 37584
3062.79/3071.56 c #Conflicts: 232000 | #Constraints: 38584
3062.79/3071.56 c #Conflicts: 233000 | #Constraints: 39584
3062.79/3071.56 c #Conflicts: 234000 | #Constraints: 40584
3062.79/3071.56 c #Conflicts: 235000 | #Constraints: 41584
3062.79/3071.56 c #Conflicts: 236000 | #Constraints: 42584
3062.79/3071.56 c INPROCESSING
3062.79/3071.56 c GARBAGE COLLECT
3062.79/3071.56 c #Conflicts: 237000 | #Constraints: 34099
3062.79/3071.56 c #Conflicts: 238000 | #Constraints: 35099
3062.79/3071.56 c #Conflicts: 239000 | #Constraints: 36099
3062.79/3071.56 c #Conflicts: 240000 | #Constraints: 37099
3062.79/3071.56 c #Conflicts: 241000 | #Constraints: 38099
3062.79/3071.56 c #Conflicts: 242000 | #Constraints: 39099
3062.79/3071.56 c #Conflicts: 243000 | #Constraints: 40099
3062.79/3071.56 c #Conflicts: 244000 | #Constraints: 41099
3062.79/3071.56 c #Conflicts: 245000 | #Constraints: 42099
3062.79/3071.56 c #Conflicts: 246000 | #Constraints: 43099
3062.79/3071.56 c INPROCESSING
3062.79/3071.56 c GARBAGE COLLECT
3062.79/3071.56 c rational objective 2.08256e+06
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 (57974 MiB free)
memory of node 1: 64465 MiB (58600 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503933-1751474045/watcher-4503933-1751474045 -o /tmp/evaluation-result-4503933-1751474045/solver-4503933-1751474045 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751472596-68484 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4503933-1751474045.opb PROOFDIR/proof-4503933-1751474045
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
solver pid=68863, runsolver pid=68860
Current StackSize limit: 8192 KiB
[startup+0.100046 s]*
/proc/loadavg: 4.13 4.13 4.03 5/272 68866
/proc/meminfo: memFree=119337344/131249988 swapFree=33010672/33010684
[pid=68863] ppid=68860 vsize=4192 memory=2944 CPUtime=0.05 cores=0,2
/proc/68863/stat : 68863 (run-opt-break-l) S 68860 68863 68474 0 -1 4194304 238 9748 0 0 0 0 4 1 20 0 1 0 63082040 4292608 736 18446744073709551615 94377303343104 94377304237637 140726548771248 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94377304476688 94377304524432 94377316397056 140726548773141 140726548773342 140726548773342 140726548778944 0
/proc/68863/statm: 1048 736 672 219 0 110 0
[pid=68866] ppid=68863 vsize=58104 memory=11156 CPUtime=0.01 cores=0,2
/proc/68866/stat : 68866 (roundingsat) R 68863 68863 68474 0 -1 4194304 1618 0 0 0 1 0 0 0 20 0 1 0 63082048 59498496 2789 18446744073709551615 4227072 8923433 140732502849728 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10874880 140732502853908 140732502854184 140732502854184 140732502859754 0
/proc/68866/statm: 14526 2789 1920 1147 0 1953 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 62296 KiB
Current children cumulated memory: 14100 KiB
[startup+0.20561 s]*
/proc/loadavg: 4.13 4.13 4.03 5/272 68866
/proc/meminfo: memFree=119337344/131249988 swapFree=33010672/33010684
[pid=68863] ppid=68860 vsize=4192 memory=2944 CPUtime=0.05 cores=0,2
/proc/68863/stat : 68863 (run-opt-break-l) S 68860 68863 68474 0 -1 4194304 238 9748 0 0 0 0 4 1 20 0 1 0 63082040 4292608 736 18446744073709551615 94377303343104 94377304237637 140726548771248 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94377304476688 94377304524432 94377316397056 140726548773141 140726548773342 140726548773342 140726548778944 0
/proc/68863/statm: 1048 736 672 219 0 110 0
[pid=68866] ppid=68863 vsize=62496 memory=17580 CPUtime=0.11 cores=0,2
/proc/68866/stat : 68866 (roundingsat) R 68863 68863 68474 0 -1 4194304 2701 0 0 0 9 2 0 0 20 0 1 0 63082048 63995904 4395 18446744073709551615 4227072 8923433 140732502849728 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10874880 140732502853908 140732502854184 140732502854184 140732502859754 0
/proc/68866/statm: 15624 4395 1920 1147 0 3051 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 66688 KiB
Current children cumulated memory: 20524 KiB
[startup+0.305351 s]*
/proc/loadavg: 4.13 4.13 4.03 5/272 68866
/proc/meminfo: memFree=119304576/131249988 swapFree=33010672/33010684
[pid=68863] ppid=68860 vsize=4192 memory=2944 CPUtime=0.05 cores=0,2
/proc/68863/stat : 68863 (run-opt-break-l) S 68860 68863 68474 0 -1 4194304 238 9748 0 0 0 0 4 1 20 0 1 0 63082040 4292608 736 18446744073709551615 94377303343104 94377304237637 140726548771248 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94377304476688 94377304524432 94377316397056 140726548773141 140726548773342 140726548773342 140726548778944 0
/proc/68863/statm: 1048 736 672 219 0 110 0
[pid=68866] ppid=68863 vsize=109592 memory=50140 CPUtime=0.21 cores=0,2
/proc/68866/stat : 68866 (roundingsat) R 68863 68863 68474 0 -1 4194304 8161 0 0 0 18 3 0 0 20 0 1 0 63082048 112222208 12535 18446744073709551615 4227072 8923433 140732502849728 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10874880 140732502853908 140732502854184 140732502854184 140732502859754 0
/proc/68866/statm: 27398 12535 2272 1147 0 14825 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 113784 KiB
Current children cumulated memory: 53084 KiB
[startup+0.70018 s]
/proc/loadavg: 4.13 4.13 4.03 5/272 68866
/proc/meminfo: memFree=119293724/131249988 swapFree=33010672/33010684
[pid=68863] ppid=68860 vsize=4192 memory=2944 CPUtime=0.05 cores=0,2
/proc/68863/stat : 68863 (run-opt-break-l) S 68860 68863 68474 0 -1 4194304 238 9748 0 0 0 0 4 1 20 0 1 0 63082040 4292608 736 18446744073709551615 94377303343104 94377304237637 140726548771248 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94377304476688 94377304524432 94377316397056 140726548773141 140726548773342 140726548773342 140726548778944 0
/proc/68863/statm: 1048 736 672 219 0 110 0
[pid=68866] ppid=68863 vsize=123932 memory=66276 CPUtime=0.6 cores=0,2
/proc/68866/stat : 68866 (roundingsat) R 68863 68863 68474 0 -1 4194304 11668 0 0 0 56 4 0 0 20 0 1 0 63082048 126906368 16569 18446744073709551615 4227072 8923433 140732502849728 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10874880 140732502853908 140732502854184 140732502854184 140732502859754 0
/proc/68866/statm: 30983 16569 2304 1147 0 18410 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 128124 KiB
Current children cumulated memory: 69220 KiB
[startup+1.50016 s]
/proc/loadavg: 4.12 4.13 4.03 5/272 68866
/proc/meminfo: memFree=119280116/131249988 swapFree=33010672/33010684
[pid=68863] ppid=68860 vsize=4192 memory=2944 CPUtime=0.05 cores=0,2
/proc/68863/stat : 68863 (run-opt-break-l) S 68860 68863 68474 0 -1 4194304 238 9748 0 0 0 0 4 1 20 0 1 0 63082040 4292608 736 18446744073709551615 94377303343104 94377304237637 140726548771248 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94377304476688 94377304524432 94377316397056 140726548773141 140726548773342 140726548773342 140726548778944 0
/proc/68863/statm: 1048 736 672 219 0 110 0
[pid=68866] ppid=68863 vsize=125060 memory=67684 CPUtime=1.39 cores=0,2
/proc/68866/stat : 68866 (roundingsat) R 68863 68863 68474 0 -1 4194304 11981 0 0 0 135 4 0 0 20 0 1 0 63082048 128061440 16921 18446744073709551615 4227072 8923433 140732502849728 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10874880 140732502853908 140732502854184 140732502854184 140732502859754 0
/proc/68866/statm: 31265 16921 2336 1147 0 18692 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 129252 KiB
Current children cumulated memory: 70628 KiB
[startup+3.10522 s]
/proc/loadavg: 4.12 4.13 4.03 5/272 68866
/proc/meminfo: memFree=119252228/131249988 swapFree=33010672/33010684
[pid=68863] ppid=68860 vsize=4192 memory=2944 CPUtime=0.05 cores=0,2
/proc/68863/stat : 68863 (run-opt-break-l) S 68860 68863 68474 0 -1 4194304 238 9748 0 0 0 0 4 1 20 0 1 0 63082040 4292608 736 18446744073709551615 94377303343104 94377304237637 140726548771248 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94377304476688 94377304524432 94377316397056 140726548773141 140726548773342 140726548773342 140726548778944 0
/proc/68863/statm: 1048 736 672 219 0 110 0
[pid=68866] ppid=68863 vsize=125060 memory=69764 CPUtime=3 cores=0,2
/proc/68866/stat : 68866 (roundingsat) R 68863 68863 68474 0 -1 4194304 11985 0 0 0 295 5 0 0 20 0 1 0 63082048 128061440 17441 18446744073709551615 4227072 8923433 140732502849728 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10874880 140732502853908 140732502854184 140732502854184 140732502859754 0
/proc/68866/statm: 31265 17441 2336 1147 0 18692 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 129252 KiB
Current children cumulated memory: 72708 KiB
[startup+6.30019 s]
/proc/loadavg: 4.11 4.13 4.03 5/272 68867
/proc/meminfo: memFree=119127696/131249988 swapFree=33010672/33010684
[pid=68863] ppid=68860 vsize=4192 memory=2944 CPUtime=0.05 cores=0,2
/proc/68863/stat : 68863 (run-opt-break-l) S 68860 68863 68474 0 -1 4194304 238 9748 0 0 0 0 4 1 20 0 1 0 63082040 4292608 736 18446744073709551615 94377303343104 94377304237637 140726548771248 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94377304476688 94377304524432 94377316397056 140726548773141 140726548773342 140726548773342 140726548778944 0
/proc/68863/statm: 1048 736 672 219 0 110 0
[pid=68866] ppid=68863 vsize=184388 memory=121716 CPUtime=6.19 cores=0,2
/proc/68866/stat : 68866 (roundingsat) R 68863 68863 68474 0 -1 4194304 22927 0 0 0 606 13 0 0 20 0 1 0 63082048 188813312 30429 18446744073709551615 4227072 8923433 140732502849728 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10874880 140732502853908 140732502854184 140732502854184 140732502859754 0
/proc/68866/statm: 46097 30429 2368 1147 0 33524 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 188580 KiB
Current children cumulated memory: 124660 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.13 4.03 5/272 68867
/proc/meminfo: memFree=118876288/131249988 swapFree=33010672/33010684
[pid=68863] ppid=68860 vsize=4192 memory=2944 CPUtime=0.05 cores=0,2
/proc/68863/stat : 68863 (run-opt-break-l) S 68860 68863 68474 0 -1 4194304 238 9748 0 0 0 0 4 1 20 0 1 0 63082040 4292608 736 18446744073709551615 94377303343104 94377304237637 140726548771248 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94377304476688 94377304524432 94377316397056 140726548773141 140726548773342 140726548773342 140726548778944 0
/proc/68863/statm: 1048 736 672 219 0 110 0
[pid=68866] ppid=68863 vsize=335348 memory=258600 CPUtime=12.56 cores=0,2
/proc/68866/stat : 68866 (roundingsat) R 68863 68863 68474 0 -1 4194304 48456 0 0 0 1228 28 0 0 20 0 1 0 63082048 343396352 64650 18446744073709551615 4227072 8923433 140732502849728 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10874880 140732502853908 140732502854184 140732502854184 140732502859754 0
/proc/68866/statm: 83837 64650 2368 1147 0 71264 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 339540 KiB
Current children cumulated memory: 261544 KiB
[startup+25.5002 s]
/proc/loadavg: 4.16 4.14 4.03 5/272 68867
/proc/meminfo: memFree=118480044/131249988 swapFree=33010672/33010684
[pid=68863] ppid=68860 vsize=4192 memory=2944 CPUtime=0.05 cores=0,2
/proc/68863/stat : 68863 (run-opt-break-l) S 68860 68863 68474 0 -1 4194304 238 9748 0 0 0 0 4 1 20 0 1 0 63082040 4292608 736 18446744073709551615 94377303343104 94377304237637 140726548771248 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94377304476688 94377304524432 94377316397056 140726548773141 140726548773342 140726548773342 140726548778944 0
/proc/68863/statm: 1048 736 672 219 0 110 0
[pid=68866] ppid=68863 vsize=491644 memory=371240 CPUtime=25.34 cores=0,2
/proc/68866/stat : 68866 (roundingsat) R 68863 68863 68474 0 -1 4194304 70473 0 0 0 2486 48 0 0 20 0 1 0 63082048 503443456 92810 18446744073709551615 4227072 8923433 140732502849728 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10874880 140732502853908 140732502854184 140732502854184 140732502859754 0
/proc/68866/statm: 122911 92810 2368 1147 0 110338 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 495836 KiB
Current children cumulated memory: 374184 KiB
[startup+51.1056 s]
/proc/loadavg: 4.17 4.14 4.04 5/272 68867
/proc/meminfo: memFree=117748616/131249988 swapFree=33010672/33010684
[pid=68863] ppid=68860 vsize=4192 memory=2944 CPUtime=0.05 cores=0,2
/proc/68863/stat : 68863 (run-opt-break-l) S 68860 68863 68474 0 -1 4194304 238 9748 0 0 0 0 4 1 20 0 1 0 63082040 4292608 736 18446744073709551615 94377303343104 94377304237637 140726548771248 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94377304476688 94377304524432 94377316397056 140726548773141 140726548773342 140726548773342 140726548778944 0
/proc/68863/statm: 1048 736 672 219 0 110 0
[pid=68866] ppid=68863 vsize=661108 memory=538680 CPUtime=50.87 cores=0,2
/proc/68866/stat : 68866 (roundingsat) R 68863 68863 68474 0 -1 4194304 104248 0 0 0 5007 80 0 0 20 0 1 0 63082048 676974592 134670 18446744073709551615 4227072 8923433 140732502849728 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10874880 140732502853908 140732502854184 140732502854184 140732502859754 0
/proc/68866/statm: 165277 134670 2368 1147 0 152704 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 665300 KiB
Current children cumulated memory: 541624 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.13 4.04 5/272 68869
/proc/meminfo: memFree=116071140/131249988 swapFree=33010672/33010684
[pid=68863] ppid=68860 vsize=4192 memory=2944 CPUtime=0.05 cores=0,2
/proc/68863/stat : 68863 (run-opt-break-l) S 68860 68863 68474 0 -1 4194304 238 9748 0 0 0 0 4 1 20 0 1 0 63082040 4292608 736 18446744073709551615 94377303343104 94377304237637 140726548771248 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94377304476688 94377304524432 94377316397056 140726548773141 140726548773342 140726548773342 140726548778944 0
/proc/68863/statm: 1048 736 672 219 0 110 0
[pid=68866] ppid=68863 vsize=850000 memory=719900 CPUtime=101.88 cores=0,2
/proc/68866/stat : 68866 (roundingsat) R 68863 68863 68474 0 -1 4194304 137473 0 0 0 10031 157 0 0 20 0 1 0 63082048 870400000 179975 18446744073709551615 4227072 8923433 140732502849728 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10874880 140732502853908 140732502854184 140732502854184 140732502859754 0
/proc/68866/statm: 212500 179975 2368 1147 0 199927 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 854192 KiB
Current children cumulated memory: 722844 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.12 4.04 5/271 68871
/proc/meminfo: memFree=114267680/131249988 swapFree=33010672/33010684
[pid=68863] ppid=68860 vsize=4192 memory=2944 CPUtime=0.05 cores=0,2
/proc/68863/stat : 68863 (run-opt-break-l) S 68860 68863 68474 0 -1 4194304 238 9748 0 0 0 0 4 1 20 0 1 0 63082040 4292608 736 18446744073709551615 94377303343104 94377304237637 140726548771248 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94377304476688 94377304524432 94377316397056 140726548773141 140726548773342 140726548773342 140726548778944 0
/proc/68863/statm: 1048 736 672 219 0 110 0
[pid=68866] ppid=68863 vsize=1125944 memory=950480 CPUtime=161.66 cores=0,2
/proc/68866/stat : 68866 (roundingsat) R 68863 68863 68474 0 -1 4194304 187084 0 0 0 15925 241 0 0 20 0 1 0 63082048 1152966656 237620 18446744073709551615 4227072 8923433 140732502849728 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10874880 140732502853908 140732502854184 140732502854184 140732502859754 0
/proc/68866/statm: 281486 237620 2368 1147 0 268913 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 1130136 KiB
Current children cumulated memory: 953424 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.11 4.04 5/271 68873
/proc/meminfo: memFree=112503648/131249988 swapFree=33010672/33010684
[pid=68863] ppid=68860 vsize=4192 memory=2944 CPUtime=0.05 cores=0,2
/proc/68863/stat : 68863 (run-opt-break-l) S 68860 68863 68474 0 -1 4194304 238 9748 0 0 0 0 4 1 20 0 1 0 63082040 4292608 736 18446744073709551615 94377303343104 94377304237637 140726548771248 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94377304476688 94377304524432 94377316397056 140726548773141 140726548773342 140726548773342 140726548778944 0
/proc/68863/statm: 1048 736 672 219 0 110 0
[pid=68866] ppid=68863 vsize=1404540 memory=1103696 CPUtime=221.44 cores=0,2
/proc/68866/stat : 68866 (roundingsat) R 68863 68863 68474 0 -1 4194304 219625 0 0 0 21829 315 0 0 20 0 1 0 63082048 1438248960 275924 18446744073709551615 4227072 8923433 140732502849728 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10874880 140732502853908 140732502854184 140732502854184 140732502859754 0
/proc/68866/statm: 351135 275924 2368 1147 0 338562 0
################
# More data... #
################
/proc/68863/stat : 68863 (run-opt-break-l) S 68860 68863 68474 0 -1 4194304 238 9748 0 0 0 0 4 1 20 0 1 0 63082040 4292608 736 18446744073709551615 94377303343104 94377304237637 140726548771248 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94377304476688 94377304524432 94377316397056 140726548773141 140726548773342 140726548773342 140726548778944 0
/proc/68863/statm: 1048 736 672 219 0 110 0
[pid=68866] ppid=68863 vsize=3134248 memory=2829424 CPUtime=3213.08 cores=0,2
/proc/68866/stat : 68866 (roundingsat) R 68863 68863 68474 0 -1 4194304 497285 0 0 0 318490 2818 0 0 20 0 1 0 63082048 3209469952 707356 18446744073709551615 4227072 8923433 140732502849728 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10874880 140732502853908 140732502854184 140732502854184 140732502859754 0
/proc/68866/statm: 783562 707356 2496 1147 0 770989 0
Current children cumulated CPU time: 3213.13 s
Current children cumulated vsize: 3138440 KiB
Current children cumulated memory: 2832368 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.15 4.11 6/274 69127
/proc/meminfo: memFree=37603736/131249988 swapFree=33010672/33010684
[pid=68863] ppid=68860 vsize=4192 memory=2944 CPUtime=0.05 cores=0,2
/proc/68863/stat : 68863 (run-opt-break-l) S 68860 68863 68474 0 -1 4194304 238 9748 0 0 0 0 4 1 20 0 1 0 63082040 4292608 736 18446744073709551615 94377303343104 94377304237637 140726548771248 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94377304476688 94377304524432 94377316397056 140726548773141 140726548773342 140726548773342 140726548778944 0
/proc/68863/statm: 1048 736 672 219 0 110 0
[pid=68866] ppid=68863 vsize=3134248 memory=2829808 CPUtime=3272.91 cores=0,2
/proc/68866/stat : 68866 (roundingsat) R 68863 68863 68474 0 -1 4194304 497396 0 0 0 324451 2840 0 0 20 0 1 0 63082048 3209469952 707452 18446744073709551615 4227072 8923433 140732502849728 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10874880 140732502853908 140732502854184 140732502854184 140732502859754 0
/proc/68866/statm: 783562 707452 2496 1147 0 770989 0
Current children cumulated CPU time: 3272.96 s
Current children cumulated vsize: 3138440 KiB
Current children cumulated memory: 2832752 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.15 4.11 5/274 69130
/proc/meminfo: memFree=35339256/131249988 swapFree=33010672/33010684
[pid=68863] ppid=68860 vsize=4192 memory=2944 CPUtime=0.05 cores=0,2
/proc/68863/stat : 68863 (run-opt-break-l) S 68860 68863 68474 0 -1 4194304 238 9748 0 0 0 0 4 1 20 0 1 0 63082040 4292608 736 18446744073709551615 94377303343104 94377304237637 140726548771248 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94377304476688 94377304524432 94377316397056 140726548773141 140726548773342 140726548773342 140726548778944 0
/proc/68863/statm: 1048 736 672 219 0 110 0
[pid=68866] ppid=68863 vsize=3134248 memory=2829808 CPUtime=3332.73 cores=0,2
/proc/68866/stat : 68866 (roundingsat) R 68863 68863 68474 0 -1 4194304 497474 0 0 0 330393 2880 0 0 20 0 1 0 63082048 3209469952 707452 18446744073709551615 4227072 8923433 140732502849728 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10874880 140732502853908 140732502854184 140732502854184 140732502859754 0
/proc/68866/statm: 783562 707452 2496 1147 0 770989 0
Current children cumulated CPU time: 3332.78 s
Current children cumulated vsize: 3138440 KiB
Current children cumulated memory: 2832752 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/274 69133
/proc/meminfo: memFree=32813852/131249988 swapFree=33010672/33010684
[pid=68863] ppid=68860 vsize=4192 memory=2944 CPUtime=0.05 cores=0,2
/proc/68863/stat : 68863 (run-opt-break-l) S 68860 68863 68474 0 -1 4194304 238 9748 0 0 0 0 4 1 20 0 1 0 63082040 4292608 736 18446744073709551615 94377303343104 94377304237637 140726548771248 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94377304476688 94377304524432 94377316397056 140726548773141 140726548773342 140726548773342 140726548778944 0
/proc/68863/statm: 1048 736 672 219 0 110 0
[pid=68866] ppid=68863 vsize=3134248 memory=2831600 CPUtime=3392.54 cores=0,2
/proc/68866/stat : 68866 (roundingsat) R 68863 68863 68474 0 -1 4194304 497979 0 0 0 336317 2937 0 0 20 0 1 0 63082048 3209469952 707900 18446744073709551615 4227072 8923433 140732502849728 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10874880 140732502853908 140732502854184 140732502854184 140732502859754 0
/proc/68866/statm: 783562 707900 2496 1147 0 770989 0
Current children cumulated CPU time: 3392.59 s
Current children cumulated vsize: 3138440 KiB
Current children cumulated memory: 2834544 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/274 69135
/proc/meminfo: memFree=30054028/131249988 swapFree=33010672/33010684
[pid=68863] ppid=68860 vsize=4192 memory=2944 CPUtime=0.05 cores=0,2
/proc/68863/stat : 68863 (run-opt-break-l) S 68860 68863 68474 0 -1 4194304 238 9748 0 0 0 0 4 1 20 0 1 0 63082040 4292608 736 18446744073709551615 94377303343104 94377304237637 140726548771248 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94377304476688 94377304524432 94377316397056 140726548773141 140726548773342 140726548773342 140726548778944 0
/proc/68863/statm: 1048 736 672 219 0 110 0
[pid=68866] ppid=68863 vsize=3171424 memory=2853872 CPUtime=3452.35 cores=0,2
/proc/68866/stat : 68866 (roundingsat) R 68863 68863 68474 0 -1 4194304 503535 0 0 0 342227 3008 0 0 20 0 1 0 63082048 3247538176 713468 18446744073709551615 4227072 8923433 140732502849728 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10874880 140732502853908 140732502854184 140732502854184 140732502859754 0
/proc/68866/statm: 792856 713468 2496 1147 0 780283 0
Current children cumulated CPU time: 3452.4 s
Current children cumulated vsize: 3175616 KiB
Current children cumulated memory: 2856816 KiB
[startup+3522.3 s]
/proc/loadavg: 4.21 4.16 4.11 5/274 69184
/proc/meminfo: memFree=52197172/131249988 swapFree=33010672/33010684
[pid=68863] ppid=68860 vsize=4192 memory=2944 CPUtime=0.05 cores=0,2
/proc/68863/stat : 68863 (run-opt-break-l) S 68860 68863 68474 0 -1 4194304 238 9748 0 0 0 0 4 1 20 0 1 0 63082040 4292608 736 18446744073709551615 94377303343104 94377304237637 140726548771248 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94377304476688 94377304524432 94377316397056 140726548773141 140726548773342 140726548773342 140726548778944 0
/proc/68863/statm: 1048 736 672 219 0 110 0
[pid=68866] ppid=68863 vsize=3171424 memory=2853872 CPUtime=3512.19 cores=0,2
/proc/68866/stat : 68866 (roundingsat) R 68863 68863 68474 0 -1 4194304 503682 0 0 0 348151 3068 0 0 20 0 1 0 63082048 3247538176 713468 18446744073709551615 4227072 8923433 140732502849728 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10874880 140732502853908 140732502854184 140732502854184 140732502859754 0
/proc/68866/statm: 792856 713468 2496 1147 0 780283 0
Current children cumulated CPU time: 3512.24 s
Current children cumulated vsize: 3175616 KiB
Current children cumulated memory: 2856816 KiB
[startup+3582.3 s]
/proc/loadavg: 4.19 4.16 4.11 5/269 69213
/proc/meminfo: memFree=51964788/131249988 swapFree=33010672/33010684
[pid=68863] ppid=68860 vsize=4192 memory=2944 CPUtime=0.05 cores=0,2
/proc/68863/stat : 68863 (run-opt-break-l) S 68860 68863 68474 0 -1 4194304 238 9748 0 0 0 0 4 1 20 0 1 0 63082040 4292608 736 18446744073709551615 94377303343104 94377304237637 140726548771248 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94377304476688 94377304524432 94377316397056 140726548773141 140726548773342 140726548773342 140726548778944 0
/proc/68863/statm: 1048 736 672 219 0 110 0
[pid=68866] ppid=68863 vsize=3192600 memory=2867056 CPUtime=3572.01 cores=0,2
/proc/68866/stat : 68866 (roundingsat) R 68863 68863 68474 0 -1 4194304 507031 0 0 0 354091 3110 0 0 20 0 1 0 63082048 3269222400 716764 18446744073709551615 4227072 8923433 140732502849728 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10874880 140732502853908 140732502854184 140732502854184 140732502859754 0
/proc/68866/statm: 798150 716764 2496 1147 0 785577 0
Current children cumulated CPU time: 3572.06 s
Current children cumulated vsize: 3196792 KiB
Current children cumulated memory: 2870000 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.4 s]
/proc/loadavg: 4.20 4.16 4.11 5/269 69213
/proc/meminfo: memFree=51052608/131249988 swapFree=33010672/33010684
[pid=68863] ppid=68860 vsize=4192 memory=2944 CPUtime=0.05 cores=0,2
/proc/68863/stat : 68863 (run-opt-break-l) S 68860 68863 68474 0 -1 4194304 238 9748 0 0 0 0 4 1 20 0 1 0 63082040 4292608 736 18446744073709551615 94377303343104 94377304237637 140726548771248 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94377304476688 94377304524432 94377316397056 140726548773141 140726548773342 140726548773342 140726548778944 0
/proc/68863/statm: 1048 736 672 219 0 110 0
[pid=68866] ppid=68863 vsize=3233396 memory=2897284 CPUtime=3599.97 cores=0,2
/proc/68866/stat : 68866 (roundingsat) R 68863 68863 68474 0 -1 4194304 514107 0 0 0 356870 3127 0 0 20 0 1 0 63082048 3310997504 724321 18446744073709551615 4227072 8923433 140732502849728 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10874880 140732502853908 140732502854184 140732502854184 140732502859754 0
/proc/68866/statm: 808349 724321 2496 1147 0 795776 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 3237588 KiB
Current children cumulated memory: 2900228 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.4 s]
# the end of solver process 68863 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.048708 s, system=0.017416 s
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3621.12 s]
# the end of solver process 68866 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3570.77 s, system=32.3185 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
Dumping a history of the last processes samples
[startup+3611.2 s]
/proc/loadavg: 4.20 4.16 4.11 5/268 69213
/proc/meminfo: memFree=51036480/131249988 swapFree=33010672/33010684
[pid=68866] ppid=68860 vsize=3233396 memory=2897284 CPUtime=3600.77 cores=0,2
/proc/68866/stat : 68866 (roundingsat) R 68860 68863 68474 0 -1 4194304 514107 0 0 0 356949 3128 0 0 20 0 1 0 63082048 3310997504 724321 18446744073709551615 4227072 8923433 140732502849728 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10874880 140732502853908 140732502854184 140732502854184 140732502859754 0
/proc/68866/statm: 808349 724321 2496 1147 0 795776 0
Current cumulated CPU time of completed processes: 0.066124 s
Current children cumulated CPU time: 3600.77 s
Current children cumulated vsize: 3233396 KiB
Current children cumulated memory: 2897284 KiB
[startup+3612 s]*
/proc/loadavg: 4.18 4.16 4.11 5/268 69213
/proc/meminfo: memFree=50996424/131249988 swapFree=33010672/33010684
[pid=68866] ppid=68860 vsize=3233396 memory=2897284 CPUtime=3601.57 cores=0,2
/proc/68866/stat : 68866 (roundingsat) R 68860 68863 68474 0 -1 4194304 514107 0 0 0 357029 3128 0 0 20 0 1 0 63082048 3310997504 724321 18446744073709551615 4227072 8923433 140732502849728 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10874880 140732502853908 140732502854184 140732502854184 140732502859754 0
/proc/68866/statm: 808349 724321 2496 1147 0 795776 0
Current cumulated CPU time of completed processes: 0.066124 s
Current children cumulated CPU time: 3601.57 s
Current children cumulated vsize: 3233396 KiB
Current children cumulated memory: 2897284 KiB
[startup+3612.4 s]
/proc/loadavg: 4.18 4.16 4.11 5/268 69213
/proc/meminfo: memFree=50996424/131249988 swapFree=33010672/33010684
[pid=68866] ppid=68860 vsize=3233396 memory=2897284 CPUtime=3601.96 cores=0,2
/proc/68866/stat : 68866 (roundingsat) R 68860 68863 68474 0 -1 4194304 514107 0 0 0 357068 3128 0 0 20 0 1 0 63082048 3310997504 724321 18446744073709551615 4227072 8923433 140732502849728 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10874880 140732502853908 140732502854184 140732502854184 140732502859754 0
/proc/68866/statm: 808349 724321 2496 1147 0 795776 0
Current cumulated CPU time of completed processes: 0.066124 s
Current children cumulated CPU time: 3601.96 s
Current children cumulated vsize: 3233396 KiB
Current children cumulated memory: 2897284 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3621.12
CPU time (s): 3603.09
CPU user time (s): 3570.77
CPU system time (s): 32.3185
CPU usage (%): 99.5019
Max. virtual memory (cumulated for all children) (KiB): 3237588
Max. memory (cumulated for all children) (KiB): 2900228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3570.77
system time used= 32.3185
maximum resident set size= 2897284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 524093
page faults= 0
swaps= 0
block input operations= 0
block output operations= 75905216
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 213287
involuntary context switches= 6714
# summary of solver processes directly reported to runsolver:
# pid: 68863,68866
# total CPU time (s): 3603.09
# total CPU user time (s): 3570.77
# total CPU system time (s): 32.3185
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.43544 second user time and 16.6402 second system time
The end
Begin job on nodeC020 at 2025-07-02 18:34:05
IDJOB=4503933
IDBENCH=155611
IDSOLVER=3360
FILE ID=nodeC020/4503933-1751474045
RUNJOBID= nodeC020-1751472596-68484
SLURM_JOB_ID= 9598500
Free space on /tmp= 431996 MiB
SOLVER NAME= roundingsat+pbsuma-opt-log 63f22ad
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat85_4_27_5.opb
COMMAND LINE= run-opt-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503933-1751474045/watcher-4503933-1751474045 -o /tmp/evaluation-result-4503933-1751474045/solver-4503933-1751474045 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751472596-68484 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4503933-1751474045.opb PROOFDIR/proof-4503933-1751474045
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= be26e98499835c00c9c49f7164ad1e60
RANDOM SEED=1182290642
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.915
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.898
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 : 3598.739
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 : 3651.521
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.897
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.889
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.138
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 : 3700.000
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: 119372716 kB
MemAvailable: 128701752 kB
Buffers: 2128 kB
Cached: 10123656 kB
SwapCached: 8 kB
Active: 1542240 kB
Inactive: 9672600 kB
Active(anon): 1084620 kB
Inactive(anon): 22512 kB
Active(file): 457620 kB
Inactive(file): 9650088 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010672 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 195520 kB
Writeback: 0 kB
AnonPages: 1090248 kB
Mapped: 118152 kB
Shmem: 18048 kB
KReclaimable: 121136 kB
Slab: 217252 kB
SReclaimable: 121136 kB
SUnreclaim: 96116 kB
KernelStack: 4384 kB
PageTables: 5400 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 1487432 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150680 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 913408 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= 432008 MiB
End job on nodeC020 at 2025-07-02 19:34:26