0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.98/1.08 c #variables 125200 #constraints 257511
0.98/1.08 c objective is ce32
1.08/1.13 c initial watched CF 32, 64, 128, Arb: 50 , 0 , 0 , 0
1.08/1.13 c initial counting CF 32, 64, 128, Arb: 121376 , 0 , 0 , 0
1.08/1.13 c GLOBAL bounds - >= -50 @ 0.843525
1.48/1.54 c GLOBAL bounds - >= -50 @ 1.10383
1.58/1.66 c GLOBAL bounds - >= -50 @ 1.16012
1.67/1.78 c GLOBAL bounds - >= -50 @ 1.21105
1.88/1.90 c GLOBAL bounds - >= -50 @ 1.25579
1.98/2.02 c GLOBAL bounds - >= -50 @ 1.3059
2.08/2.14 c GLOBAL bounds - >= -50 @ 1.36397
2.17/2.26 c GLOBAL bounds - >= -50 @ 1.41463
2.27/2.37 c GLOBAL bounds - >= -50 @ 1.46944
2.37/2.49 c GLOBAL bounds - >= -50 @ 1.51758
2.57/2.61 c GLOBAL bounds - >= -50 @ 1.56487
2.67/2.73 c GLOBAL bounds - >= -50 @ 1.61466
2.77/2.85 c GLOBAL bounds - >= -50 @ 1.65758
2.87/2.97 c GLOBAL bounds - >= -50 @ 1.70495
2.98/3.09 c GLOBAL bounds - >= -50 @ 1.75235
3.17/3.24 c GLOBAL bounds - >= -50 @ 1.83066
3.27/3.36 c GLOBAL bounds - >= -50 @ 1.88357
3.37/3.48 c GLOBAL bounds - >= -50 @ 1.92903
3.57/3.60 c GLOBAL bounds - >= -50 @ 1.98093
3.67/3.72 c GLOBAL bounds - >= -50 @ 2.0206
3.77/3.84 c GLOBAL bounds - >= -50 @ 2.07753
3.87/3.96 c GLOBAL bounds - >= -50 @ 2.13194
3.98/4.08 c GLOBAL bounds - >= -50 @ 2.17661
4.17/4.20 c GLOBAL bounds - >= -50 @ 2.22162
4.27/4.32 c GLOBAL bounds - >= -50 @ 2.27121
4.37/4.45 c GLOBAL bounds - >= -50 @ 2.33922
4.47/4.57 c GLOBAL bounds - >= -50 @ 2.39108
4.57/4.69 c GLOBAL bounds - >= -50 @ 2.43527
4.77/4.81 c GLOBAL bounds - >= -50 @ 2.48807
4.87/4.93 c GLOBAL bounds - >= -50 @ 2.53837
4.97/5.05 c GLOBAL bounds - >= -50 @ 2.58256
5.07/5.17 c GLOBAL bounds - >= -50 @ 2.63841
5.27/5.31 c GLOBAL bounds - >= -50 @ 2.69031
5.36/5.43 c GLOBAL bounds - >= -50 @ 2.74153
5.47/5.55 c GLOBAL bounds - >= -50 @ 2.791
5.57/5.69 c GLOBAL bounds - >= -50 @ 2.87042
5.77/5.81 c GLOBAL bounds - >= -50 @ 2.92263
5.97/6.02 c GLOBAL bounds - >= -50 @ 3.0473
6.07/6.17 c GLOBAL bounds - >= -50 @ 3.1201
6.26/6.39 c GLOBAL bounds - >= -50 @ 3.25472
6.56/6.61 c GLOBAL bounds - >= -50 @ 3.38656
6.86/6.91 c GLOBAL bounds - >= -50 @ 3.60009
6.97/7.07 c GLOBAL bounds - >= -50 @ 3.69033
7.16/7.22 c GLOBAL bounds - >= -50 @ 3.75713
7.26/7.36 c GLOBAL bounds - >= -50 @ 3.82094
7.46/7.50 c GLOBAL bounds - >= -50 @ 3.88574
7.56/7.64 c GLOBAL bounds - >= -50 @ 3.94655
7.66/7.78 c GLOBAL bounds - >= -50 @ 4.02249
7.86/7.95 c GLOBAL bounds - >= -50 @ 4.12002
8.06/8.12 c GLOBAL bounds - >= -50 @ 4.20744
8.16/8.29 c GLOBAL bounds - >= -50 @ 4.30147
8.36/8.49 c GLOBAL bounds - >= -50 @ 4.43392
8.66/8.76 c GLOBAL bounds - >= -50 @ 4.62048
8.96/9.01 c GLOBAL bounds - >= -50 @ 4.79895
9.26/9.38 c GLOBAL bounds - >= -50 @ 5.09705
9.55/9.63 c GLOBAL bounds - >= -50 @ 5.25656
9.75/9.81 c GLOBAL bounds - >= -50 @ 5.36256
10.15/10.20 c GLOBAL bounds - >= -50 @ 5.67223
10.35/10.45 c GLOBAL bounds - >= -50 @ 5.82881
11.25/11.33 c #Conflicts: 1000 | #Constraints: 54525
11.25/11.33 c GLOBAL bounds - >= -50 @ 6.62237
11.75/11.81 c GLOBAL bounds - >= -50 @ 7.01218
12.85/12.93 c GLOBAL bounds - >= -50 @ 8.03108
13.44/13.53 c GLOBAL bounds - >= -50 @ 8.56237
13.84/13.90 c GLOBAL bounds - >= -50 @ 8.84448
14.14/14.25 c GLOBAL bounds - >= -50 @ 9.11662
15.43/15.51 c GLOBAL bounds - >= -50 @ 10.287
16.23/16.39 c GLOBAL bounds - >= -50 @ 11.0884
19.82/19.97 c #Conflicts: 2000 | #Constraints: 68647
19.82/19.97 c INPROCESSING
19.82/19.97 c GARBAGE COLLECT
19.82/19.97 c GLOBAL bounds - >= -50 @ 14.5682
20.03/20.12 c GLOBAL bounds - >= -50 @ 14.6287
20.62/20.73 c GLOBAL bounds - >= -50 @ 15.1598
20.92/21.02 c GLOBAL bounds - >= -50 @ 15.3705
21.03/21.18 c GLOBAL bounds - >= -50 @ 15.4489
21.32/21.40 c GLOBAL bounds - >= -50 @ 15.5875
21.62/21.77 c GLOBAL bounds - >= -50 @ 15.886
22.12/22.24 c GLOBAL bounds - >= -50 @ 16.2748
22.32/22.47 c GLOBAL bounds - >= -50 @ 16.439
22.71/22.80 c GLOBAL bounds - >= -50 @ 16.6832
22.82/22.95 c GLOBAL bounds - >= -50 @ 16.7549
23.11/23.26 c GLOBAL bounds - >= -50 @ 16.9755
23.32/23.48 c GLOBAL bounds - >= -50 @ 17.1299
23.51/23.67 c GLOBAL bounds - >= -50 @ 17.2509
23.72/23.82 c GLOBAL bounds - >= -50 @ 17.3205
24.01/24.12 c GLOBAL bounds - >= -50 @ 17.5487
24.31/24.46 c GLOBAL bounds - >= -50 @ 17.8189
25.31/25.45 c GLOBAL bounds - >= -50 @ 18.7182
25.61/25.73 c GLOBAL bounds - >= -50 @ 18.9119
26.01/26.13 c GLOBAL bounds - >= -50 @ 19.2446
26.31/26.47 c GLOBAL bounds - >= -50 @ 19.5008
26.80/26.96 c GLOBAL bounds - >= -50 @ 19.9146
28.00/28.17 c GLOBAL bounds - >= -50 @ 21.0472
28.91/29.05 c #Conflicts: 3000 | #Constraints: 108102
28.91/29.05 c GLOBAL bounds - >= -50 @ 21.8347
29.99/30.19 c GLOBAL bounds - >= -50 @ 22.8874
30.50/30.63 c GLOBAL bounds - >= -50 @ 23.2443
31.09/31.27 c GLOBAL bounds - >= -50 @ 23.8146
32.49/32.60 c GLOBAL bounds - >= -50 @ 25.0691
33.09/33.29 c GLOBAL bounds - >= -50 @ 25.659
34.38/34.52 c GLOBAL bounds - >= -50 @ 26.7852
42.06/42.23 c #Conflicts: 4000 | #Constraints: 121480
42.06/42.23 c GLOBAL bounds - >= -50 @ 34.3665
42.45/42.65 c GLOBAL bounds - >= -50 @ 34.7079
44.05/44.25 c INPROCESSING
44.05/44.25 c GARBAGE COLLECT
44.05/44.25 c GLOBAL bounds - >= -50 @ 36.226
44.86/45.10 c GLOBAL bounds - >= -50 @ 36.9933
47.74/47.96 c GLOBAL bounds - >= -50 @ 39.767
48.33/48.50 c GLOBAL bounds - >= -50 @ 40.2227
49.23/49.47 c GLOBAL bounds - >= -50 @ 41.108
50.04/50.28 c GLOBAL bounds - >= -50 @ 41.8275
50.53/50.74 c GLOBAL bounds - >= -50 @ 42.2225
52.53/52.79 c #Conflicts: 5000 | #Constraints: 137005
52.53/52.79 c GLOBAL bounds - >= -50 @ 44.1795
52.82/53.08 c GLOBAL bounds - >= -50 @ 44.3988
54.02/54.28 c GLOBAL bounds - >= -50 @ 45.5243
54.51/54.72 c GLOBAL bounds - >= -50 @ 45.8803
58.51/58.75 c GLOBAL bounds - >= -50 @ 49.8198
59.50/59.76 c GLOBAL bounds - >= -50 @ 50.7363
60.00/60.20 c GLOBAL bounds - >= -50 @ 51.1096
60.40/60.68 c GLOBAL bounds - >= -50 @ 51.4975
67.67/67.95 c #Conflicts: 6000 | #Constraints: 152641
67.67/67.95 c GLOBAL bounds - >= -50 @ 58.6079
69.08/69.33 c GLOBAL bounds - >= -50 @ 59.9057
70.27/70.50 c GLOBAL bounds - >= -50 @ 60.9873
71.06/71.35 c GLOBAL bounds - >= -50 @ 61.76
72.66/73.00 c GLOBAL bounds - >= -50 @ 63.2943
73.56/73.87 c INPROCESSING
73.56/73.87 c GARBAGE COLLECT
73.56/73.87 c GLOBAL bounds - >= -50 @ 64.0837
74.05/74.34 c GLOBAL bounds - >= -50 @ 64.468
75.05/75.31 c GLOBAL bounds - >= -50 @ 65.3695
76.05/76.39 c GLOBAL bounds - >= -50 @ 66.3454
77.14/77.45 c GLOBAL bounds - >= -50 @ 67.3183
77.34/77.68 c GLOBAL bounds - >= -50 @ 67.4837
78.14/78.44 c #Conflicts: 7000 | #Constraints: 172417
78.14/78.44 c GLOBAL bounds - >= -50 @ 68.1547
78.44/78.74 c GLOBAL bounds - >= -50 @ 68.388
78.64/78.92 c GLOBAL bounds - >= -50 @ 68.4923
79.24/79.52 c GLOBAL bounds - >= -50 @ 69.0102
79.63/79.90 c GLOBAL bounds - >= -50 @ 69.3051
80.14/80.43 c GLOBAL bounds - >= -50 @ 69.7616
81.23/81.52 c GLOBAL bounds - >= -50 @ 70.7621
82.53/82.88 c GLOBAL bounds - >= -50 @ 72.0432
83.13/83.43 c GLOBAL bounds - >= -50 @ 72.5028
83.73/84.06 c GLOBAL bounds - >= -50 @ 73.0524
85.32/85.62 c GLOBAL bounds - >= -50 @ 74.5352
85.92/86.28 c GLOBAL bounds - >= -50 @ 75.1045
92.10/92.47 c #Conflicts: 8000 | #Constraints: 196593
92.10/92.47 c GLOBAL bounds - >= -50 @ 81.1863
92.71/93.07 c GLOBAL bounds - >= -50 @ 81.7101
92.89/93.26 c GLOBAL bounds - >= -50 @ 81.8352
93.70/94.06 c GLOBAL bounds - >= -50 @ 82.5411
94.80/95.19 c GLOBAL bounds - >= -50 @ 83.5892
97.28/97.61 c GLOBAL bounds - >= -50 @ 85.9194
103.56/103.96 c GLOBAL bounds - >= -50 @ 92.1473
104.67/105.07 c GLOBAL bounds - >= -50 @ 93.1765
115.33/115.77 c #Conflicts: 9000 | #Constraints: 213171
115.33/115.77 c INPROCESSING
115.33/115.77 c GARBAGE COLLECT
115.33/115.77 c GLOBAL bounds - >= -50 @ 103.736
115.53/115.94 c GLOBAL bounds - >= -50 @ 103.819
115.92/116.39 c GLOBAL bounds - >= -50 @ 104.203
116.33/116.73 c GLOBAL bounds - >= -50 @ 104.449
117.32/117.73 c GLOBAL bounds - >= -50 @ 105.366
118.12/118.54 c GLOBAL bounds - >= -50 @ 106.099
120.21/120.67 c GLOBAL bounds - >= -50 @ 108.138
124.30/124.78 c #Conflicts: 10000 | #Constraints: 225550
124.30/124.78 c GLOBAL bounds - >= -50 @ 112.142
127.59/128.06 c GLOBAL bounds - >= -50 @ 115.337
127.99/128.48 c GLOBAL bounds - >= -50 @ 115.675
131.08/131.55 c GLOBAL bounds - >= -50 @ 118.65
133.17/133.66 c GLOBAL bounds - >= -50 @ 120.676
134.06/134.50 c #Conflicts: 11000 | #Constraints: 236382
134.06/134.50 c GLOBAL bounds - >= -50 @ 121.439
135.36/135.88 c GLOBAL bounds - >= -50 @ 122.74
138.26/138.75 c GLOBAL bounds - >= -50 @ 125.516
138.85/139.33 c GLOBAL bounds - >= -50 @ 126.017
140.24/140.77 c GLOBAL bounds - >= -50 @ 127.37
140.75/141.27 c GLOBAL bounds - >= -50 @ 127.795
143.44/143.99 c GLOBAL bounds - >= -50 @ 130.413
145.63/146.12 c GLOBAL bounds - >= -50 @ 132.451
146.54/147.03 c GLOBAL bounds - >= -50 @ 133.271
163.27/163.89 c #Conflicts: 12000 | #Constraints: 255100
163.27/163.89 c INPROCESSING
163.27/163.89 c GARBAGE COLLECT
163.27/163.89 c GLOBAL bounds - >= -50 @ 149.951
197.57/198.28 c #Conflicts: 13000 | #Constraints: 255524
197.57/198.28 c #Conflicts: 14000 | #Constraints: 256524
197.57/198.28 c #Conflicts: 15000 | #Constraints: 257524
197.57/198.28 c INPROCESSING
197.57/198.28 c GARBAGE COLLECT
197.57/198.28 c GLOBAL bounds - >= -50 @ 184.101
209.33/210.02 c #Conflicts: 16000 | #Constraints: 257731
209.33/210.02 c GLOBAL bounds - >= -50 @ 195.706
211.52/212.20 c GLOBAL bounds - >= -50 @ 197.807
283.89/284.82 c #Conflicts: 17000 | #Constraints: 262709
283.89/284.82 c #Conflicts: 18000 | #Constraints: 263709
283.89/284.82 c INPROCESSING
283.89/284.82 c GARBAGE COLLECT
283.89/284.82 c #Conflicts: 19000 | #Constraints: 261714
283.89/284.82 c #Conflicts: 20000 | #Constraints: 262714
283.89/284.82 c GLOBAL bounds - >= -50 @ 270.007
284.09/285.05 c GLOBAL bounds - >= -50 @ 270.15
287.28/288.29 c #Conflicts: 21000 | #Constraints: 267758
287.28/288.29 c GLOBAL bounds - >= -50 @ 273.27
293.96/294.93 c GLOBAL bounds - >= -50 @ 279.773
301.34/302.32 c INPROCESSING
301.34/302.32 c GARBAGE COLLECT
301.34/302.32 c GLOBAL bounds - >= -50 @ 287.044
320.27/321.31 c #Conflicts: 22000 | #Constraints: 271682
320.27/321.31 c #Conflicts: 23000 | #Constraints: 272682
320.27/321.31 c GLOBAL bounds - >= -50 @ 305.861
352.97/354.12 c #Conflicts: 24000 | #Constraints: 275726
352.97/354.12 c GLOBAL bounds - >= -50 @ 338.436
390.24/391.50 c #Conflicts: 25000 | #Constraints: 278770
390.24/391.50 c INPROCESSING
390.24/391.50 c GARBAGE COLLECT
390.24/391.50 c #Conflicts: 26000 | #Constraints: 276394
390.24/391.50 c #Conflicts: 27000 | #Constraints: 277394
390.24/391.50 c GLOBAL bounds - >= -50 @ 375.554
391.94/393.29 c GLOBAL bounds - >= -50 @ 377.254
394.83/396.17 c GLOBAL bounds - >= -50 @ 380.038
555.40/557.25 c #Conflicts: 28000 | #Constraints: 284532
555.40/557.25 c #Conflicts: 29000 | #Constraints: 285532
555.40/557.25 c INPROCESSING
555.40/557.25 c GARBAGE COLLECT
555.40/557.25 c #Conflicts: 30000 | #Constraints: 282939
555.40/557.25 c #Conflicts: 31000 | #Constraints: 283939
555.40/557.25 c #Conflicts: 32000 | #Constraints: 284939
555.40/557.25 c #Conflicts: 33000 | #Constraints: 285939
555.40/557.25 c INPROCESSING
555.40/557.25 c GARBAGE COLLECT
555.40/557.25 c #Conflicts: 34000 | #Constraints: 283145
555.40/557.25 c #Conflicts: 35000 | #Constraints: 284145
555.40/557.25 c GLOBAL bounds - >= -50 @ 540.359
651.68/653.85 c #Conflicts: 36000 | #Constraints: 287191
651.68/653.85 c #Conflicts: 37000 | #Constraints: 288191
651.68/653.85 c INPROCESSING
651.68/653.85 c GARBAGE COLLECT
651.68/653.85 c #Conflicts: 38000 | #Constraints: 285183
651.68/653.85 c #Conflicts: 39000 | #Constraints: 286183
651.68/653.85 c GLOBAL bounds - >= -50 @ 636.503
986.14/989.29 c #Conflicts: 40000 | #Constraints: 289231
986.14/989.29 c #Conflicts: 41000 | #Constraints: 290231
986.14/989.29 c INPROCESSING
986.14/989.29 c GARBAGE COLLECT
986.14/989.29 c #Conflicts: 42000 | #Constraints: 287036
986.14/989.29 c #Conflicts: 43000 | #Constraints: 288036
986.14/989.29 c #Conflicts: 44000 | #Constraints: 289036
986.14/989.29 c #Conflicts: 45000 | #Constraints: 290036
986.14/989.29 c #Conflicts: 46000 | #Constraints: 291036
986.14/989.29 c INPROCESSING
986.14/989.29 c GARBAGE COLLECT
986.14/989.29 c #Conflicts: 47000 | #Constraints: 287637
986.14/989.29 c #Conflicts: 48000 | #Constraints: 288637
986.14/989.29 c #Conflicts: 49000 | #Constraints: 289637
986.14/989.29 c #Conflicts: 50000 | #Constraints: 290637
986.14/989.29 c #Conflicts: 51000 | #Constraints: 291637
986.14/989.29 c INPROCESSING
986.14/989.29 c GARBAGE COLLECT
986.14/989.29 c #Conflicts: 52000 | #Constraints: 288044
986.14/989.29 c #Conflicts: 53000 | #Constraints: 289044
986.14/989.29 c #Conflicts: 54000 | #Constraints: 290044
986.14/989.29 c #Conflicts: 55000 | #Constraints: 291044
986.14/989.29 c GLOBAL bounds - >= -50 @ 970.591
1082.28/1085.62 c #Conflicts: 56000 | #Constraints: 294092
1082.28/1085.62 c INPROCESSING
1082.28/1085.62 c GARBAGE COLLECT
1082.28/1085.62 c #Conflicts: 57000 | #Constraints: 290290
1082.28/1085.62 c #Conflicts: 58000 | #Constraints: 291290
1082.28/1085.62 c #Conflicts: 59000 | #Constraints: 292290
1082.28/1085.62 c GLOBAL bounds - >= -50 @ 1066.53
1198.76/1202.48 c #Conflicts: 60000 | #Constraints: 295338
1198.76/1202.48 c #Conflicts: 61000 | #Constraints: 296338
1198.76/1202.48 c INPROCESSING
1198.76/1202.48 c GARBAGE COLLECT
1198.76/1202.48 c #Conflicts: 62000 | #Constraints: 292338
1198.76/1202.48 c #Conflicts: 63000 | #Constraints: 293338
1198.76/1202.48 c #Conflicts: 64000 | #Constraints: 294338
1198.76/1202.48 c GLOBAL bounds - >= -50 @ 1182.94
1199.66/1203.38 c GLOBAL bounds - >= -50 @ 1183.75
1317.94/1321.97 c #Conflicts: 65000 | #Constraints: 299450
1317.94/1321.97 c #Conflicts: 66000 | #Constraints: 300450
1317.94/1321.97 c INPROCESSING
1317.94/1321.97 c GARBAGE COLLECT
1317.94/1321.97 c #Conflicts: 67000 | #Constraints: 296250
1317.94/1321.97 c #Conflicts: 68000 | #Constraints: 297250
1317.94/1321.97 c #Conflicts: 69000 | #Constraints: 298250
1317.94/1321.97 c GLOBAL bounds - >= -50 @ 1301.87
1338.88/1342.95 c #Conflicts: 70000 | #Constraints: 301314
1338.88/1342.95 c GLOBAL bounds - >= -50 @ 1322.71
1342.27/1346.32 c GLOBAL bounds - >= -50 @ 1325.99
1357.63/1361.73 c #Conflicts: 71000 | #Constraints: 306442
1357.63/1361.73 c GLOBAL bounds - >= -50 @ 1341.26
1359.62/1363.73 c GLOBAL bounds - >= -50 @ 1343.17
1361.92/1366.04 c GLOBAL bounds - >= -50 @ 1345.4
1368.10/1372.26 c GLOBAL bounds - >= -50 @ 1351.52
1398.92/1403.16 c #Conflicts: 72000 | #Constraints: 315744
1398.92/1403.16 c INPROCESSING
1398.92/1403.16 c GARBAGE COLLECT
1398.92/1403.16 c GLOBAL bounds - >= -50 @ 1382.21
1432.02/1436.40 c #Conflicts: 73000 | #Constraints: 313434
1432.02/1436.40 c #Conflicts: 74000 | #Constraints: 314434
1432.02/1436.40 c GLOBAL bounds - >= -50 @ 1415.24
1453.36/1457.77 c #Conflicts: 75000 | #Constraints: 317524
1453.36/1457.77 c GLOBAL bounds - >= -50 @ 1436.46
1454.46/1458.81 c GLOBAL bounds - >= -50 @ 1437.41
1457.85/1462.27 c GLOBAL bounds - >= -50 @ 1440.78
2025.71/2031.66 c #Conflicts: 76000 | #Constraints: 324828
2025.71/2031.66 c #Conflicts: 77000 | #Constraints: 325828
2025.71/2031.66 c #Conflicts: 78000 | #Constraints: 326828
2025.71/2031.66 c INPROCESSING
2025.71/2031.66 c GARBAGE COLLECT
2025.71/2031.66 c #Conflicts: 79000 | #Constraints: 322229
2025.71/2031.66 c #Conflicts: 80000 | #Constraints: 323229
2025.71/2031.66 c #Conflicts: 81000 | #Constraints: 324229
2025.71/2031.66 c #Conflicts: 82000 | #Constraints: 325229
2025.71/2031.66 c #Conflicts: 83000 | #Constraints: 326229
2025.71/2031.66 c #Conflicts: 84000 | #Constraints: 327229
2025.71/2031.66 c INPROCESSING
2025.71/2031.66 c GARBAGE COLLECT
2025.71/2031.66 c #Conflicts: 85000 | #Constraints: 322416
2025.71/2031.66 c #Conflicts: 86000 | #Constraints: 323416
2025.71/2031.66 c #Conflicts: 87000 | #Constraints: 324416
2025.71/2031.66 c #Conflicts: 88000 | #Constraints: 325416
2025.71/2031.66 c #Conflicts: 89000 | #Constraints: 326416
2025.71/2031.66 c #Conflicts: 90000 | #Constraints: 327416
2025.71/2031.66 c INPROCESSING
2025.71/2031.66 c GARBAGE COLLECT
2025.71/2031.66 c #Conflicts: 91000 | #Constraints: 322421
2025.71/2031.66 c #Conflicts: 92000 | #Constraints: 323421
2025.71/2031.66 c #Conflicts: 93000 | #Constraints: 324421
2025.71/2031.66 c #Conflicts: 94000 | #Constraints: 325421
2025.71/2031.66 c #Conflicts: 95000 | #Constraints: 326421
2025.71/2031.66 c #Conflicts: 96000 | #Constraints: 327421
2025.71/2031.66 c INPROCESSING
2025.71/2031.66 c GARBAGE COLLECT
2025.71/2031.66 c #Conflicts: 97000 | #Constraints: 322217
2025.71/2031.66 c #Conflicts: 98000 | #Constraints: 323217
2025.71/2031.66 c GLOBAL bounds - >= -50 @ 2008.26
2379.89/2386.74 c #Conflicts: 99000 | #Constraints: 326321
2379.89/2386.74 c #Conflicts: 100000 | #Constraints: 327321
2379.89/2386.74 c #Conflicts: 101000 | #Constraints: 328321
2379.89/2386.74 c #Conflicts: 102000 | #Constraints: 329321
2379.89/2386.74 c #Conflicts: 103000 | #Constraints: 330321
2379.89/2386.74 c INPROCESSING
2379.89/2386.74 c GARBAGE COLLECT
2379.89/2386.74 c #Conflicts: 104000 | #Constraints: 324917
2379.89/2386.74 c #Conflicts: 105000 | #Constraints: 325917
2379.89/2386.74 c #Conflicts: 106000 | #Constraints: 326917
2379.89/2386.74 c #Conflicts: 107000 | #Constraints: 327917
2379.89/2386.74 c #Conflicts: 108000 | #Constraints: 328917
2379.89/2386.74 c #Conflicts: 109000 | #Constraints: 329917
2379.89/2386.74 c #Conflicts: 110000 | #Constraints: 330917
2379.89/2386.74 c INPROCESSING
2379.89/2386.74 c GARBAGE COLLECT
2379.89/2386.74 c #Conflicts: 111000 | #Constraints: 325318
2379.89/2386.74 c #Conflicts: 112000 | #Constraints: 326318
2379.89/2386.74 c GLOBAL bounds - >= -50 @ 2362.18
3600.08/3610.15 c #Conflicts: 113000 | #Constraints: 329422
3600.08/3610.15 c #Conflicts: 114000 | #Constraints: 330422
3600.08/3610.15 c #Conflicts: 115000 | #Constraints: 331422
3600.08/3610.15 c #Conflicts: 116000 | #Constraints: 332422
3600.08/3610.15 c #Conflicts: 117000 | #Constraints: 333422
3600.08/3610.15 c INPROCESSING
3600.08/3610.15 c GARBAGE COLLECT
3600.08/3610.15 c #Conflicts: 118000 | #Constraints: 327612
3600.08/3610.15 c #Conflicts: 119000 | #Constraints: 328612
3600.08/3610.15 c #Conflicts: 120000 | #Constraints: 329612
3600.08/3610.15 c #Conflicts: 121000 | #Constraints: 330612
3600.08/3610.15 c #Conflicts: 122000 | #Constraints: 331612
3600.08/3610.15 c #Conflicts: 123000 | #Constraints: 332612
3600.08/3610.15 c #Conflicts: 124000 | #Constraints: 333612
3600.08/3610.15 c INPROCESSING
3600.08/3610.15 c GARBAGE COLLECT
3600.08/3610.15 c #Conflicts: 125000 | #Constraints: 327616
3600.08/3610.15 c #Conflicts: 126000 | #Constraints: 328616
3600.08/3610.15 c #Conflicts: 127000 | #Constraints: 329616
3600.08/3610.15 c #Conflicts: 128000 | #Constraints: 330616
3600.08/3610.15 c #Conflicts: 129000 | #Constraints: 331616
3600.08/3610.15 c #Conflicts: 130000 | #Constraints: 332616
3600.08/3610.15 c #Conflicts: 131000 | #Constraints: 333616
3600.08/3610.15 c INPROCESSING
3600.08/3610.15 c GARBAGE COLLECT
3600.08/3610.15 c #Conflicts: 132000 | #Constraints: 327423
3600.08/3610.15 c #Conflicts: 133000 | #Constraints: 328423
3600.08/3610.15 c #Conflicts: 134000 | #Constraints: 329423
3600.08/3610.15 c #Conflicts: 135000 | #Constraints: 330423
3600.08/3610.15 c #Conflicts: 136000 | #Constraints: 331423
3600.08/3610.15 c #Conflicts: 137000 | #Constraints: 332423
3600.08/3610.15 c #Conflicts: 138000 | #Constraints: 333423
3600.08/3610.15 c #Conflicts: 139000 | #Constraints: 334423
3600.08/3610.15 c INPROCESSING
3600.08/3610.15 c GARBAGE COLLECT
3600.08/3610.15 c #Conflicts: 140000 | #Constraints: 328041
3600.08/3610.15 c #Conflicts: 141000 | #Constraints: 329041
3600.08/3610.15 c #Conflicts: 142000 | #Constraints: 330041
3600.08/3610.15 c #Conflicts: 143000 | #Constraints: 331041
3600.08/3610.15 c #Conflicts: 144000 | #Constraints: 332041
3600.08/3610.15 c #Conflicts: 145000 | #Constraints: 333041
3600.08/3610.15 c #Conflicts: 146000 | #Constraints: 334041
3600.08/3610.15 c #Conflicts: 147000 | #Constraints: 335041
3600.08/3610.15 c INPROCESSING
3600.08/3610.15 c GARBAGE COLLECT
3600.08/3610.15 c #Conflicts: 148000 | #Constraints: 328442
3600.08/3610.15 c #Conflicts: 149000 | #Constraints: 329442
3600.08/3610.15 c #Conflicts: 150000 | #Constraints: 330442
3600.08/3610.15 c #Conflicts: 151000 | #Constraints: 331442
3600.08/3610.15 c #Conflicts: 152000 | #Constraints: 332442
3600.08/3610.15 c cpu time 3581.94 s
3600.08/3610.15 c deterministic time 179 1.79e+02
3600.08/3610.15 c optimization time 3581.13 s
3600.08/3610.15 c total solve time 0 s
3600.08/3610.15 c core-guided solve time 0 s
3600.08/3610.15 c propagation time 0.077179 s
3600.08/3610.15 c conflict analysis time 0 s
3600.08/3610.15 c propagations 150
3600.08/3610.15 c resolve steps 0
3600.08/3610.15 c decisions 0
3600.08/3610.15 c conflicts 0
3600.08/3610.15 c restarts 0
3600.08/3610.15 c inprocessing phases 0
3600.08/3610.15 c garbage collections 0 ,( -nan )
3600.08/3610.15 c input clauses 136076 ,( 52.84 )
3600.08/3610.15 c input cardinalities 10 ,( 0.00 )
3600.08/3610.15 c input general constraints 121425 ,( 47.15 )
3600.08/3610.15 c input average constraint length 3.89
3600.08/3610.15 c input average constraint degree 1.94
3600.08/3610.15 c learned clauses 0 ,( 0.00 )
3600.08/3610.15 c learned cardinalities 0 ,( 0.00 )
3600.08/3610.15 c learned general constraints 0 ,( 0.00 )
3600.08/3610.15 c learned average constraint length 0.00
3600.08/3610.15 c learned average constraint degree 0.00
3600.08/3610.15 c watched CF 32, 64, 128, Arb: 50 , 0 , 0 , 0
3600.08/3610.15 c counting CF 32, 64, 128, Arb: 121376 , 0 , 0 , 0
3600.08/3610.15 c watched constraints 50 ,( 0.04 )
3600.08/3610.15 c counting constraints 121375 ,( 99.96 )
3600.08/3610.15 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 2 , 0 , 12 ,( 12 , 0 )
3600.08/3610.15 c gcd simplifications 0
3600.08/3610.15 c detected cardinalities 0
3600.08/3610.15 c weakened non-implied lits 0
3600.08/3610.15 c weakened non-implying lits 0
3600.08/3610.15 c original variables 125200
3600.08/3610.15 c clausal propagations 0
3600.08/3610.15 c cardinality propagations 0
3600.08/3610.15 c watched propagations 0
3600.08/3610.15 c counting propagations 0
3600.08/3610.15 c watch lookups 14
3600.08/3610.15 c watch backjump lookups 0
3600.08/3610.15 c watch checks 14
3600.08/3610.15 c propagation checks 0
3600.08/3610.15 c constraint additions 0
3600.08/3610.15 c trail pops 0
3600.08/3610.15 c formula constraints 257511
3600.08/3610.15 c learned constraints 0
3600.08/3610.15 c bound constraints 0
3600.08/3610.15 c core-guided constraints 0
3600.08/3610.15 c encountered formula constraints 0
3600.08/3610.15 c encountered learned constraints 0
3600.08/3610.15 c encountered bound constraints 0
3600.08/3610.15 c encountered core-guided constraints 0
3600.08/3610.15 c LP total time 0 s
3600.08/3610.15 c LP solve time 0 s
3600.08/3610.15 c LP constraints added 0
3600.08/3610.15 c LP constraints removed 0
3600.08/3610.15 c LP pivots internal 0
3600.08/3610.15 c LP pivots root 0
3600.08/3610.15 c LP calls 0
3600.08/3610.15 c LP optimalities 0
3600.08/3610.15 c LP no pivot count 0
3600.08/3610.15 c LP infeasibilities 0
3600.08/3610.15 c LP valid Farkas constraints 0
3600.08/3610.15 c LP learned Farkas constraints 0
3600.08/3610.15 c LP basis resets 0
3600.08/3610.15 c LP cycling count 0
3600.08/3610.15 c LP singular count 0
3600.08/3610.15 c LP no primal count 0
3600.08/3610.15 c LP no farkas count 0
3600.08/3610.15 c LP other issue count 0
3600.08/3610.15 c LP Gomory cuts 0
3600.08/3610.15 c LP learned cuts 0
3600.08/3610.15 c LP deleted cuts 0
3600.08/3610.15 c LP encountered Gomory constraints 0
3600.08/3610.15 c LP encountered Farkas constraints 0
3600.08/3610.15 c LP encountered learned Farkas constraints 0
3600.08/3610.15 c CG auxiliary variables introduced 0
3600.08/3610.15 c CG solutions found 0
3600.08/3610.15 c CG cores constructed 0
3600.08/3610.15 c CG core cardinality constraints returned 0
3600.08/3610.15 c CG unit cores 0
3600.08/3610.15 c CG single cores 0
3600.08/3610.15 c CG blocks removed during cardinality reduction 0
3600.08/3610.15 c CG first core best 0
3600.08/3610.15 c CG decision core best 0
3600.08/3610.15 c CG core reduction tie 0
3600.08/3610.15 c CG core degree average 0.00
3600.08/3610.15 c CG core slack average 0.00
3600.08/3610.15 c CG core upper bound improvements 0
3600.08/3610.15 c STR number of successful calls 0
3600.08/3610.15 c STR number of unsuccessful calls 0
3600.08/3610.15 c STR number of inconclusive calls 0
3600.08/3610.15 c STR number of successful attempts 0
3600.08/3610.15 c STR number of unsuccessful attempts 0
3600.08/3610.15 c STR number of inconclusive attempts 0
3600.08/3610.15 c STR average degree increase per successful call inf
3600.08/3610.15 c STR average degree increase per successful attempt inf
3600.08/3610.15 c STR total number of conflicts for successful attempts 0
3600.08/3610.15 c STR total number of conflicts for unsuccessful attempts 0
3600.08/3610.15 c STR total number of conflicts for inconclusive attempts 0
3600.08/3610.15 c STR average number of conflicts per successful attempt inf
3600.08/3610.15 c STR average number of conflicts per unsuccessful attempt inf
3600.08/3610.15 c STR average number of conflicts per inconclusive attempt inf
3600.08/3610.15 c AVG.sumWPerc 99.56
3600.08/3610.15 c bigint constraints 0
3600.08/3610.15 s UNKNOWN
3600.08/3610.15 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (51581 MiB free)
memory of node 1: 64465 MiB (62577 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4505078-1751481254/watcher-4505078-1751481254 -o /tmp/evaluation-result-4505078-1751481254/solver-4505078-1751481254 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751477637-67545 --watchdog 3760 run-opt.sh HOME/instance-4505078-1751481254.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=68157, runsolver pid=68154
[startup+0.100065 s]*
/proc/loadavg: 4.17 4.11 4.08 5/268 68159
/proc/meminfo: memFree=116883964/131250000 swapFree=33010672/33010684
[pid=68157] ppid=68154 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/68157/stat : 68157 (run-opt.sh) S 68154 68157 67533 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 63801980 4292608 736 18446744073709551615 93848798183424 93848799077957 140734736096544 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93848799317008 93848799364752 93848811536384 140734736103789 140734736103912 140734736103912 140734736109514 0
/proc/68157/statm: 1048 736 672 219 0 110 0
[pid=68159] ppid=68157 vsize=78648 memory=36096 CPUtime=0.09 cores=1,3
/proc/68159/stat : 68159 (roundingsat) R 68157 68157 67533 0 -1 4194304 4401 0 0 0 6 3 0 0 20 0 1 0 63801980 80535552 9024 18446744073709551615 4227072 8923433 140721662423392 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19103744 140721662429602 140721662429736 140721662429736 140721662435306 0
/proc/68159/statm: 19662 9024 1952 1147 0 7089 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 82840 KiB
Current children cumulated memory: 39040 KiB
[startup+0.205648 s]*
/proc/loadavg: 4.17 4.11 4.08 5/268 68159
/proc/meminfo: memFree=116877412/131250000 swapFree=33010672/33010684
[pid=68157] ppid=68154 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/68157/stat : 68157 (run-opt.sh) S 68154 68157 67533 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 63801980 4292608 736 18446744073709551615 93848798183424 93848799077957 140734736096544 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93848799317008 93848799364752 93848811536384 140734736103789 140734736103912 140734736103912 140734736109514 0
/proc/68157/statm: 1048 736 672 219 0 110 0
[pid=68159] ppid=68157 vsize=86072 memory=42860 CPUtime=0.19 cores=1,3
/proc/68159/stat : 68159 (roundingsat) R 68157 68157 67533 0 -1 4194304 5592 0 0 0 14 5 0 0 20 0 1 0 63801980 88137728 10715 18446744073709551615 4227072 8923433 140721662423392 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19103744 140721662429602 140721662429736 140721662429736 140721662435306 0
/proc/68159/statm: 21518 10715 1952 1147 0 8945 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 90264 KiB
Current children cumulated memory: 45804 KiB
[startup+0.305548 s]*
/proc/loadavg: 4.17 4.11 4.08 5/268 68159
/proc/meminfo: memFree=116863552/131250000 swapFree=33010672/33010684
[pid=68157] ppid=68154 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/68157/stat : 68157 (run-opt.sh) S 68154 68157 67533 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 63801980 4292608 736 18446744073709551615 93848798183424 93848799077957 140734736096544 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93848799317008 93848799364752 93848811536384 140734736103789 140734736103912 140734736103912 140734736109514 0
/proc/68157/statm: 1048 736 672 219 0 110 0
[pid=68159] ppid=68157 vsize=93264 memory=49120 CPUtime=0.29 cores=1,3
/proc/68159/stat : 68159 (roundingsat) R 68157 68157 67533 0 -1 4194304 6662 0 0 0 21 8 0 0 20 0 1 0 63801980 95502336 12280 18446744073709551615 4227072 8923433 140721662423392 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19103744 140721662429602 140721662429736 140721662429736 140721662435306 0
/proc/68159/statm: 23316 12280 1952 1147 0 10743 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 97456 KiB
Current children cumulated memory: 52064 KiB
[startup+0.700152 s]
/proc/loadavg: 4.17 4.11 4.08 5/268 68159
/proc/meminfo: memFree=116857756/131250000 swapFree=33010672/33010684
[pid=68157] ppid=68154 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/68157/stat : 68157 (run-opt.sh) S 68154 68157 67533 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 63801980 4292608 736 18446744073709551615 93848798183424 93848799077957 140734736096544 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93848799317008 93848799364752 93848811536384 140734736103789 140734736103912 140734736103912 140734736109514 0
/proc/68157/statm: 1048 736 672 219 0 110 0
[pid=68159] ppid=68157 vsize=109552 memory=66740 CPUtime=0.68 cores=1,3
/proc/68159/stat : 68159 (roundingsat) R 68157 68157 67533 0 -1 4194304 9974 0 0 0 50 18 0 0 20 0 1 0 63801980 112181248 16685 18446744073709551615 4227072 8923433 140721662423392 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19103744 140721662429602 140721662429736 140721662429736 140721662435306 0
/proc/68159/statm: 27388 16685 1952 1147 0 14815 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 113744 KiB
Current children cumulated memory: 69684 KiB
[startup+1.50017 s]
/proc/loadavg: 4.17 4.11 4.08 5/268 68159
/proc/meminfo: memFree=116666388/131250000 swapFree=33010672/33010684
[pid=68157] ppid=68154 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/68157/stat : 68157 (run-opt.sh) S 68154 68157 67533 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 63801980 4292608 736 18446744073709551615 93848798183424 93848799077957 140734736096544 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93848799317008 93848799364752 93848811536384 140734736103789 140734736103912 140734736103912 140734736109514 0
/proc/68157/statm: 1048 736 672 219 0 110 0
[pid=68159] ppid=68157 vsize=321736 memory=278128 CPUtime=1.48 cores=1,3
/proc/68159/stat : 68159 (roundingsat) R 68157 68157 67533 0 -1 4194304 26091 0 0 0 108 40 0 0 20 0 1 0 63801980 329457664 69532 18446744073709551615 4227072 8923433 140721662423392 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19103744 140721662429602 140721662429736 140721662429736 140721662435306 0
/proc/68159/statm: 80434 69532 2400 1147 0 67861 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 325928 KiB
Current children cumulated memory: 281072 KiB
[startup+3.10531 s]
/proc/loadavg: 4.16 4.11 4.08 4/263 68167
/proc/meminfo: memFree=127041764/131250000 swapFree=33010672/33010684
[pid=68157] ppid=68154 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/68157/stat : 68157 (run-opt.sh) S 68154 68157 67533 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 63801980 4292608 736 18446744073709551615 93848798183424 93848799077957 140734736096544 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93848799317008 93848799364752 93848811536384 140734736103789 140734736103912 140734736103912 140734736109514 0
/proc/68157/statm: 1048 736 672 219 0 110 0
[pid=68159] ppid=68157 vsize=341320 memory=291792 CPUtime=3.08 cores=1,3
/proc/68159/stat : 68159 (roundingsat) R 68157 68157 67533 0 -1 4194304 28492 0 0 0 176 132 0 0 20 0 1 0 63801980 349511680 72948 18446744073709551615 4227072 8923433 140721662423392 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19103744 140721662429602 140721662429736 140721662429736 140721662435306 0
/proc/68159/statm: 85330 72948 2400 1147 0 72757 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 345512 KiB
Current children cumulated memory: 294736 KiB
[startup+6.30018 s]
/proc/loadavg: 4.16 4.11 4.08 5/269 68206
/proc/meminfo: memFree=126957836/131250000 swapFree=33010672/33010684
[pid=68157] ppid=68154 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/68157/stat : 68157 (run-opt.sh) S 68154 68157 67533 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 63801980 4292608 736 18446744073709551615 93848798183424 93848799077957 140734736096544 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93848799317008 93848799364752 93848811536384 140734736103789 140734736103912 140734736103912 140734736109514 0
/proc/68157/statm: 1048 736 672 219 0 110 0
[pid=68159] ppid=68157 vsize=372664 memory=320792 CPUtime=6.26 cores=1,3
/proc/68159/stat : 68159 (roundingsat) R 68157 68157 67533 0 -1 4194304 32698 0 0 0 322 304 0 0 20 0 1 0 63801980 381607936 80198 18446744073709551615 4227072 8923433 140721662423392 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19103744 140721662429602 140721662429736 140721662429736 140721662435306 0
/proc/68159/statm: 93166 80198 2400 1147 0 80593 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 376856 KiB
Current children cumulated memory: 323736 KiB
[startup+12.7002 s]
/proc/loadavg: 4.14 4.11 4.08 5/269 68252
/proc/meminfo: memFree=126416812/131250000 swapFree=33010672/33010684
[pid=68157] ppid=68154 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/68157/stat : 68157 (run-opt.sh) S 68154 68157 67533 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 63801980 4292608 736 18446744073709551615 93848798183424 93848799077957 140734736096544 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93848799317008 93848799364752 93848811536384 140734736103789 140734736103912 140734736103912 140734736109514 0
/proc/68157/statm: 1048 736 672 219 0 110 0
[pid=68159] ppid=68157 vsize=480016 memory=416828 CPUtime=12.65 cores=1,3
/proc/68159/stat : 68159 (roundingsat) R 68157 68157 67533 0 -1 4194304 48573 0 0 0 788 477 0 0 20 0 1 0 63801980 491536384 104207 18446744073709551615 4227072 8923433 140721662423392 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19103744 140721662429602 140721662429736 140721662429736 140721662435306 0
/proc/68159/statm: 120004 104207 2400 1147 0 107431 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 484208 KiB
Current children cumulated memory: 419772 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.10 4.08 5/269 68252
/proc/meminfo: memFree=125542296/131250000 swapFree=33010672/33010684
[pid=68157] ppid=68154 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/68157/stat : 68157 (run-opt.sh) S 68154 68157 67533 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 63801980 4292608 736 18446744073709551615 93848798183424 93848799077957 140734736096544 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93848799317008 93848799364752 93848811536384 140734736103789 140734736103912 140734736103912 140734736109514 0
/proc/68157/statm: 1048 736 672 219 0 110 0
[pid=68159] ppid=68157 vsize=595244 memory=518020 CPUtime=25.41 cores=1,3
/proc/68159/stat : 68159 (roundingsat) R 68157 68157 67533 0 -1 4194304 68785 0 0 0 1876 665 0 0 20 0 1 0 63801980 609529856 129505 18446744073709551615 4227072 8923433 140721662423392 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19103744 140721662429602 140721662429736 140721662429736 140721662435306 0
/proc/68159/statm: 148811 129505 2400 1147 0 136238 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 599436 KiB
Current children cumulated memory: 520964 KiB
[startup+51.1055 s]
/proc/loadavg: 4.20 4.13 4.09 5/269 68252
/proc/meminfo: memFree=124914212/131250000 swapFree=33010672/33010684
[pid=68157] ppid=68154 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/68157/stat : 68157 (run-opt.sh) S 68154 68157 67533 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 63801980 4292608 736 18446744073709551615 93848798183424 93848799077957 140734736096544 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93848799317008 93848799364752 93848811536384 140734736103789 140734736103912 140734736103912 140734736109514 0
/proc/68157/statm: 1048 736 672 219 0 110 0
[pid=68159] ppid=68157 vsize=801152 memory=705244 CPUtime=50.93 cores=1,3
/proc/68159/stat : 68159 (roundingsat) R 68157 68157 67533 0 -1 4194304 103325 0 0 0 4257 836 0 0 20 0 1 0 63801980 820379648 176311 18446744073709551615 4227072 8923433 140721662423392 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19103744 140721662429602 140721662429736 140721662429736 140721662435306 0
/proc/68159/statm: 200288 176311 2400 1147 0 187715 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 805344 KiB
Current children cumulated memory: 708188 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/269 68254
/proc/meminfo: memFree=123745568/131250000 swapFree=33010672/33010684
[pid=68157] ppid=68154 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/68157/stat : 68157 (run-opt.sh) S 68154 68157 67533 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 63801980 4292608 736 18446744073709551615 93848798183424 93848799077957 140734736096544 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93848799317008 93848799364752 93848811536384 140734736103789 140734736103912 140734736103912 140734736109514 0
/proc/68157/statm: 1048 736 672 219 0 110 0
[pid=68159] ppid=68157 vsize=1085260 memory=902968 CPUtime=101.97 cores=1,3
/proc/68159/stat : 68159 (roundingsat) R 68157 68157 67533 0 -1 4194304 142546 0 0 0 9057 1140 0 0 20 0 1 0 63801980 1111306240 225742 18446744073709551615 4227072 8923433 140721662423392 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19103744 140721662429602 140721662429736 140721662429736 140721662435306 0
/proc/68159/statm: 271315 225742 2400 1147 0 258742 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 1089452 KiB
Current children cumulated memory: 905912 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/270 68257
/proc/meminfo: memFree=122368828/131250000 swapFree=33010672/33010684
[pid=68157] ppid=68154 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/68157/stat : 68157 (run-opt.sh) S 68154 68157 67533 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 63801980 4292608 736 18446744073709551615 93848798183424 93848799077957 140734736096544 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93848799317008 93848799364752 93848811536384 140734736103789 140734736103912 140734736103912 140734736109514 0
/proc/68157/statm: 1048 736 672 219 0 110 0
[pid=68159] ppid=68157 vsize=1192156 memory=1033968 CPUtime=161.78 cores=1,3
/proc/68159/stat : 68159 (roundingsat) R 68157 68157 67533 0 -1 4194304 166120 0 0 0 14844 1334 0 0 20 0 1 0 63801980 1220767744 258492 18446744073709551615 4227072 8923433 140721662423392 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19103744 140721662429602 140721662429736 140721662429736 140721662435306 0
/proc/68159/statm: 298039 258492 2400 1147 0 285466 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 1196348 KiB
Current children cumulated memory: 1036912 KiB
[startup+222.3 s]
/proc/loadavg: 4.20 4.15 4.10 5/269 68265
/proc/meminfo: memFree=121046272/131250000 swapFree=33010672/33010684
[pid=68157] ppid=68154 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/68157/stat : 68157 (run-opt.sh) S 68154 68157 67533 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 63801980 4292608 736 18446744073709551615 93848798183424 93848799077957 140734736096544 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93848799317008 93848799364752 93848811536384 140734736103789 140734736103912 140734736103912 140734736109514 0
/proc/68157/statm: 1048 736 672 219 0 110 0
[pid=68159] ppid=68157 vsize=1203676 memory=1062188 CPUtime=221.58 cores=1,3
/proc/68159/stat : 68159 (roundingsat) R 68157 68157 67533 0 -1 4194304 171128 0 0 0 20784 1374 0 0 20 0 1 0 63801980 1232564224 265547 18446744073709551615 4227072 8923433 140721662423392 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19103744 140721662429602 140721662429736 140721662429736 140721662435306 0
/proc/68159/statm: 300919 265547 2400 1147 0 288346 0
Current children cumulated CPU time: 221.58 s
################
# More data... #
################
/proc/68159/statm: 602506 566838 2400 1147 0 589933 0
Current children cumulated CPU time: 3093.63 s
Current children cumulated vsize: 2414216 KiB
Current children cumulated memory: 2270296 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/268 68408
/proc/meminfo: memFree=113874004/131250000 swapFree=33010672/33010684
[pid=68157] ppid=68154 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/68157/stat : 68157 (run-opt.sh) S 68154 68157 67533 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 63801980 4292608 736 18446744073709551615 93848798183424 93848799077957 140734736096544 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93848799317008 93848799364752 93848811536384 140734736103789 140734736103912 140734736103912 140734736109514 0
/proc/68157/statm: 1048 736 672 219 0 110 0
[pid=68159] ppid=68157 vsize=2410024 memory=2267352 CPUtime=3153.47 cores=1,3
/proc/68159/stat : 68159 (roundingsat) R 68157 68157 67533 0 -1 4194304 341744 0 0 0 313544 1803 0 0 20 0 1 0 63801980 2467864576 566838 18446744073709551615 4227072 8923433 140721662423392 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19103744 140721662429602 140721662429736 140721662429736 140721662435306 0
/proc/68159/statm: 602506 566838 2400 1147 0 589933 0
Current children cumulated CPU time: 3153.47 s
Current children cumulated vsize: 2414216 KiB
Current children cumulated memory: 2270296 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/269 68417
/proc/meminfo: memFree=113797148/131250000 swapFree=33010672/33010684
[pid=68157] ppid=68154 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/68157/stat : 68157 (run-opt.sh) S 68154 68157 67533 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 63801980 4292608 736 18446744073709551615 93848798183424 93848799077957 140734736096544 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93848799317008 93848799364752 93848811536384 140734736103789 140734736103912 140734736103912 140734736109514 0
/proc/68157/statm: 1048 736 672 219 0 110 0
[pid=68159] ppid=68157 vsize=2437676 memory=2303808 CPUtime=3213.31 cores=1,3
/proc/68159/stat : 68159 (roundingsat) R 68157 68157 67533 0 -1 4194304 347122 0 0 0 319526 1805 0 0 20 0 1 0 63801980 2496180224 575952 18446744073709551615 4227072 8923433 140721662423392 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19103744 140721662429602 140721662429736 140721662429736 140721662435306 0
/proc/68159/statm: 609419 575952 2400 1147 0 596846 0
Current children cumulated CPU time: 3213.31 s
Current children cumulated vsize: 2441868 KiB
Current children cumulated memory: 2306752 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/269 68419
/proc/meminfo: memFree=113798452/131250000 swapFree=33010672/33010684
[pid=68157] ppid=68154 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/68157/stat : 68157 (run-opt.sh) S 68154 68157 67533 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 63801980 4292608 736 18446744073709551615 93848798183424 93848799077957 140734736096544 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93848799317008 93848799364752 93848811536384 140734736103789 140734736103912 140734736103912 140734736109514 0
/proc/68157/statm: 1048 736 672 219 0 110 0
[pid=68159] ppid=68157 vsize=2437676 memory=2303808 CPUtime=3273.15 cores=1,3
/proc/68159/stat : 68159 (roundingsat) R 68157 68157 67533 0 -1 4194304 347648 0 0 0 325508 1807 0 0 20 0 1 0 63801980 2496180224 575952 18446744073709551615 4227072 8923433 140721662423392 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19103744 140721662429602 140721662429736 140721662429736 140721662435306 0
/proc/68159/statm: 609419 575952 2400 1147 0 596846 0
Current children cumulated CPU time: 3273.15 s
Current children cumulated vsize: 2441868 KiB
Current children cumulated memory: 2306752 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/269 68421
/proc/meminfo: memFree=113754088/131250000 swapFree=33010672/33010684
[pid=68157] ppid=68154 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/68157/stat : 68157 (run-opt.sh) S 68154 68157 67533 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 63801980 4292608 736 18446744073709551615 93848798183424 93848799077957 140734736096544 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93848799317008 93848799364752 93848811536384 140734736103789 140734736103912 140734736103912 140734736109514 0
/proc/68157/statm: 1048 736 672 219 0 110 0
[pid=68159] ppid=68157 vsize=2437676 memory=2303808 CPUtime=3332.99 cores=1,3
/proc/68159/stat : 68159 (roundingsat) R 68157 68157 67533 0 -1 4194304 347681 0 0 0 331491 1808 0 0 20 0 1 0 63801980 2496180224 575952 18446744073709551615 4227072 8923433 140721662423392 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19103744 140721662429602 140721662429736 140721662429736 140721662435306 0
/proc/68159/statm: 609419 575952 2400 1147 0 596846 0
Current children cumulated CPU time: 3332.99 s
Current children cumulated vsize: 2441868 KiB
Current children cumulated memory: 2306752 KiB
[startup+3402.3 s]
/proc/loadavg: 4.52 4.19 4.12 5/269 68424
/proc/meminfo: memFree=113752808/131250000 swapFree=33010672/33010684
[pid=68157] ppid=68154 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/68157/stat : 68157 (run-opt.sh) S 68154 68157 67533 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 63801980 4292608 736 18446744073709551615 93848798183424 93848799077957 140734736096544 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93848799317008 93848799364752 93848811536384 140734736103789 140734736103912 140734736103912 140734736109514 0
/proc/68157/statm: 1048 736 672 219 0 110 0
[pid=68159] ppid=68157 vsize=2437676 memory=2303936 CPUtime=3392.83 cores=1,3
/proc/68159/stat : 68159 (roundingsat) R 68157 68157 67533 0 -1 4194304 347752 0 0 0 337473 1810 0 0 20 0 1 0 63801980 2496180224 575984 18446744073709551615 4227072 8923433 140721662423392 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19103744 140721662429602 140721662429736 140721662429736 140721662435306 0
/proc/68159/statm: 609419 575984 2400 1147 0 596846 0
Current children cumulated CPU time: 3392.83 s
Current children cumulated vsize: 2441868 KiB
Current children cumulated memory: 2306880 KiB
[startup+3462.3 s]
/proc/loadavg: 4.25 4.17 4.12 5/267 68426
/proc/meminfo: memFree=113535268/131250000 swapFree=33010672/33010684
[pid=68157] ppid=68154 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/68157/stat : 68157 (run-opt.sh) S 68154 68157 67533 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 63801980 4292608 736 18446744073709551615 93848798183424 93848799077957 140734736096544 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93848799317008 93848799364752 93848811536384 140734736103789 140734736103912 140734736103912 140734736109514 0
/proc/68157/statm: 1048 736 672 219 0 110 0
[pid=68159] ppid=68157 vsize=2469168 memory=2351136 CPUtime=3452.67 cores=1,3
/proc/68159/stat : 68159 (roundingsat) R 68157 68157 67533 0 -1 4194304 353285 0 0 0 343453 1814 0 0 20 0 1 0 63801980 2528428032 587784 18446744073709551615 4227072 8923433 140721662423392 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19103744 140721662429602 140721662429736 140721662429736 140721662435306 0
/proc/68159/statm: 617292 587784 2400 1147 0 604719 0
Current children cumulated CPU time: 3452.67 s
Current children cumulated vsize: 2473360 KiB
Current children cumulated memory: 2354080 KiB
[startup+3522.3 s]
/proc/loadavg: 4.20 4.17 4.12 5/267 68428
/proc/meminfo: memFree=113223168/131250000 swapFree=33010672/33010684
[pid=68157] ppid=68154 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/68157/stat : 68157 (run-opt.sh) S 68154 68157 67533 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 63801980 4292608 736 18446744073709551615 93848798183424 93848799077957 140734736096544 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93848799317008 93848799364752 93848811536384 140734736103789 140734736103912 140734736103912 140734736109514 0
/proc/68157/statm: 1048 736 672 219 0 110 0
[pid=68159] ppid=68157 vsize=2469168 memory=2351136 CPUtime=3512.51 cores=1,3
/proc/68159/stat : 68159 (roundingsat) R 68157 68157 67533 0 -1 4194304 353807 0 0 0 349434 1817 0 0 20 0 1 0 63801980 2528428032 587784 18446744073709551615 4227072 8923433 140721662423392 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19103744 140721662429602 140721662429736 140721662429736 140721662435306 0
/proc/68159/statm: 617292 587784 2400 1147 0 604719 0
Current children cumulated CPU time: 3512.51 s
Current children cumulated vsize: 2473360 KiB
Current children cumulated memory: 2354080 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.15 4.11 5/267 68430
/proc/meminfo: memFree=113168824/131250000 swapFree=33010672/33010684
[pid=68157] ppid=68154 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/68157/stat : 68157 (run-opt.sh) S 68154 68157 67533 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 63801980 4292608 736 18446744073709551615 93848798183424 93848799077957 140734736096544 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93848799317008 93848799364752 93848811536384 140734736103789 140734736103912 140734736103912 140734736109514 0
/proc/68157/statm: 1048 736 672 219 0 110 0
[pid=68159] ppid=68157 vsize=2469168 memory=2351136 CPUtime=3572.35 cores=1,3
/proc/68159/stat : 68159 (roundingsat) R 68157 68157 67533 0 -1 4194304 353832 0 0 0 355416 1819 0 0 20 0 1 0 63801980 2528428032 587784 18446744073709551615 4227072 8923433 140721662423392 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19103744 140721662429602 140721662429736 140721662429736 140721662435306 0
/proc/68159/statm: 617292 587784 2400 1147 0 604719 0
Current children cumulated CPU time: 3572.35 s
Current children cumulated vsize: 2473360 KiB
Current children cumulated memory: 2354080 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 4.15 4.15 4.11 5/268 68523
/proc/meminfo: memFree=118080844/131250000 swapFree=33010672/33010684
[pid=68157] ppid=68154 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/68157/stat : 68157 (run-opt.sh) S 68154 68157 67533 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 63801980 4292608 736 18446744073709551615 93848798183424 93848799077957 140734736096544 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93848799317008 93848799364752 93848811536384 140734736103789 140734736103912 140734736103912 140734736109514 0
/proc/68157/statm: 1048 736 672 219 0 110 0
[pid=68159] ppid=68157 vsize=2469168 memory=2351136 CPUtime=3600.08 cores=1,3
/proc/68159/stat : 68159 (roundingsat) R 68157 68157 67533 0 -1 4194304 353846 0 0 0 358189 1819 0 0 20 0 1 0 63801980 2528428032 587784 18446744073709551615 4227072 8923433 140721662423392 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19103744 140721662429602 140721662429736 140721662429736 140721662435306 0
/proc/68159/statm: 617292 587784 2400 1147 0 604719 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 2473360 KiB
Current children cumulated memory: 2354080 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.11 s]
# the end of solver process 68157 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001149 s, system=0.001148 s
Sleeping 2 seconds
[startup+3610.2 s]
# the end of solver process 68159 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3581.98 s, system=18.2097 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.11 s]
/proc/loadavg: 4.15 4.15 4.11 5/268 68523
/proc/meminfo: memFree=118080844/131250000 swapFree=33010672/33010684
[pid=68157] ppid=68154 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/68157/stat : 68157 (run-opt.sh) S 68154 68157 67533 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 63801980 4292608 736 18446744073709551615 93848798183424 93848799077957 140734736096544 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93848799317008 93848799364752 93848811536384 140734736103789 140734736103912 140734736103912 140734736109514 0
/proc/68157/statm: 1048 736 672 219 0 110 0
[pid=68159] ppid=68157 vsize=2469168 memory=2351136 CPUtime=3600.08 cores=1,3
/proc/68159/stat : 68159 (roundingsat) R 68157 68157 67533 0 -1 4194304 353846 0 0 0 358189 1819 0 0 20 0 1 0 63801980 2528428032 587784 18446744073709551615 4227072 8923433 140721662423392 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19103744 140721662429602 140721662429736 140721662429736 140721662435306 0
/proc/68159/statm: 617292 587784 2400 1147 0 604719 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 2473360 KiB
Current children cumulated memory: 2354080 KiB
Child status: 2
Real time (s): 3610.2
CPU time (s): 3600.19
CPU user time (s): 3581.98
CPU system time (s): 18.2097
CPU usage (%): 99.7227
Max. virtual memory (cumulated for all children) (KiB): 2473360
Max. memory (cumulated for all children) (KiB): 2354080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.98
system time used= 18.2097
maximum resident set size= 2351392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 354168
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= 234
involuntary context switches= 5603
# summary of solver processes directly reported to runsolver:
# pid: 68157,68159
# total CPU time (s): 3600.19
# total CPU user time (s): 3581.98
# total CPU system time (s): 18.2097
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.835 second user time and 16.6833 second system time
The end
Begin job on nodeC014 at 2025-07-02 20:34:14
IDJOB=4505078
IDBENCH=155733
IDSOLVER=3350
FILE ID=nodeC014/4505078-1751481254
RUNJOBID= nodeC014-1751477637-67545
SLURM_JOB_ID= 9598515
Free space on /tmp= 430428 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/IC/normalized-minisat50_6_9_3_ic.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4505078-1751481254/watcher-4505078-1751481254 -o /tmp/evaluation-result-4505078-1751481254/solver-4505078-1751481254 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751477637-67545 --watchdog 3760 run-opt.sh HOME/instance-4505078-1751481254.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1a585859cd518f3581f5f80c37fe0c7b
RANDOM SEED=330419317
nodeC014 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.116
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 : 7000.23
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 : 3600.156
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 : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.244
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 : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.099
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 : 7000.23
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 : 3600.119
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 : 7000.23
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.145
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 : 7000.23
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 : 3604.009
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 : 7000.23
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 : 3529.518
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 : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 116899452 kB
MemAvailable: 118728212 kB
Buffers: 2508 kB
Cached: 2624412 kB
SwapCached: 4 kB
Active: 11629748 kB
Inactive: 2076988 kB
Active(anon): 11094036 kB
Inactive(anon): 3852 kB
Active(file): 535712 kB
Inactive(file): 2073136 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010672 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 60580 kB
Writeback: 48 kB
AnonPages: 11083048 kB
Mapped: 117280 kB
Shmem: 18064 kB
KReclaimable: 118300 kB
Slab: 209112 kB
SReclaimable: 118300 kB
SUnreclaim: 90812 kB
KernelStack: 4336 kB
PageTables: 26084 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 12290612 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150568 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4675584 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: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 430208 MiB
End job on nodeC014 at 2025-07-02 21:34:24