0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.03 c #variables 12816 #constraints 321
0.00/0.03 c objective is ce32
0.00/0.04 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.04 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.04 c GLOBAL bounds - >= -1403930 @ 0.027767
0.00/0.05 c GLOBAL bounds - >= -1403930 @ 0.032808
0.00/0.07 c GLOBAL bounds - >= -1403930 @ 0.042006
0.00/0.08 c GLOBAL bounds - >= -1403930 @ 0.048782
0.00/0.09 c GLOBAL bounds - >= -1403930 @ 0.053768
0.08/0.11 c GLOBAL bounds - >= -1403930 @ 0.061769
0.08/0.14 c GLOBAL bounds - >= -1403930 @ 0.086592
0.08/0.16 c GLOBAL bounds - >= -1403930 @ 0.099446
0.08/0.17 c GLOBAL bounds - >= -1403930 @ 0.104953
0.08/0.19 c GLOBAL bounds - >= -1403930 @ 0.114509
0.08/0.20 c GLOBAL bounds - >= -1403930 @ 0.120542
0.19/0.23 c GLOBAL bounds - >= -1403930 @ 0.145318
0.19/0.24 c GLOBAL bounds - >= -1403930 @ 0.151069
0.19/0.25 c GLOBAL bounds - >= -1403930 @ 0.154788
0.19/0.26 c GLOBAL bounds - >= -1403930 @ 0.159543
0.19/0.27 c GLOBAL bounds - >= -1403930 @ 0.168045
0.19/0.28 c GLOBAL bounds - >= -1403930 @ 0.172611
0.29/0.35 c GLOBAL bounds - >= -1403930 @ 0.228117
0.29/0.36 c GLOBAL bounds - >= -1403930 @ 0.235104
0.29/0.39 c GLOBAL bounds - >= -1403930 @ 0.261793
0.29/0.40 c GLOBAL bounds - >= -1403930 @ 0.271449
0.39/0.41 c GLOBAL bounds - >= -1403930 @ 0.279169
0.39/0.43 c GLOBAL bounds - >= -1403930 @ 0.288653
0.39/0.45 c GLOBAL bounds - >= -1403930 @ 0.30155
0.39/0.46 c GLOBAL bounds - >= -1403930 @ 0.307284
0.39/0.50 c GLOBAL bounds - >= -1403930 @ 0.341076
0.49/0.51 c GLOBAL bounds - >= -1403930 @ 0.348437
0.49/0.53 c GLOBAL bounds - >= -1403930 @ 0.362969
0.49/0.55 c GLOBAL bounds - >= -1403930 @ 0.369266
0.49/0.57 c GLOBAL bounds - >= -1403930 @ 0.380438
0.49/0.60 c GLOBAL bounds - >= -1403930 @ 0.405209
0.58/0.61 c GLOBAL bounds - >= -1403930 @ 0.413769
0.58/0.62 c GLOBAL bounds - >= -1403930 @ 0.420923
0.58/0.64 c GLOBAL bounds - >= -1403930 @ 0.433256
0.58/0.65 c GLOBAL bounds - >= -1403930 @ 0.441736
0.58/0.67 c GLOBAL bounds - >= -1403930 @ 0.456623
0.58/0.69 c GLOBAL bounds - >= -1403930 @ 0.465451
0.68/0.72 c GLOBAL bounds - >= -1403930 @ 0.489189
0.68/0.73 c GLOBAL bounds - >= -1403930 @ 0.495964
0.68/0.75 c GLOBAL bounds - >= -1403930 @ 0.511809
0.68/0.76 c GLOBAL bounds - >= -1403930 @ 0.519266
0.68/0.77 c GLOBAL bounds - >= -1403930 @ 0.524347
0.68/0.78 c GLOBAL bounds - >= -1403930 @ 0.536909
0.78/0.80 c GLOBAL bounds - >= -1403930 @ 0.541299
0.78/0.81 c GLOBAL bounds - >= -1403930 @ 0.552106
0.78/0.82 c GLOBAL bounds - >= -1403930 @ 0.557773
0.78/0.86 c GLOBAL bounds - >= -1403930 @ 0.589761
0.78/0.88 c GLOBAL bounds - >= -1403930 @ 0.604178
0.88/0.91 c GLOBAL bounds - >= -1403930 @ 0.627812
0.88/0.94 c GLOBAL bounds - >= -1403930 @ 0.64752
0.88/0.95 c GLOBAL bounds - >= -1403930 @ 0.654492
0.88/0.97 c GLOBAL bounds - >= -1403930 @ 0.665452
0.88/0.98 c GLOBAL bounds - >= -1403930 @ 0.669986
0.88/1.00 c GLOBAL bounds - >= -1403930 @ 0.678874
0.98/1.01 c GLOBAL bounds - >= -1403930 @ 0.690529
0.98/1.02 c GLOBAL bounds - >= -1403930 @ 0.697598
0.98/1.03 c GLOBAL bounds - >= -1403930 @ 0.705699
0.98/1.05 c GLOBAL bounds - >= -1403930 @ 0.718241
0.98/1.07 c GLOBAL bounds - >= -1403930 @ 0.729159
0.98/1.09 c GLOBAL bounds - >= -1403930 @ 0.740042
0.98/1.10 c GLOBAL bounds - >= -1403930 @ 0.74896
1.08/1.12 c GLOBAL bounds - >= -1403930 @ 0.761727
1.08/1.18 c GLOBAL bounds - >= -1403930 @ 0.827947
1.17/1.21 c GLOBAL bounds - >= -1403930 @ 0.84923
1.17/1.23 c GLOBAL bounds - >= -1403930 @ 0.862631
1.17/1.25 c GLOBAL bounds - >= -1403930 @ 0.873764
1.17/1.26 c GLOBAL bounds - >= -1403930 @ 0.881461
1.17/1.27 c GLOBAL bounds - >= -1403930 @ 0.888495
1.17/1.29 c GLOBAL bounds - >= -1403930 @ 0.895543
1.28/1.30 c GLOBAL bounds - >= -1403930 @ 0.90689
1.28/1.37 c GLOBAL bounds - >= -1403930 @ 0.969085
1.28/1.39 c GLOBAL bounds - >= -1403930 @ 0.980281
1.37/1.41 c GLOBAL bounds - >= -1403930 @ 1.00455
1.37/1.43 c GLOBAL bounds - >= -1403930 @ 1.01216
1.37/1.45 c GLOBAL bounds - >= -1403930 @ 1.0224
1.37/1.46 c GLOBAL bounds - >= -1403930 @ 1.03068
1.37/1.48 c GLOBAL bounds - >= -1403930 @ 1.04682
1.47/1.53 c GLOBAL bounds - >= -1403930 @ 1.08482
1.47/1.55 c GLOBAL bounds - >= -1403930 @ 1.10347
1.47/1.56 c GLOBAL bounds - >= -1403930 @ 1.11633
1.47/1.58 c GLOBAL bounds - >= -1403930 @ 1.12655
1.47/1.59 c GLOBAL bounds - >= -1403930 @ 1.13599
1.58/1.61 c GLOBAL bounds - >= -1403930 @ 1.14986
1.58/1.64 c GLOBAL bounds - >= -1403930 @ 1.17212
1.58/1.65 c GLOBAL bounds - >= -1403930 @ 1.18503
1.58/1.68 c GLOBAL bounds - >= -1403930 @ 1.20247
1.67/1.70 c GLOBAL bounds - >= -1403930 @ 1.21982
1.67/1.72 c GLOBAL bounds - >= -1403930 @ 1.23283
1.67/1.73 c GLOBAL bounds - >= -1403930 @ 1.2389
1.67/1.75 c GLOBAL bounds - >= -1403930 @ 1.24655
1.67/1.76 c GLOBAL bounds - >= -1403930 @ 1.25885
1.67/1.79 c GLOBAL bounds - >= -1403930 @ 1.27642
1.78/1.81 c GLOBAL bounds - >= -1403930 @ 1.29405
1.78/1.82 c GLOBAL bounds - >= -1403930 @ 1.30238
1.78/1.84 c GLOBAL bounds - >= -1403930 @ 1.31282
1.78/1.85 c GLOBAL bounds - >= -1403930 @ 1.32123
1.78/1.87 c GLOBAL bounds - >= -1403930 @ 1.33733
1.78/1.88 c GLOBAL bounds - >= -1403930 @ 1.34696
1.87/1.90 c GLOBAL bounds - >= -1403930 @ 1.35922
1.87/1.91 c GLOBAL bounds - >= -1403930 @ 1.36808
1.87/1.93 c GLOBAL bounds - >= -1403930 @ 1.37744
1.87/1.95 c GLOBAL bounds - >= -1403930 @ 1.39538
1.87/1.97 c GLOBAL bounds - >= -1403930 @ 1.41001
1.87/1.99 c GLOBAL bounds - >= -1403930 @ 1.42194
1.98/2.01 c GLOBAL bounds - >= -1403930 @ 1.4362
1.98/2.07 c GLOBAL bounds - >= -1403930 @ 1.48831
1.98/2.09 c GLOBAL bounds - >= -1403930 @ 1.50338
2.08/2.11 c GLOBAL bounds - >= -1403930 @ 1.51909
2.08/2.14 c GLOBAL bounds - >= -1403930 @ 1.54167
2.08/2.16 c GLOBAL bounds - >= -1403930 @ 1.55775
2.08/2.19 c GLOBAL bounds - >= -1403930 @ 1.58448
2.17/2.22 c GLOBAL bounds - >= -1403930 @ 1.60227
2.17/2.24 c GLOBAL bounds - >= -1403930 @ 1.62488
2.17/2.28 c GLOBAL bounds - >= -1403930 @ 1.65478
2.27/2.30 c GLOBAL bounds - >= -1403930 @ 1.66778
2.27/2.32 c GLOBAL bounds - >= -1403930 @ 1.68915
2.27/2.34 c GLOBAL bounds - >= -1403930 @ 1.69925
2.27/2.37 c GLOBAL bounds - >= -1403930 @ 1.71664
2.27/2.39 c GLOBAL bounds - >= -1403930 @ 1.73641
2.38/2.41 c GLOBAL bounds - >= -1403930 @ 1.75243
2.38/2.44 c GLOBAL bounds - >= -1403930 @ 1.77274
2.38/2.47 c GLOBAL bounds - >= -1403930 @ 1.80173
2.47/2.51 c GLOBAL bounds - >= -1403930 @ 1.83807
2.47/2.55 c GLOBAL bounds - >= -1403930 @ 1.8732
2.47/2.57 c GLOBAL bounds - >= -1403930 @ 1.8905
2.58/2.60 c GLOBAL bounds - >= -1403930 @ 1.91237
2.58/2.62 c GLOBAL bounds - >= -1403930 @ 1.92251
2.67/2.70 c GLOBAL bounds - >= -1403930 @ 1.99648
2.67/2.74 c GLOBAL bounds - >= -1403930 @ 2.02958
2.67/2.78 c GLOBAL bounds - >= -1403930 @ 2.06167
2.77/2.80 c GLOBAL bounds - >= -1403930 @ 2.07813
2.77/2.86 c GLOBAL bounds - >= -1403930 @ 2.1271
2.77/2.88 c GLOBAL bounds - >= -1403930 @ 2.14913
2.87/2.91 c GLOBAL bounds - >= -1403930 @ 2.16959
2.87/2.94 c GLOBAL bounds - >= -1403930 @ 2.19
2.87/2.96 c GLOBAL bounds - >= -1403930 @ 2.20694
2.87/2.99 c GLOBAL bounds - >= -1403930 @ 2.23048
2.97/3.02 c GLOBAL bounds - >= -1403930 @ 2.25645
2.97/3.04 c GLOBAL bounds - >= -1403930 @ 2.27173
2.97/3.09 c GLOBAL bounds - >= -1403930 @ 2.31215
3.08/3.19 c GLOBAL bounds - >= -1403930 @ 2.40376
3.17/3.24 c GLOBAL bounds - >= -1403930 @ 2.45613
3.27/3.31 c GLOBAL bounds - >= -1403930 @ 2.51758
3.67/3.72 c GLOBAL bounds - >= -1403930 @ 2.9051
3.67/3.76 c GLOBAL bounds - >= -1403930 @ 2.93902
3.77/3.81 c GLOBAL bounds - >= -1403930 @ 2.9797
3.77/3.86 c GLOBAL bounds - >= -1403930 @ 3.01554
3.87/3.91 c GLOBAL bounds - >= -1403930 @ 3.05986
3.87/3.95 c GLOBAL bounds - >= -1403930 @ 3.09076
3.97/4.08 c GLOBAL bounds - >= -1403930 @ 3.21618
4.08/4.12 c GLOBAL bounds - >= -1403930 @ 3.24638
4.08/4.16 c GLOBAL bounds - >= -1403930 @ 3.27742
5.86/5.92 c GLOBAL bounds - >= -1403930 @ 5.00758
9.96/10.02 c GLOBAL bounds - >= -1403930 @ 9.07164
11.25/11.38 c #Conflicts: 1000 | #Constraints: 1625
11.25/11.38 c GLOBAL bounds - >= -1403930 @ 10.4131
16.34/16.42 c GLOBAL bounds - >= -1403930 @ 15.3932
24.71/24.89 c GLOBAL bounds - >= -1403930 @ 23.7865
25.61/25.70 c GLOBAL bounds - >= -1403930 @ 24.5891
28.10/28.26 c #Conflicts: 2000 | #Constraints: 2633
28.10/28.26 c INPROCESSING
28.10/28.26 c GARBAGE COLLECT
28.10/28.26 c GLOBAL bounds - >= -1403930 @ 27.1174
30.20/30.34 c GLOBAL bounds - >= -1403930 @ 29.1736
32.09/32.21 c GLOBAL bounds - >= -1403930 @ 31.0229
32.19/32.32 c GLOBAL bounds - >= -1403930 @ 31.1296
32.99/33.19 c GLOBAL bounds - >= -1403930 @ 31.9941
42.26/42.41 c #Conflicts: 3000 | #Constraints: 2647
42.26/42.41 c GLOBAL bounds - >= -1403930 @ 41.1475
42.56/42.70 c GLOBAL bounds - >= -1403930 @ 41.4312
43.26/43.49 c GLOBAL bounds - >= -1403930 @ 42.2064
43.56/43.79 c GLOBAL bounds - >= -1403930 @ 42.499
43.75/43.98 c GLOBAL bounds - >= -1403930 @ 42.6796
45.75/45.90 c GLOBAL bounds - >= -1403930 @ 44.5741
51.24/51.49 c GLOBAL bounds - >= -1403930 @ 50.1111
55.52/55.71 c #Conflicts: 4000 | #Constraints: 3661
55.52/55.71 c GLOBAL bounds - >= -1403930 @ 54.3002
60.82/61.02 c INPROCESSING
60.82/61.02 c GARBAGE COLLECT
60.82/61.02 c GLOBAL bounds - >= -1403930 @ 59.5537
65.10/65.32 c GLOBAL bounds - >= -1403930 @ 63.8219
75.88/76.12 c #Conflicts: 5000 | #Constraints: 3071
75.88/76.12 c GLOBAL bounds - >= -1403930 @ 74.5541
134.10/134.51 c #Conflicts: 6000 | #Constraints: 4073
134.10/134.51 c INPROCESSING
134.10/134.51 c GARBAGE COLLECT
134.10/134.51 c #Conflicts: 7000 | #Constraints: 3081
134.10/134.51 c #Conflicts: 8000 | #Constraints: 4081
134.10/134.51 c GLOBAL bounds - >= -1403930 @ 132.659
137.49/137.93 c GLOBAL bounds - >= -1403930 @ 136.053
150.45/150.96 c #Conflicts: 9000 | #Constraints: 5085
150.45/150.96 c INPROCESSING
150.45/150.96 c GARBAGE COLLECT
150.45/150.96 c GLOBAL bounds - >= -1403930 @ 148.986
150.66/151.17 c GLOBAL bounds - >= -1403930 @ 149.188
216.67/217.34 c #Conflicts: 10000 | #Constraints: 3788
216.67/217.34 c #Conflicts: 11000 | #Constraints: 4788
216.67/217.34 c GLOBAL bounds - >= -1403930 @ 215.043
293.86/294.76 c #Conflicts: 12000 | #Constraints: 5790
293.86/294.76 c INPROCESSING
293.86/294.76 c GARBAGE COLLECT
293.86/294.76 c #Conflicts: 13000 | #Constraints: 4242
293.86/294.76 c #Conflicts: 14000 | #Constraints: 5242
293.86/294.76 c #Conflicts: 15000 | #Constraints: 6242
293.86/294.76 c INPROCESSING
293.86/294.76 c GARBAGE COLLECT
293.86/294.76 c GLOBAL bounds - >= -1403930 @ 292.068
296.75/297.68 c GLOBAL bounds - >= -1403930 @ 294.967
379.92/381.04 c #Conflicts: 16000 | #Constraints: 4473
379.92/381.04 c #Conflicts: 17000 | #Constraints: 5473
379.92/381.04 c #Conflicts: 18000 | #Constraints: 6473
379.92/381.04 c GLOBAL bounds - >= -1403930 @ 378.008
384.51/385.65 c GLOBAL bounds - >= -1403930 @ 382.591
402.86/404.07 c INPROCESSING
402.86/404.07 c GARBAGE COLLECT
402.86/404.07 c #Conflicts: 19000 | #Constraints: 4482
402.86/404.07 c GLOBAL bounds - >= -1403930 @ 400.923
418.82/420.07 c GLOBAL bounds - >= -1403930 @ 416.839
474.16/475.57 c #Conflicts: 20000 | #Constraints: 5486
474.16/475.57 c #Conflicts: 21000 | #Constraints: 6486
474.16/475.57 c GLOBAL bounds - >= -1403930 @ 472.083
474.46/475.86 c GLOBAL bounds - >= -1403930 @ 472.367
504.77/506.24 c INPROCESSING
504.77/506.24 c GARBAGE COLLECT
504.77/506.24 c #Conflicts: 22000 | #Constraints: 4297
504.77/506.24 c GLOBAL bounds - >= -1403930 @ 502.604
629.81/631.64 c #Conflicts: 23000 | #Constraints: 5299
629.81/631.64 c #Conflicts: 24000 | #Constraints: 6299
629.81/631.64 c #Conflicts: 25000 | #Constraints: 7299
629.81/631.64 c INPROCESSING
629.81/631.64 c GARBAGE COLLECT
629.81/631.64 c #Conflicts: 26000 | #Constraints: 4905
629.81/631.64 c #Conflicts: 27000 | #Constraints: 5905
629.81/631.64 c GLOBAL bounds - >= -1403930 @ 627.419
637.98/639.84 c GLOBAL bounds - >= -1403930 @ 635.562
644.87/646.75 c GLOBAL bounds - >= -1403930 @ 642.439
746.57/748.70 c #Conflicts: 28000 | #Constraints: 6911
746.57/748.70 c #Conflicts: 29000 | #Constraints: 7911
746.57/748.70 c INPROCESSING
746.57/748.70 c GARBAGE COLLECT
746.57/748.70 c #Conflicts: 30000 | #Constraints: 5316
746.57/748.70 c GLOBAL bounds - >= -1403930 @ 743.915
841.29/843.78 c #Conflicts: 31000 | #Constraints: 6318
841.29/843.78 c #Conflicts: 32000 | #Constraints: 7318
841.29/843.78 c GLOBAL bounds - >= -1403930 @ 838.582
1362.73/1366.74 c #Conflicts: 33000 | #Constraints: 8320
1362.73/1366.74 c INPROCESSING
1362.73/1366.74 c GARBAGE COLLECT
1362.73/1366.74 c #Conflicts: 34000 | #Constraints: 5519
1362.73/1366.74 c #Conflicts: 35000 | #Constraints: 6519
1362.73/1366.74 c #Conflicts: 36000 | #Constraints: 7519
1362.73/1366.74 c #Conflicts: 37000 | #Constraints: 8519
1362.73/1366.74 c INPROCESSING
1362.73/1366.74 c GARBAGE COLLECT
1362.73/1366.74 c #Conflicts: 38000 | #Constraints: 5527
1362.73/1366.74 c #Conflicts: 39000 | #Constraints: 6527
1362.73/1366.74 c #Conflicts: 40000 | #Constraints: 7527
1362.73/1366.74 c #Conflicts: 41000 | #Constraints: 8527
1362.73/1366.74 c INPROCESSING
1362.73/1366.74 c GARBAGE COLLECT
1362.73/1366.74 c #Conflicts: 42000 | #Constraints: 5335
1362.73/1366.74 c #Conflicts: 43000 | #Constraints: 6335
1362.73/1366.74 c #Conflicts: 44000 | #Constraints: 7335
1362.73/1366.74 c #Conflicts: 45000 | #Constraints: 8335
1362.73/1366.74 c #Conflicts: 46000 | #Constraints: 9335
1362.73/1366.74 c INPROCESSING
1362.73/1366.74 c GARBAGE COLLECT
1362.73/1366.74 c #Conflicts: 47000 | #Constraints: 5941
1362.73/1366.74 c #Conflicts: 48000 | #Constraints: 6941
1362.73/1366.74 c #Conflicts: 49000 | #Constraints: 7941
1362.73/1366.74 c GLOBAL bounds - >= -1403930 @ 1359.31
1363.32/1367.33 c GLOBAL bounds - >= -1403930 @ 1359.9
1602.79/1607.59 c #Conflicts: 50000 | #Constraints: 8945
1602.79/1607.59 c #Conflicts: 51000 | #Constraints: 9945
1602.79/1607.59 c INPROCESSING
1602.79/1607.59 c GARBAGE COLLECT
1602.79/1607.59 c #Conflicts: 52000 | #Constraints: 6337
1602.79/1607.59 c #Conflicts: 53000 | #Constraints: 7337
1602.79/1607.59 c #Conflicts: 54000 | #Constraints: 8337
1602.79/1607.59 c #Conflicts: 55000 | #Constraints: 9337
1602.79/1607.59 c #Conflicts: 56000 | #Constraints: 10337
1602.79/1607.59 c INPROCESSING
1602.79/1607.59 c GARBAGE COLLECT
1602.79/1607.59 c #Conflicts: 57000 | #Constraints: 6536
1602.79/1607.59 c GLOBAL bounds - >= -1403930 @ 1599.05
1762.80/1768.10 c #Conflicts: 58000 | #Constraints: 7538
1762.80/1768.10 c #Conflicts: 59000 | #Constraints: 8538
1762.80/1768.10 c #Conflicts: 60000 | #Constraints: 9538
1762.80/1768.10 c #Conflicts: 61000 | #Constraints: 10538
1762.80/1768.10 c INPROCESSING
1762.80/1768.10 c GARBAGE COLLECT
1762.80/1768.10 c #Conflicts: 62000 | #Constraints: 6537
1762.80/1768.10 c GLOBAL bounds - >= -1403930 @ 1758.94
1878.04/1883.60 c #Conflicts: 63000 | #Constraints: 7539
1878.04/1883.60 c #Conflicts: 64000 | #Constraints: 8539
1878.04/1883.60 c #Conflicts: 65000 | #Constraints: 9539
1878.04/1883.60 c GLOBAL bounds - >= -1403930 @ 1873.96
1882.53/1888.13 c GLOBAL bounds - >= -1403930 @ 1878.46
2121.59/2127.93 c #Conflicts: 66000 | #Constraints: 10543
2121.59/2127.93 c INPROCESSING
2121.59/2127.93 c GARBAGE COLLECT
2121.59/2127.93 c #Conflicts: 67000 | #Constraints: 6346
2121.59/2127.93 c #Conflicts: 68000 | #Constraints: 7346
2121.59/2127.93 c #Conflicts: 69000 | #Constraints: 8346
2121.59/2127.93 c #Conflicts: 70000 | #Constraints: 9346
2121.59/2127.93 c #Conflicts: 71000 | #Constraints: 10346
2121.59/2127.93 c #Conflicts: 72000 | #Constraints: 11346
2121.59/2127.93 c INPROCESSING
2121.59/2127.93 c GARBAGE COLLECT
2121.59/2127.93 c GLOBAL bounds - >= -1403930 @ 2117.26
3154.59/3164.10 c #Conflicts: 73000 | #Constraints: 6943
3154.59/3164.10 c #Conflicts: 74000 | #Constraints: 7943
3154.59/3164.10 c #Conflicts: 75000 | #Constraints: 8943
3154.59/3164.10 c #Conflicts: 76000 | #Constraints: 9943
3154.59/3164.10 c #Conflicts: 77000 | #Constraints: 10943
3154.59/3164.10 c #Conflicts: 78000 | #Constraints: 11943
3154.59/3164.10 c INPROCESSING
3154.59/3164.10 c GARBAGE COLLECT
3154.59/3164.10 c #Conflicts: 79000 | #Constraints: 7341
3154.59/3164.10 c #Conflicts: 80000 | #Constraints: 8341
3154.59/3164.10 c #Conflicts: 81000 | #Constraints: 9341
3154.59/3164.10 c #Conflicts: 82000 | #Constraints: 10341
3154.59/3164.10 c #Conflicts: 83000 | #Constraints: 11341
3154.59/3164.10 c #Conflicts: 84000 | #Constraints: 12341
3154.59/3164.10 c INPROCESSING
3154.59/3164.10 c GARBAGE COLLECT
3154.59/3164.10 c #Conflicts: 85000 | #Constraints: 7544
3154.59/3164.10 c #Conflicts: 86000 | #Constraints: 8544
3154.59/3164.10 c #Conflicts: 87000 | #Constraints: 9544
3154.59/3164.10 c #Conflicts: 88000 | #Constraints: 10544
3154.59/3164.10 c #Conflicts: 89000 | #Constraints: 11544
3154.59/3164.10 c #Conflicts: 90000 | #Constraints: 12544
3154.59/3164.10 c INPROCESSING
3154.59/3164.10 c GARBAGE COLLECT
3154.59/3164.10 c #Conflicts: 91000 | #Constraints: 7556
3154.59/3164.10 c #Conflicts: 92000 | #Constraints: 8556
3154.59/3164.10 c #Conflicts: 93000 | #Constraints: 9556
3154.59/3164.10 c #Conflicts: 94000 | #Constraints: 10556
3154.59/3164.10 c #Conflicts: 95000 | #Constraints: 11556
3154.59/3164.10 c #Conflicts: 96000 | #Constraints: 12556
3154.59/3164.10 c INPROCESSING
3154.59/3164.10 c GARBAGE COLLECT
3154.59/3164.10 c #Conflicts: 97000 | #Constraints: 7361
3154.59/3164.10 c #Conflicts: 98000 | #Constraints: 8361
3154.59/3164.10 c #Conflicts: 99000 | #Constraints: 9361
3154.59/3164.10 c #Conflicts: 100000 | #Constraints: 10361
3154.59/3164.10 c #Conflicts: 101000 | #Constraints: 11361
3154.59/3164.10 c #Conflicts: 102000 | #Constraints: 12361
3154.59/3164.10 c #Conflicts: 103000 | #Constraints: 13361
3154.59/3164.10 c INPROCESSING
3154.59/3164.10 c GARBAGE COLLECT
3154.59/3164.10 c GLOBAL bounds - >= -1403930 @ 3149.57
3208.22/3217.83 c #Conflicts: 104000 | #Constraints: 7974
3208.22/3217.83 c #Conflicts: 105000 | #Constraints: 8974
3208.22/3217.83 c GLOBAL bounds - >= -1403930 @ 3203.07
3356.98/3367.01 c #Conflicts: 106000 | #Constraints: 9976
3356.98/3367.01 c #Conflicts: 107000 | #Constraints: 10976
3356.98/3367.01 c #Conflicts: 108000 | #Constraints: 11976
3356.98/3367.01 c #Conflicts: 109000 | #Constraints: 12976
3356.98/3367.01 c GLOBAL bounds - >= -1403930 @ 3351.59
3414.01/3424.27 c #Conflicts: 110000 | #Constraints: 13978
3414.01/3424.27 c INPROCESSING
3414.01/3424.27 c GARBAGE COLLECT
3414.01/3424.27 c GLOBAL bounds - >= -1403930 @ 3408.64
3421.49/3431.76 c GLOBAL bounds - >= -1403930 @ 3416.09
3456.88/3467.25 c #Conflicts: 111000 | #Constraints: 8370
3456.88/3467.25 c GLOBAL bounds - >= -1403930 @ 3451.43
3487.10/3497.56 c #Conflicts: 112000 | #Constraints: 9372
3487.10/3497.56 c GLOBAL bounds - >= -1403930 @ 3481.59
3493.28/3503.77 c GLOBAL bounds - >= -1403930 @ 3487.76
3535.74/3546.33 c #Conflicts: 113000 | #Constraints: 10376
3535.74/3546.33 c #Conflicts: 114000 | #Constraints: 11376
3535.74/3546.33 c GLOBAL bounds - >= -1403930 @ 3530.15
3600.05/3610.88 c #Conflicts: 115000 | #Constraints: 12378
3600.05/3610.88 c cpu time 3594.43 s
3600.05/3610.88 c deterministic time 1 1.00e+00
3600.05/3610.88 c optimization time 3594.41 s
3600.05/3610.88 c total solve time 0 s
3600.05/3610.88 c core-guided solve time 0 s
3600.05/3610.88 c propagation time 0.00018 s
3600.05/3610.88 c conflict analysis time 0 s
3600.05/3610.88 c propagations 0
3600.05/3610.88 c resolve steps 0
3600.05/3610.88 c decisions 0
3600.05/3610.88 c conflicts 0
3600.05/3610.88 c restarts 0
3600.05/3610.88 c inprocessing phases 0
3600.05/3610.88 c garbage collections 0 ,( -nan )
3600.05/3610.88 c input clauses 19 ,( 5.92 )
3600.05/3610.88 c input cardinalities 302 ,( 94.08 )
3600.05/3610.88 c input general constraints 0 ,( 0.00 )
3600.05/3610.88 c input average constraint length 117.53
3600.05/3610.88 c input average constraint degree 116.53
3600.05/3610.88 c learned clauses 0 ,( 0.00 )
3600.05/3610.88 c learned cardinalities 0 ,( 0.00 )
3600.05/3610.88 c learned general constraints 0 ,( 0.00 )
3600.05/3610.88 c learned average constraint length 0.00
3600.05/3610.88 c learned average constraint degree 0.00
3600.05/3610.88 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.05/3610.88 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.05/3610.88 c watched constraints 0 ,( -nan )
3600.05/3610.88 c counting constraints 0 ,( -nan )
3600.05/3610.88 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.05/3610.88 c gcd simplifications 0
3600.05/3610.88 c detected cardinalities 0
3600.05/3610.88 c weakened non-implied lits 0
3600.05/3610.88 c weakened non-implying lits 0
3600.05/3610.88 c original variables 12816
3600.05/3610.88 c clausal propagations 0
3600.05/3610.88 c cardinality propagations 0
3600.05/3610.88 c watched propagations 0
3600.05/3610.88 c counting propagations 0
3600.05/3610.88 c watch lookups 0
3600.05/3610.88 c watch backjump lookups 0
3600.05/3610.88 c watch checks 0
3600.05/3610.88 c propagation checks 0
3600.05/3610.88 c constraint additions 0
3600.05/3610.88 c trail pops 0
3600.05/3610.88 c formula constraints 321
3600.05/3610.88 c learned constraints 0
3600.05/3610.88 c bound constraints 0
3600.05/3610.88 c core-guided constraints 0
3600.05/3610.88 c encountered formula constraints 0
3600.05/3610.88 c encountered learned constraints 0
3600.05/3610.88 c encountered bound constraints 0
3600.05/3610.88 c encountered core-guided constraints 0
3600.05/3610.88 c LP total time 0 s
3600.05/3610.88 c LP solve time 0 s
3600.05/3610.88 c LP constraints added 0
3600.05/3610.88 c LP constraints removed 0
3600.05/3610.88 c LP pivots internal 0
3600.05/3610.88 c LP pivots root 0
3600.05/3610.88 c LP calls 0
3600.05/3610.88 c LP optimalities 0
3600.05/3610.88 c LP no pivot count 0
3600.05/3610.88 c LP infeasibilities 0
3600.05/3610.88 c LP valid Farkas constraints 0
3600.05/3610.88 c LP learned Farkas constraints 0
3600.05/3610.88 c LP basis resets 0
3600.05/3610.88 c LP cycling count 0
3600.05/3610.88 c LP singular count 0
3600.05/3610.88 c LP no primal count 0
3600.05/3610.88 c LP no farkas count 0
3600.05/3610.88 c LP other issue count 0
3600.05/3610.88 c LP Gomory cuts 0
3600.05/3610.88 c LP learned cuts 0
3600.05/3610.88 c LP deleted cuts 0
3600.05/3610.88 c LP encountered Gomory constraints 0
3600.05/3610.88 c LP encountered Farkas constraints 0
3600.05/3610.88 c LP encountered learned Farkas constraints 0
3600.05/3610.88 c CG auxiliary variables introduced 0
3600.05/3610.88 c CG solutions found 0
3600.05/3610.88 c CG cores constructed 0
3600.05/3610.88 c CG core cardinality constraints returned 0
3600.05/3610.88 c CG unit cores 0
3600.05/3610.88 c CG single cores 0
3600.05/3610.88 c CG blocks removed during cardinality reduction 0
3600.05/3610.88 c CG first core best 0
3600.05/3610.88 c CG decision core best 0
3600.05/3610.88 c CG core reduction tie 0
3600.05/3610.88 c CG core degree average 0.00
3600.05/3610.88 c CG core slack average 0.00
3600.05/3610.88 c CG core upper bound improvements 0
3600.05/3610.88 c STR number of successful calls 0
3600.05/3610.88 c STR number of unsuccessful calls 0
3600.05/3610.88 c STR number of inconclusive calls 0
3600.05/3610.88 c STR number of successful attempts 0
3600.05/3610.88 c STR number of unsuccessful attempts 0
3600.05/3610.88 c STR number of inconclusive attempts 0
3600.05/3610.88 c STR average degree increase per successful call inf
3600.05/3610.88 c STR average degree increase per successful attempt inf
3600.05/3610.88 c STR total number of conflicts for successful attempts 0
3600.05/3610.88 c STR total number of conflicts for unsuccessful attempts 0
3600.05/3610.88 c STR total number of conflicts for inconclusive attempts 0
3600.05/3610.88 c STR average number of conflicts per successful attempt inf
3600.05/3610.88 c STR average number of conflicts per unsuccessful attempt inf
3600.05/3610.88 c STR average number of conflicts per inconclusive attempt inf
3600.05/3610.88 c AVG.sumWPerc -nan
3600.05/3610.88 c bigint constraints 0
3600.05/3610.88 s UNKNOWN
3600.05/3610.88 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (57609 MiB free)
memory of node 1: 64507 MiB (49036 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4523332-1751650369/watcher-4523332-1751650369 -o /tmp/evaluation-result-4523332-1751650369/solver-4523332-1751650369 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751647175-101046 --watchdog 3760 run-opt.sh HOME/instance-4523332-1751650369.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=101419, runsolver pid=101416
[startup+0.100056 s]*
/proc/loadavg: 4.17 4.13 4.05 5/271 101421
/proc/meminfo: memFree=109206488/131249996 swapFree=33010416/33010684
[pid=101419] ppid=101416 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/101419/stat : 101419 (run-opt.sh) S 101416 101419 100629 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 80714640 4292608 768 18446744073709551615 94584272347136 94584273241669 140725321005232 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94584273480720 94584273528464 94584294875136 140725321013611 140725321013734 140725321013734 140725321019338 0
/proc/101419/statm: 1048 768 704 219 0 110 0
[pid=101421] ppid=101419 vsize=70732 memory=23128 CPUtime=0.08 cores=1,3
/proc/101421/stat : 101421 (roundingsat) R 101419 101419 100629 0 -1 4194304 4036 0 0 0 5 3 0 0 20 0 1 0 80714641 72429568 5782 18446744073709551615 4227072 8923433 140723560279056 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25231360 140723560286624 140723560286758 140723560286758 140723560292330 0
/proc/101421/statm: 17683 5782 2336 1147 0 5110 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 74924 KiB
Current children cumulated memory: 26200 KiB
[startup+0.205724 s]*
/proc/loadavg: 4.17 4.13 4.05 5/271 101421
/proc/meminfo: memFree=109202392/131249996 swapFree=33010416/33010684
[pid=101419] ppid=101416 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/101419/stat : 101419 (run-opt.sh) S 101416 101419 100629 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 80714640 4292608 768 18446744073709551615 94584272347136 94584273241669 140725321005232 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94584273480720 94584273528464 94584294875136 140725321013611 140725321013734 140725321013734 140725321019338 0
/proc/101419/statm: 1048 768 704 219 0 110 0
[pid=101421] ppid=101419 vsize=71892 memory=23896 CPUtime=0.19 cores=1,3
/proc/101421/stat : 101421 (roundingsat) R 101419 101419 100629 0 -1 4194304 4256 0 0 0 12 7 0 0 20 0 1 0 80714641 73617408 5974 18446744073709551615 4227072 8923433 140723560279056 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25231360 140723560286624 140723560286758 140723560286758 140723560292330 0
/proc/101421/statm: 17973 5974 2336 1147 0 5400 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 76084 KiB
Current children cumulated memory: 26968 KiB
[startup+0.305703 s]*
/proc/loadavg: 4.17 4.13 4.05 5/271 101421
/proc/meminfo: memFree=109202392/131249996 swapFree=33010416/33010684
[pid=101419] ppid=101416 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/101419/stat : 101419 (run-opt.sh) S 101416 101419 100629 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 80714640 4292608 768 18446744073709551615 94584272347136 94584273241669 140725321005232 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94584273480720 94584273528464 94584294875136 140725321013611 140725321013734 140725321013734 140725321019338 0
/proc/101419/statm: 1048 768 704 219 0 110 0
[pid=101421] ppid=101419 vsize=71892 memory=24664 CPUtime=0.29 cores=1,3
/proc/101421/stat : 101421 (roundingsat) R 101419 101419 100629 0 -1 4194304 4424 0 0 0 19 10 0 0 20 0 1 0 80714641 73617408 6166 18446744073709551615 4227072 8923433 140723560279056 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25231360 140723560286624 140723560286758 140723560286758 140723560292330 0
/proc/101421/statm: 17973 6166 2336 1147 0 5400 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 76084 KiB
Current children cumulated memory: 27736 KiB
[startup+0.700189 s]
/proc/loadavg: 4.17 4.13 4.05 5/271 101421
/proc/meminfo: memFree=109210456/131249996 swapFree=33010416/33010684
[pid=101419] ppid=101416 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/101419/stat : 101419 (run-opt.sh) S 101416 101419 100629 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 80714640 4292608 768 18446744073709551615 94584272347136 94584273241669 140725321005232 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94584273480720 94584273528464 94584294875136 140725321013611 140725321013734 140725321013734 140725321019338 0
/proc/101419/statm: 1048 768 704 219 0 110 0
[pid=101421] ppid=101419 vsize=79032 memory=29528 CPUtime=0.68 cores=1,3
/proc/101421/stat : 101421 (roundingsat) R 101419 101419 100629 0 -1 4194304 5661 0 0 0 47 21 0 0 20 0 1 0 80714641 80928768 7382 18446744073709551615 4227072 8923433 140723560279056 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25231360 140723560286624 140723560286758 140723560286758 140723560292330 0
/proc/101421/statm: 19758 7382 2336 1147 0 7185 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 83224 KiB
Current children cumulated memory: 32600 KiB
[startup+1.50021 s]
/proc/loadavg: 4.17 4.13 4.05 5/271 101421
/proc/meminfo: memFree=109206360/131249996 swapFree=33010416/33010684
[pid=101419] ppid=101416 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/101419/stat : 101419 (run-opt.sh) S 101416 101419 100629 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 80714640 4292608 768 18446744073709551615 94584272347136 94584273241669 140725321005232 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94584273480720 94584273528464 94584294875136 140725321013611 140725321013734 140725321013734 140725321019338 0
/proc/101419/statm: 1048 768 704 219 0 110 0
[pid=101421] ppid=101419 vsize=87040 memory=40944 CPUtime=1.47 cores=1,3
/proc/101421/stat : 101421 (roundingsat) R 101419 101419 100629 0 -1 4194304 6943 0 0 0 105 42 0 0 20 0 1 0 80714641 89128960 10236 18446744073709551615 4227072 8923433 140723560279056 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25231360 140723560286624 140723560286758 140723560286758 140723560292330 0
/proc/101421/statm: 21760 10236 2368 1147 0 9187 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 91232 KiB
Current children cumulated memory: 44016 KiB
[startup+3.10544 s]
/proc/loadavg: 4.17 4.13 4.05 5/271 101421
/proc/meminfo: memFree=109211732/131249996 swapFree=33010416/33010684
[pid=101419] ppid=101416 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/101419/stat : 101419 (run-opt.sh) S 101416 101419 100629 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 80714640 4292608 768 18446744073709551615 94584272347136 94584273241669 140725321005232 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94584273480720 94584273528464 94584294875136 140725321013611 140725321013734 140725321013734 140725321019338 0
/proc/101419/statm: 1048 768 704 219 0 110 0
[pid=101421] ppid=101419 vsize=121256 memory=63076 CPUtime=3.08 cores=1,3
/proc/101421/stat : 101421 (roundingsat) R 101419 101419 100629 0 -1 4194304 8898 0 0 0 232 76 0 0 20 0 1 0 80714641 124166144 15769 18446744073709551615 4227072 8923433 140723560279056 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25231360 140723560286624 140723560286758 140723560286758 140723560292330 0
/proc/101421/statm: 30314 15769 2368 1147 0 17741 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 125448 KiB
Current children cumulated memory: 66148 KiB
[startup+6.30018 s]
/proc/loadavg: 4.16 4.13 4.04 5/270 101421
/proc/meminfo: memFree=109230168/131249996 swapFree=33010416/33010684
[pid=101419] ppid=101416 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/101419/stat : 101419 (run-opt.sh) S 101416 101419 100629 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 80714640 4292608 768 18446744073709551615 94584272347136 94584273241669 140725321005232 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94584273480720 94584273528464 94584294875136 140725321013611 140725321013734 140725321013734 140725321019338 0
/proc/101419/statm: 1048 768 704 219 0 110 0
[pid=101421] ppid=101419 vsize=160376 memory=106512 CPUtime=6.26 cores=1,3
/proc/101421/stat : 101421 (roundingsat) R 101419 101419 100629 0 -1 4194304 11579 0 0 0 537 89 0 0 20 0 1 0 80714641 164225024 26628 18446744073709551615 4227072 8923433 140723560279056 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25231360 140723560286624 140723560286758 140723560286758 140723560292330 0
/proc/101421/statm: 40094 26628 2368 1147 0 27521 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 164568 KiB
Current children cumulated memory: 109584 KiB
[startup+12.7002 s]
/proc/loadavg: 4.15 4.12 4.04 5/270 101421
/proc/meminfo: memFree=109255492/131249996 swapFree=33010416/33010684
[pid=101419] ppid=101416 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/101419/stat : 101419 (run-opt.sh) S 101416 101419 100629 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 80714640 4292608 768 18446744073709551615 94584272347136 94584273241669 140725321005232 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94584273480720 94584273528464 94584294875136 140725321013611 140725321013734 140725321013734 140725321019338 0
/proc/101419/statm: 1048 768 704 219 0 110 0
[pid=101421] ppid=101419 vsize=218916 memory=161832 CPUtime=12.64 cores=1,3
/proc/101421/stat : 101421 (roundingsat) R 101419 101419 100629 0 -1 4194304 14215 0 0 0 1170 94 0 0 20 0 1 0 80714641 224169984 40458 18446744073709551615 4227072 8923433 140723560279056 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25231360 140723560286624 140723560286758 140723560286758 140723560292330 0
/proc/101421/statm: 54729 40458 2368 1147 0 42156 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 223108 KiB
Current children cumulated memory: 164904 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.12 4.04 5/270 101422
/proc/meminfo: memFree=109334636/131249996 swapFree=33010416/33010684
[pid=101419] ppid=101416 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/101419/stat : 101419 (run-opt.sh) S 101416 101419 100629 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 80714640 4292608 768 18446744073709551615 94584272347136 94584273241669 140725321005232 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94584273480720 94584273528464 94584294875136 140725321013611 140725321013734 140725321013734 140725321019338 0
/proc/101419/statm: 1048 768 704 219 0 110 0
[pid=101421] ppid=101419 vsize=318144 memory=243328 CPUtime=25.41 cores=1,3
/proc/101421/stat : 101421 (roundingsat) R 101419 101419 100629 0 -1 4194304 19233 0 0 0 2438 103 0 0 20 0 1 0 80714641 325779456 60832 18446744073709551615 4227072 8923433 140723560279056 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25231360 140723560286624 140723560286758 140723560286758 140723560292330 0
/proc/101421/statm: 79536 60832 2368 1147 0 66963 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 322336 KiB
Current children cumulated memory: 246400 KiB
[startup+51.1056 s]
/proc/loadavg: 4.22 4.14 4.05 5/270 101422
/proc/meminfo: memFree=109528004/131249996 swapFree=33010416/33010684
[pid=101419] ppid=101416 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/101419/stat : 101419 (run-opt.sh) S 101416 101419 100629 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 80714640 4292608 768 18446744073709551615 94584272347136 94584273241669 140725321005232 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94584273480720 94584273528464 94584294875136 140725321013611 140725321013734 140725321013734 140725321019338 0
/proc/101419/statm: 1048 768 704 219 0 110 0
[pid=101421] ppid=101419 vsize=495860 memory=352152 CPUtime=50.94 cores=1,3
/proc/101421/stat : 101421 (roundingsat) R 101419 101419 100629 0 -1 4194304 30599 0 0 0 4972 122 0 0 20 0 1 0 80714641 507760640 88038 18446744073709551615 4227072 8923433 140723560279056 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25231360 140723560286624 140723560286758 140723560286758 140723560292330 0
/proc/101421/statm: 123965 88038 2368 1147 0 111392 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 500052 KiB
Current children cumulated memory: 355224 KiB
[startup+102.3 s]
/proc/loadavg: 4.32 4.19 4.08 5/270 101425
/proc/meminfo: memFree=109604696/131249996 swapFree=33010416/33010684
[pid=101419] ppid=101416 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/101419/stat : 101419 (run-opt.sh) S 101416 101419 100629 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 80714640 4292608 768 18446744073709551615 94584272347136 94584273241669 140725321005232 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94584273480720 94584273528464 94584294875136 140725321013611 140725321013734 140725321013734 140725321019338 0
/proc/101419/statm: 1048 768 704 219 0 110 0
[pid=101421] ppid=101419 vsize=534884 memory=463920 CPUtime=101.99 cores=1,3
/proc/101421/stat : 101421 (roundingsat) R 101419 101419 100629 0 -1 4194304 39700 0 0 0 10061 138 0 0 20 0 1 0 80714641 547721216 115980 18446744073709551615 4227072 8923433 140723560279056 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25231360 140723560286624 140723560286758 140723560286758 140723560292330 0
/proc/101421/statm: 133721 115980 2368 1147 0 121148 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 539076 KiB
Current children cumulated memory: 466992 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.17 4.08 5/270 101427
/proc/meminfo: memFree=109662896/131249996 swapFree=33010416/33010684
[pid=101419] ppid=101416 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/101419/stat : 101419 (run-opt.sh) S 101416 101419 100629 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 80714640 4292608 768 18446744073709551615 94584272347136 94584273241669 140725321005232 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94584273480720 94584273528464 94584294875136 140725321013611 140725321013734 140725321013734 140725321019338 0
/proc/101419/statm: 1048 768 704 219 0 110 0
[pid=101421] ppid=101419 vsize=789188 memory=547532 CPUtime=161.82 cores=1,3
/proc/101421/stat : 101421 (roundingsat) R 101419 101419 100629 0 -1 4194304 48874 0 0 0 16023 159 0 0 20 0 1 0 80714641 808128512 136883 18446744073709551615 4227072 8923433 140723560279056 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25231360 140723560286624 140723560286758 140723560286758 140723560292330 0
/proc/101421/statm: 197297 136883 2368 1147 0 184724 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 793380 KiB
Current children cumulated memory: 550604 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.17 4.08 5/270 101429
/proc/meminfo: memFree=109480804/131249996 swapFree=33010416/33010684
[pid=101419] ppid=101416 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/101419/stat : 101419 (run-opt.sh) S 101416 101419 100629 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 80714640 4292608 768 18446744073709551615 94584272347136 94584273241669 140725321005232 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94584273480720 94584273528464 94584294875136 140725321013611 140725321013734 140725321013734 140725321019338 0
/proc/101419/statm: 1048 768 704 219 0 110 0
[pid=101421] ppid=101419 vsize=818324 memory=606936 CPUtime=221.66 cores=1,3
/proc/101421/stat : 101421 (roundingsat) R 101419 101419 100629 0 -1 4194304 55562 0 0 0 21996 170 0 0 20 0 1 0 80714641 837963776 151734 18446744073709551615 4227072 8923433 140723560279056 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25231360 140723560286624 140723560286758 140723560286758 140723560292330 0
/proc/101421/statm: 204581 151734 2368 1147 0 192008 0
Current children cumulated CPU time: 221.66 s
################
# More data... #
################
/proc/101421/statm: 528338 460601 2368 1147 0 515765 0
Current children cumulated CPU time: 3033.25 s
Current children cumulated vsize: 2117544 KiB
Current children cumulated memory: 1845476 KiB
[startup+3102.3 s]
/proc/loadavg: 3.11 3.09 3.14 4/259 101648
/proc/meminfo: memFree=113996732/131249996 swapFree=33010416/33010684
[pid=101419] ppid=101416 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/101419/stat : 101419 (run-opt.sh) S 101416 101419 100629 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 80714640 4292608 768 18446744073709551615 94584272347136 94584273241669 140725321005232 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94584273480720 94584273528464 94584294875136 140725321013611 140725321013734 140725321013734 140725321019338 0
/proc/101419/statm: 1048 768 704 219 0 110 0
[pid=101421] ppid=101419 vsize=2120296 memory=1847396 CPUtime=3093.07 cores=1,3
/proc/101421/stat : 101421 (roundingsat) R 101419 101419 100629 0 -1 4194304 252239 0 0 0 308803 504 0 0 20 0 1 0 80714641 2171183104 461849 18446744073709551615 4227072 8923433 140723560279056 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25231360 140723560286624 140723560286758 140723560286758 140723560292330 0
/proc/101421/statm: 530074 461849 2368 1147 0 517501 0
Current children cumulated CPU time: 3093.07 s
Current children cumulated vsize: 2124488 KiB
Current children cumulated memory: 1850468 KiB
[startup+3162.3 s]
/proc/loadavg: 2.65 2.98 3.10 3/252 101681
/proc/meminfo: memFree=115580044/131249996 swapFree=33010416/33010684
[pid=101419] ppid=101416 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/101419/stat : 101419 (run-opt.sh) S 101416 101419 100629 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 80714640 4292608 768 18446744073709551615 94584272347136 94584273241669 140725321005232 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94584273480720 94584273528464 94584294875136 140725321013611 140725321013734 140725321013734 140725321019338 0
/proc/101419/statm: 1048 768 704 219 0 110 0
[pid=101421] ppid=101419 vsize=2165612 memory=1903612 CPUtime=3152.89 cores=1,3
/proc/101421/stat : 101421 (roundingsat) R 101419 101419 100629 0 -1 4194304 260670 0 0 0 314777 512 0 0 20 0 1 0 80714641 2217586688 475903 18446744073709551615 4227072 8923433 140723560279056 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25231360 140723560286624 140723560286758 140723560286758 140723560292330 0
/proc/101421/statm: 541403 475903 2368 1147 0 528830 0
Current children cumulated CPU time: 3152.89 s
Current children cumulated vsize: 2169804 KiB
Current children cumulated memory: 1906684 KiB
[startup+3222.3 s]
/proc/loadavg: 2.28 2.81 3.04 3/252 101683
/proc/meminfo: memFree=115580392/131249996 swapFree=33010416/33010684
[pid=101419] ppid=101416 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/101419/stat : 101419 (run-opt.sh) S 101416 101419 100629 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 80714640 4292608 768 18446744073709551615 94584272347136 94584273241669 140725321005232 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94584273480720 94584273528464 94584294875136 140725321013611 140725321013734 140725321013734 140725321019338 0
/proc/101419/statm: 1048 768 704 219 0 110 0
[pid=101421] ppid=101419 vsize=2168940 memory=1906044 CPUtime=3212.71 cores=1,3
/proc/101421/stat : 101421 (roundingsat) R 101419 101419 100629 0 -1 4194304 261406 0 0 0 320750 521 0 0 20 0 1 0 80714641 2220994560 476511 18446744073709551615 4227072 8923433 140723560279056 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25231360 140723560286624 140723560286758 140723560286758 140723560292330 0
/proc/101421/statm: 542235 476511 2368 1147 0 529662 0
Current children cumulated CPU time: 3212.71 s
Current children cumulated vsize: 2173132 KiB
Current children cumulated memory: 1909116 KiB
[startup+3282.3 s]
/proc/loadavg: 2.16 2.68 2.97 3/252 101685
/proc/meminfo: memFree=115548264/131249996 swapFree=33010416/33010684
[pid=101419] ppid=101416 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/101419/stat : 101419 (run-opt.sh) S 101416 101419 100629 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 80714640 4292608 768 18446744073709551615 94584272347136 94584273241669 140725321005232 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94584273480720 94584273528464 94584294875136 140725321013611 140725321013734 140725321013734 140725321019338 0
/proc/101419/statm: 1048 768 704 219 0 110 0
[pid=101421] ppid=101419 vsize=2205168 memory=1932028 CPUtime=3272.53 cores=1,3
/proc/101421/stat : 101421 (roundingsat) R 101419 101419 100629 0 -1 4194304 268104 0 0 0 326720 533 0 0 20 0 1 0 80714641 2258092032 483007 18446744073709551615 4227072 8923433 140723560279056 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25231360 140723560286624 140723560286758 140723560286758 140723560292330 0
/proc/101421/statm: 551292 483007 2368 1147 0 538719 0
Current children cumulated CPU time: 3272.53 s
Current children cumulated vsize: 2209360 KiB
Current children cumulated memory: 1935100 KiB
[startup+3342.3 s]
/proc/loadavg: 2.10 2.57 2.91 3/253 101688
/proc/meminfo: memFree=115515540/131249996 swapFree=33010416/33010684
[pid=101419] ppid=101416 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/101419/stat : 101419 (run-opt.sh) S 101416 101419 100629 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 80714640 4292608 768 18446744073709551615 94584272347136 94584273241669 140725321005232 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94584273480720 94584273528464 94584294875136 140725321013611 140725321013734 140725321013734 140725321019338 0
/proc/101419/statm: 1048 768 704 219 0 110 0
[pid=101421] ppid=101419 vsize=2223220 memory=1946236 CPUtime=3332.35 cores=1,3
/proc/101421/stat : 101421 (roundingsat) R 101419 101419 100629 0 -1 4194304 271704 0 0 0 332697 538 0 0 20 0 1 0 80714641 2276577280 486559 18446744073709551615 4227072 8923433 140723560279056 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25231360 140723560286624 140723560286758 140723560286758 140723560292330 0
/proc/101421/statm: 555805 486559 2368 1147 0 543232 0
Current children cumulated CPU time: 3332.35 s
Current children cumulated vsize: 2227412 KiB
Current children cumulated memory: 1949308 KiB
[startup+3402.3 s]
/proc/loadavg: 2.14 2.49 2.87 3/253 101690
/proc/meminfo: memFree=115438956/131249996 swapFree=33010416/33010684
[pid=101419] ppid=101416 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/101419/stat : 101419 (run-opt.sh) S 101416 101419 100629 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 80714640 4292608 768 18446744073709551615 94584272347136 94584273241669 140725321005232 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94584273480720 94584273528464 94584294875136 140725321013611 140725321013734 140725321013734 140725321019338 0
/proc/101419/statm: 1048 768 704 219 0 110 0
[pid=101421] ppid=101419 vsize=2239476 memory=2018044 CPUtime=3392.18 cores=1,3
/proc/101421/stat : 101421 (roundingsat) R 101419 101419 100629 0 -1 4194304 274831 0 0 0 338674 544 0 0 20 0 1 0 80714641 2293223424 504511 18446744073709551615 4227072 8923433 140723560279056 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25231360 140723560286624 140723560286758 140723560286758 140723560292330 0
/proc/101421/statm: 559869 504511 2368 1147 0 547296 0
Current children cumulated CPU time: 3392.18 s
Current children cumulated vsize: 2243668 KiB
Current children cumulated memory: 2021116 KiB
[startup+3462.3 s]
/proc/loadavg: 2.05 2.40 2.81 3/253 101692
/proc/meminfo: memFree=115402096/131249996 swapFree=33010416/33010684
[pid=101419] ppid=101416 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/101419/stat : 101419 (run-opt.sh) S 101416 101419 100629 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 80714640 4292608 768 18446744073709551615 94584272347136 94584273241669 140725321005232 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94584273480720 94584273528464 94584294875136 140725321013611 140725321013734 140725321013734 140725321019338 0
/proc/101419/statm: 1048 768 704 219 0 110 0
[pid=101421] ppid=101419 vsize=2246772 memory=2035276 CPUtime=3452 cores=1,3
/proc/101421/stat : 101421 (roundingsat) R 101419 101419 100629 0 -1 4194304 276344 0 0 0 344649 551 0 0 20 0 1 0 80714641 2300694528 508819 18446744073709551615 4227072 8923433 140723560279056 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25231360 140723560286624 140723560286758 140723560286758 140723560292330 0
/proc/101421/statm: 561693 508819 2368 1147 0 549120 0
Current children cumulated CPU time: 3452 s
Current children cumulated vsize: 2250964 KiB
Current children cumulated memory: 2038348 KiB
[startup+3522.3 s]
/proc/loadavg: 2.14 2.36 2.77 3/253 101695
/proc/meminfo: memFree=115348736/131249996 swapFree=33010416/33010684
[pid=101419] ppid=101416 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/101419/stat : 101419 (run-opt.sh) S 101416 101419 100629 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 80714640 4292608 768 18446744073709551615 94584272347136 94584273241669 140725321005232 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94584273480720 94584273528464 94584294875136 140725321013611 140725321013734 140725321013734 140725321019338 0
/proc/101419/statm: 1048 768 704 219 0 110 0
[pid=101421] ppid=101419 vsize=2251892 memory=2038732 CPUtime=3511.82 cores=1,3
/proc/101421/stat : 101421 (roundingsat) R 101419 101419 100629 0 -1 4194304 277258 0 0 0 350622 560 0 0 20 0 1 0 80714641 2305937408 509683 18446744073709551615 4227072 8923433 140723560279056 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25231360 140723560286624 140723560286758 140723560286758 140723560292330 0
/proc/101421/statm: 562973 509683 2368 1147 0 550400 0
Current children cumulated CPU time: 3511.82 s
Current children cumulated vsize: 2256084 KiB
Current children cumulated memory: 2041804 KiB
[startup+3582.3 s]
/proc/loadavg: 2.11 2.31 2.72 3/253 101703
/proc/meminfo: memFree=115190536/131249996 swapFree=33010416/33010684
[pid=101419] ppid=101416 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/101419/stat : 101419 (run-opt.sh) S 101416 101419 100629 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 80714640 4292608 768 18446744073709551615 94584272347136 94584273241669 140725321005232 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94584273480720 94584273528464 94584294875136 140725321013611 140725321013734 140725321013734 140725321019338 0
/proc/101419/statm: 1048 768 704 219 0 110 0
[pid=101421] ppid=101419 vsize=2261492 memory=2045516 CPUtime=3571.64 cores=1,3
/proc/101421/stat : 101421 (roundingsat) R 101419 101419 100629 0 -1 4194304 279017 0 0 0 356596 568 0 0 20 0 1 0 80714641 2315767808 511379 18446744073709551615 4227072 8923433 140723560279056 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25231360 140723560286624 140723560286758 140723560286758 140723560292330 0
/proc/101421/statm: 565373 511379 2368 1147 0 552800 0
Current children cumulated CPU time: 3571.64 s
Current children cumulated vsize: 2265684 KiB
Current children cumulated memory: 2048588 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.8 s]
/proc/loadavg: 2.07 2.28 2.70 3/252 101704
/proc/meminfo: memFree=115182264/131249996 swapFree=33010416/33010684
[pid=101419] ppid=101416 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/101419/stat : 101419 (run-opt.sh) S 101416 101419 100629 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 80714640 4292608 768 18446744073709551615 94584272347136 94584273241669 140725321005232 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94584273480720 94584273528464 94584294875136 140725321013611 140725321013734 140725321013734 140725321019338 0
/proc/101419/statm: 1048 768 704 219 0 110 0
[pid=101421] ppid=101419 vsize=2265976 memory=2048716 CPUtime=3600.05 cores=1,3
/proc/101421/stat : 101421 (roundingsat) R 101419 101419 100629 0 -1 4194304 279822 0 0 0 359435 570 0 0 20 0 1 0 80714641 2320359424 512179 18446744073709551615 4227072 8923433 140723560279056 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25231360 140723560286624 140723560286758 140723560286758 140723560292330 0
/proc/101421/statm: 566494 512179 2368 1147 0 553921 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 2270168 KiB
Current children cumulated memory: 2051788 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.8 s]
# the end of solver process 101419 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.002483 s
Sleeping 2 seconds
[startup+3610.9 s]
# the end of solver process 101421 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3594.43 s, system=5.73433 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
Child status: 2
Real time (s): 3610.9
CPU time (s): 3600.17
CPU user time (s): 3594.43
CPU system time (s): 5.73433
CPU usage (%): 99.7027
Max. virtual memory (cumulated for all children) (KiB): 2270168
Max. memory (cumulated for all children) (KiB): 2051788
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.43
system time used= 5.73433
maximum resident set size= 2048972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 280049
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= 376
involuntary context switches= 4364
# summary of solver processes directly reported to runsolver:
# pid: 101419,101421
# total CPU time (s): 3600.17
# total CPU user time (s): 3594.43
# total CPU system time (s): 5.73433
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.08585 second user time and 16.2623 second system time
The end
Begin job on nodeC022 at 2025-07-04 19:32:49
IDJOB=4523332
IDBENCH=180110
IDSOLVER=3350
FILE ID=nodeC022/4523332-1751650369
RUNJOBID= nodeC022-1751647175-101046
SLURM_JOB_ID= 9672327
Free space on /tmp= 432248 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/KidneyTransplantBenchmarks/normalized-KE_410_001.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4523332-1751650369/watcher-4523332-1751650369 -o /tmp/evaluation-result-4523332-1751650369/solver-4523332-1751650369 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751647175-101046 --watchdog 3760 run-opt.sh HOME/instance-4523332-1751650369.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5497ad1e3ba537ab514ea8a0bae011ec
RANDOM SEED=55414811
nodeC022 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.709
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.44
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.720
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.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.633
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.44
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 : 3598.753
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.44
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.719
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.44
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.708
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.44
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 : 3601.706
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.44
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 : 3566.562
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.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 109206152 kB
MemAvailable: 116983680 kB
Buffers: 2128 kB
Cached: 8526372 kB
SwapCached: 32 kB
Active: 12087420 kB
Inactive: 7875216 kB
Active(anon): 11447988 kB
Inactive(anon): 4176 kB
Active(file): 639432 kB
Inactive(file): 7871040 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7560 kB
Writeback: 0 kB
AnonPages: 11434836 kB
Mapped: 118516 kB
Shmem: 18028 kB
KReclaimable: 212192 kB
Slab: 305248 kB
SReclaimable: 212192 kB
SUnreclaim: 93056 kB
KernelStack: 4400 kB
PageTables: 26460 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 13506484 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150632 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6658048 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432268 MiB
End job on nodeC022 at 2025-07-04 20:33:00