0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.01 c #variables 3000 #constraints 1
0.00/0.01 c objective is ce32
0.00/0.01 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.01 c initial counting CF 32, 64, 128, Arb: 2 , 0 , 0 , 0
0.00/0.01 c GLOBAL bounds - >= -1334827 @ 0.004401
0.00/0.02 c GLOBAL bounds - >= -1334827 @ 0.004637
0.00/0.02 c GLOBAL bounds - >= -1334827 @ 0.005861
0.00/0.02 c GLOBAL bounds - >= -1334827 @ 0.008815
0.00/0.03 c GLOBAL bounds - >= -1334827 @ 0.010613
0.00/0.03 c GLOBAL bounds - >= -1334827 @ 0.013242
0.00/0.03 c GLOBAL bounds - >= -1334827 @ 0.014625
0.00/0.04 c GLOBAL bounds - >= -1334827 @ 0.016575
0.00/0.04 c GLOBAL bounds - >= -1334827 @ 0.017993
0.00/0.04 c GLOBAL bounds - >= -1334827 @ 0.019913
0.00/0.05 c GLOBAL bounds - >= -1334827 @ 0.020617
0.00/0.05 c GLOBAL bounds - >= -1334827 @ 0.020617
0.00/0.05 c GLOBAL bounds - >= -1334827 @ 0.022413
0.00/0.06 c GLOBAL bounds - >= -1334827 @ 0.022923
0.00/0.06 c GLOBAL bounds - >= -1334827 @ 0.025787
0.00/0.06 c GLOBAL bounds - >= -1334827 @ 0.026533
0.00/0.07 c GLOBAL bounds - >= -1334827 @ 0.026533
0.00/0.07 c GLOBAL bounds - >= -1334827 @ 0.026533
0.00/0.07 c GLOBAL bounds - >= -1334827 @ 0.026912
0.00/0.08 c GLOBAL bounds - >= -1334827 @ 0.028434
0.00/0.08 c GLOBAL bounds - >= -1334827 @ 0.030808
0.00/0.08 c GLOBAL bounds - >= -1334827 @ 0.033788
0.00/0.09 c GLOBAL bounds - >= -1334827 @ 0.036079
0.00/0.09 c GLOBAL bounds - >= -1334827 @ 0.036465
0.00/0.09 c GLOBAL bounds - >= -1334827 @ 0.037827
0.00/0.10 c GLOBAL bounds - >= -1334827 @ 0.039966
0.00/0.10 c GLOBAL bounds - >= -1334827 @ 0.041111
0.09/0.10 c GLOBAL bounds - >= -1334827 @ 0.042457
0.09/0.11 c GLOBAL bounds - >= -1334827 @ 0.043761
0.09/0.11 c GLOBAL bounds - >= -1334827 @ 0.045096
0.09/0.11 c GLOBAL bounds - >= -1334827 @ 0.046607
0.09/0.12 c GLOBAL bounds - >= -1334827 @ 0.048796
0.09/0.13 c GLOBAL bounds - >= -1334827 @ 0.059307
0.09/0.13 c GLOBAL bounds - >= -1334827 @ 0.061577
0.19/0.25 c GLOBAL bounds - >= -1334827 @ 0.171411
0.19/0.25 c GLOBAL bounds - >= -1334827 @ 0.175376
0.19/0.26 c GLOBAL bounds - >= -1334827 @ 0.180206
0.49/0.52 c GLOBAL bounds - >= -1334827 @ 0.426483
0.49/0.53 c GLOBAL bounds - >= -1334827 @ 0.435473
0.49/0.54 c GLOBAL bounds - >= -1334827 @ 0.440735
0.49/0.55 c GLOBAL bounds - >= -1334827 @ 0.44499
0.49/0.55 c GLOBAL bounds - >= -1334827 @ 0.451312
0.49/0.56 c GLOBAL bounds - >= -1334827 @ 0.458986
0.49/0.57 c GLOBAL bounds - >= -1334827 @ 0.464252
0.49/0.57 c GLOBAL bounds - >= -1334827 @ 0.470374
0.49/0.58 c GLOBAL bounds - >= -1334827 @ 0.475989
0.49/0.59 c GLOBAL bounds - >= -1334827 @ 0.482227
0.49/0.59 c GLOBAL bounds - >= -1334827 @ 0.488415
0.68/0.72 c GLOBAL bounds - >= -1334827 @ 0.588069
0.68/0.79 c GLOBAL bounds - >= -1334827 @ 0.646923
0.78/0.82 c GLOBAL bounds - >= -1334827 @ 0.673037
0.78/0.83 c GLOBAL bounds - >= -1334827 @ 0.685345
0.78/0.86 c GLOBAL bounds - >= -1334827 @ 0.710881
0.87/1.00 c GLOBAL bounds - >= -1334827 @ 0.825942
0.98/1.01 c GLOBAL bounds - >= -1334827 @ 0.833339
0.98/1.07 c GLOBAL bounds - >= -1334827 @ 0.884523
1.48/1.55 c GLOBAL bounds - >= -1334827 @ 1.29755
1.48/1.57 c GLOBAL bounds - >= -1334827 @ 1.31116
1.48/1.59 c GLOBAL bounds - >= -1334827 @ 1.32831
1.58/1.66 c GLOBAL bounds - >= -1334827 @ 1.38341
1.58/1.69 c GLOBAL bounds - >= -1334827 @ 1.40804
1.68/1.72 c GLOBAL bounds - >= -1334827 @ 1.43061
1.68/1.74 c GLOBAL bounds - >= -1334827 @ 1.4538
1.78/1.84 c GLOBAL bounds - >= -1334827 @ 1.54601
1.88/1.92 c GLOBAL bounds - >= -1334827 @ 1.613
1.98/2.04 c GLOBAL bounds - >= -1334827 @ 1.71107
1.98/2.06 c GLOBAL bounds - >= -1334827 @ 1.7299
1.98/2.08 c GLOBAL bounds - >= -1334827 @ 1.75158
2.08/2.10 c GLOBAL bounds - >= -1334827 @ 1.774
2.08/2.16 c GLOBAL bounds - >= -1334827 @ 1.82794
2.17/2.20 c GLOBAL bounds - >= -1334827 @ 1.85398
2.17/2.22 c GLOBAL bounds - >= -1334827 @ 1.87633
2.17/2.27 c GLOBAL bounds - >= -1334827 @ 1.91136
2.28/2.31 c GLOBAL bounds - >= -1334827 @ 1.94714
2.28/2.36 c GLOBAL bounds - >= -1334827 @ 1.98559
2.77/2.81 c #Conflicts: 1000 | #Constraints: 1147
2.77/2.81 c GLOBAL bounds - >= -1334827 @ 2.39545
2.77/2.85 c GLOBAL bounds - >= -1334827 @ 2.43405
3.17/3.29 c GLOBAL bounds - >= -1334827 @ 2.85591
3.47/3.53 c GLOBAL bounds - >= -1334827 @ 3.08643
3.47/3.57 c GLOBAL bounds - >= -1334827 @ 3.12363
3.57/3.61 c GLOBAL bounds - >= -1334827 @ 3.15938
3.57/3.64 c GLOBAL bounds - >= -1334827 @ 3.19209
3.67/3.71 c GLOBAL bounds - >= -1334827 @ 3.24807
3.67/3.74 c GLOBAL bounds - >= -1334827 @ 3.27392
3.67/3.78 c GLOBAL bounds - >= -1334827 @ 3.31
4.07/4.11 c GLOBAL bounds - >= -1334827 @ 3.5923
10.45/10.52 c #Conflicts: 2000 | #Constraints: 2169
10.45/10.52 c INPROCESSING
10.45/10.52 c GARBAGE COLLECT
10.45/10.52 c #Conflicts: 3000 | #Constraints: 2172
10.45/10.52 c GLOBAL bounds - >= -1334827 @ 9.42834
10.45/10.59 c GLOBAL bounds - >= -1334827 @ 9.48724
10.55/10.65 c GLOBAL bounds - >= -1334827 @ 9.54792
10.65/10.71 c GLOBAL bounds - >= -1334827 @ 9.60449
10.65/10.77 c GLOBAL bounds - >= -1334827 @ 9.66363
10.75/10.83 c GLOBAL bounds - >= -1334827 @ 9.72129
10.85/10.90 c GLOBAL bounds - >= -1334827 @ 9.78422
10.85/10.97 c GLOBAL bounds - >= -1334827 @ 9.84589
10.95/11.03 c GLOBAL bounds - >= -1334827 @ 9.9043
10.95/11.09 c GLOBAL bounds - >= -1334827 @ 9.96436
11.06/11.16 c GLOBAL bounds - >= -1334827 @ 10.0224
11.15/11.22 c GLOBAL bounds - >= -1334827 @ 10.0782
11.15/11.28 c GLOBAL bounds - >= -1334827 @ 10.1384
11.25/11.35 c GLOBAL bounds - >= -1334827 @ 10.2036
11.35/11.42 c GLOBAL bounds - >= -1334827 @ 10.2665
11.44/11.53 c GLOBAL bounds - >= -1334827 @ 10.3773
11.55/11.60 c GLOBAL bounds - >= -1334827 @ 10.4361
11.55/11.66 c GLOBAL bounds - >= -1334827 @ 10.4959
11.64/11.73 c GLOBAL bounds - >= -1334827 @ 10.5603
11.64/11.79 c GLOBAL bounds - >= -1334827 @ 10.6226
11.75/11.86 c GLOBAL bounds - >= -1334827 @ 10.6776
11.85/11.92 c GLOBAL bounds - >= -1334827 @ 10.7385
11.85/11.99 c GLOBAL bounds - >= -1334827 @ 10.8013
11.95/12.05 c GLOBAL bounds - >= -1334827 @ 10.8615
12.05/12.12 c GLOBAL bounds - >= -1334827 @ 10.9246
12.05/12.19 c GLOBAL bounds - >= -1334827 @ 10.9927
12.15/12.25 c GLOBAL bounds - >= -1334827 @ 11.0547
12.24/12.31 c GLOBAL bounds - >= -1334827 @ 11.1152
12.24/12.38 c GLOBAL bounds - >= -1334827 @ 11.1766
12.35/12.44 c GLOBAL bounds - >= -1334827 @ 11.2352
12.44/12.51 c GLOBAL bounds - >= -1334827 @ 11.2998
12.44/12.58 c GLOBAL bounds - >= -1334827 @ 11.3664
12.54/12.65 c GLOBAL bounds - >= -1334827 @ 11.4272
12.65/12.71 c GLOBAL bounds - >= -1334827 @ 11.486
12.65/12.78 c GLOBAL bounds - >= -1334827 @ 11.5491
12.74/12.84 c GLOBAL bounds - >= -1334827 @ 11.6107
12.85/12.91 c GLOBAL bounds - >= -1334827 @ 11.671
12.85/12.97 c GLOBAL bounds - >= -1334827 @ 11.7312
12.95/13.03 c GLOBAL bounds - >= -1334827 @ 11.7941
12.95/13.10 c GLOBAL bounds - >= -1334827 @ 11.8533
13.04/13.16 c GLOBAL bounds - >= -1334827 @ 11.9155
13.15/13.22 c GLOBAL bounds - >= -1334827 @ 11.9791
13.15/13.30 c GLOBAL bounds - >= -1334827 @ 12.0459
13.24/13.37 c GLOBAL bounds - >= -1334827 @ 12.1132
13.34/13.44 c GLOBAL bounds - >= -1334827 @ 12.1801
13.44/13.50 c GLOBAL bounds - >= -1334827 @ 12.2395
13.44/13.56 c GLOBAL bounds - >= -1334827 @ 12.3023
13.54/13.62 c GLOBAL bounds - >= -1334827 @ 12.3588
13.54/13.69 c GLOBAL bounds - >= -1334827 @ 12.4269
13.64/13.76 c GLOBAL bounds - >= -1334827 @ 12.4833
13.74/13.82 c GLOBAL bounds - >= -1334827 @ 12.5463
13.74/13.89 c GLOBAL bounds - >= -1334827 @ 12.6085
13.84/13.96 c GLOBAL bounds - >= -1334827 @ 12.6729
13.95/14.04 c GLOBAL bounds - >= -1334827 @ 12.7456
14.04/14.11 c GLOBAL bounds - >= -1334827 @ 12.821
14.13/14.25 c GLOBAL bounds - >= -1334827 @ 12.9509
14.84/14.99 c GLOBAL bounds - >= -1334827 @ 13.6593
14.94/15.07 c GLOBAL bounds - >= -1334827 @ 13.729
15.04/15.16 c GLOBAL bounds - >= -1334827 @ 13.8181
31.58/31.77 c #Conflicts: 4000 | #Constraints: 3290
31.58/31.77 c INPROCESSING
31.58/31.77 c GARBAGE COLLECT
31.58/31.77 c #Conflicts: 5000 | #Constraints: 2693
31.58/31.77 c #Conflicts: 6000 | #Constraints: 3693
31.58/31.77 c INPROCESSING
31.58/31.77 c GARBAGE COLLECT
31.58/31.77 c #Conflicts: 7000 | #Constraints: 2694
31.58/31.77 c #Conflicts: 8000 | #Constraints: 3694
31.58/31.77 c GLOBAL bounds - >= -1334827 @ 29.3326
31.79/31.99 c GLOBAL bounds - >= -1334827 @ 29.5448
58.51/58.71 c #Conflicts: 9000 | #Constraints: 4698
58.51/58.71 c INPROCESSING
58.51/58.71 c GARBAGE COLLECT
58.51/58.71 c #Conflicts: 10000 | #Constraints: 3400
58.51/58.71 c #Conflicts: 11000 | #Constraints: 4400
58.51/58.71 c #Conflicts: 12000 | #Constraints: 5400
58.51/58.71 c INPROCESSING
58.51/58.71 c GARBAGE COLLECT
58.51/58.71 c #Conflicts: 13000 | #Constraints: 3853
58.51/58.71 c GLOBAL bounds - >= -1334827 @ 55.0051
62.81/63.08 c #Conflicts: 14000 | #Constraints: 4855
62.81/63.08 c GLOBAL bounds - >= -1334827 @ 59.2564
82.35/82.69 c #Conflicts: 15000 | #Constraints: 5857
82.35/82.69 c INPROCESSING
82.35/82.69 c GARBAGE COLLECT
82.35/82.69 c #Conflicts: 16000 | #Constraints: 4078
82.35/82.69 c #Conflicts: 17000 | #Constraints: 5078
82.35/82.69 c #Conflicts: 18000 | #Constraints: 6078
82.35/82.69 c INPROCESSING
82.35/82.69 c GARBAGE COLLECT
82.35/82.69 c #Conflicts: 19000 | #Constraints: 4091
82.35/82.69 c GLOBAL bounds - >= -1334827 @ 78.0356
90.72/91.03 c #Conflicts: 20000 | #Constraints: 5093
90.72/91.03 c #Conflicts: 21000 | #Constraints: 6093
90.72/91.03 c GLOBAL bounds - >= -1334827 @ 86.0204
91.02/91.34 c GLOBAL bounds - >= -1334827 @ 86.3221
141.78/142.23 c INPROCESSING
141.78/142.23 c GARBAGE COLLECT
141.78/142.23 c #Conflicts: 22000 | #Constraints: 3910
141.78/142.23 c #Conflicts: 23000 | #Constraints: 4910
141.78/142.23 c #Conflicts: 24000 | #Constraints: 5910
141.78/142.23 c #Conflicts: 25000 | #Constraints: 6910
141.78/142.23 c INPROCESSING
141.78/142.23 c GARBAGE COLLECT
141.78/142.23 c #Conflicts: 26000 | #Constraints: 4510
141.78/142.23 c #Conflicts: 27000 | #Constraints: 5510
141.78/142.23 c #Conflicts: 28000 | #Constraints: 6510
141.78/142.23 c #Conflicts: 29000 | #Constraints: 7510
141.78/142.23 c INPROCESSING
141.78/142.23 c GARBAGE COLLECT
141.78/142.23 c #Conflicts: 30000 | #Constraints: 4909
141.78/142.23 c GLOBAL bounds - >= -1334827 @ 135.603
231.81/232.51 c #Conflicts: 31000 | #Constraints: 5911
231.81/232.51 c #Conflicts: 32000 | #Constraints: 6911
231.81/232.51 c #Conflicts: 33000 | #Constraints: 7911
231.81/232.51 c INPROCESSING
231.81/232.51 c GARBAGE COLLECT
231.81/232.51 c #Conflicts: 34000 | #Constraints: 5112
231.81/232.51 c #Conflicts: 35000 | #Constraints: 6112
231.81/232.51 c #Conflicts: 36000 | #Constraints: 7112
231.81/232.51 c #Conflicts: 37000 | #Constraints: 8112
231.81/232.51 c INPROCESSING
231.81/232.51 c GARBAGE COLLECT
231.81/232.51 c #Conflicts: 38000 | #Constraints: 5112
231.81/232.51 c #Conflicts: 39000 | #Constraints: 6112
231.81/232.51 c #Conflicts: 40000 | #Constraints: 7112
231.81/232.51 c #Conflicts: 41000 | #Constraints: 8112
231.81/232.51 c INPROCESSING
231.81/232.51 c GARBAGE COLLECT
231.81/232.51 c #Conflicts: 42000 | #Constraints: 4920
231.81/232.51 c #Conflicts: 43000 | #Constraints: 5920
231.81/232.51 c #Conflicts: 44000 | #Constraints: 6920
231.81/232.51 c #Conflicts: 45000 | #Constraints: 7920
231.81/232.51 c #Conflicts: 46000 | #Constraints: 8920
231.81/232.51 c INPROCESSING
231.81/232.51 c GARBAGE COLLECT
231.81/232.51 c #Conflicts: 47000 | #Constraints: 5515
231.81/232.51 c GLOBAL bounds - >= -1334827 @ 223.24
248.75/249.54 c #Conflicts: 48000 | #Constraints: 6517
248.75/249.54 c #Conflicts: 49000 | #Constraints: 7517
248.75/249.54 c GLOBAL bounds - >= -1334827 @ 239.918
297.30/298.23 c #Conflicts: 50000 | #Constraints: 8519
297.30/298.23 c #Conflicts: 51000 | #Constraints: 9519
297.30/298.23 c INPROCESSING
297.30/298.23 c GARBAGE COLLECT
297.30/298.23 c #Conflicts: 52000 | #Constraints: 5920
297.30/298.23 c #Conflicts: 53000 | #Constraints: 6920
297.30/298.23 c #Conflicts: 54000 | #Constraints: 7920
297.30/298.23 c #Conflicts: 55000 | #Constraints: 8920
297.30/298.23 c #Conflicts: 56000 | #Constraints: 9920
297.30/298.23 c INPROCESSING
297.30/298.23 c GARBAGE COLLECT
297.30/298.23 c GLOBAL bounds - >= -1334827 @ 287.008
297.60/298.60 c GLOBAL bounds - >= -1334827 @ 287.363
297.81/298.77 c GLOBAL bounds - >= -1334827 @ 287.533
299.49/300.44 c GLOBAL bounds - >= -1334827 @ 289.158
299.60/300.55 c GLOBAL bounds - >= -1334827 @ 289.259
299.90/300.84 c GLOBAL bounds - >= -1334827 @ 289.549
389.41/390.69 c #Conflicts: 57000 | #Constraints: 6129
389.41/390.69 c #Conflicts: 58000 | #Constraints: 7129
389.41/390.69 c #Conflicts: 59000 | #Constraints: 8129
389.41/390.69 c #Conflicts: 60000 | #Constraints: 9129
389.41/390.69 c #Conflicts: 61000 | #Constraints: 10129
389.41/390.69 c INPROCESSING
389.41/390.69 c GARBAGE COLLECT
389.41/390.69 c #Conflicts: 62000 | #Constraints: 6129
389.41/390.69 c #Conflicts: 63000 | #Constraints: 7129
389.41/390.69 c #Conflicts: 64000 | #Constraints: 8129
389.41/390.69 c #Conflicts: 65000 | #Constraints: 9129
389.41/390.69 c #Conflicts: 66000 | #Constraints: 10129
389.41/390.69 c INPROCESSING
389.41/390.69 c GARBAGE COLLECT
389.41/390.69 c #Conflicts: 67000 | #Constraints: 5932
389.41/390.69 c #Conflicts: 68000 | #Constraints: 6932
389.41/390.69 c #Conflicts: 69000 | #Constraints: 7932
389.41/390.69 c #Conflicts: 70000 | #Constraints: 8932
389.41/390.69 c #Conflicts: 71000 | #Constraints: 9932
389.41/390.69 c #Conflicts: 72000 | #Constraints: 10932
389.41/390.69 c GLOBAL bounds - >= -1334827 @ 377.324
439.26/440.65 c INPROCESSING
439.26/440.65 c GARBAGE COLLECT
439.26/440.65 c #Conflicts: 73000 | #Constraints: 6532
439.26/440.65 c #Conflicts: 74000 | #Constraints: 7532
439.26/440.65 c #Conflicts: 75000 | #Constraints: 8532
439.26/440.65 c #Conflicts: 76000 | #Constraints: 9532
439.26/440.65 c #Conflicts: 77000 | #Constraints: 10532
439.26/440.65 c #Conflicts: 78000 | #Constraints: 11532
439.26/440.65 c INPROCESSING
439.26/440.65 c GARBAGE COLLECT
439.26/440.65 c GLOBAL bounds - >= -1334827 @ 425.967
593.97/595.85 c #Conflicts: 79000 | #Constraints: 6933
593.97/595.85 c #Conflicts: 80000 | #Constraints: 7933
593.97/595.85 c #Conflicts: 81000 | #Constraints: 8933
593.97/595.85 c #Conflicts: 82000 | #Constraints: 9933
593.97/595.85 c #Conflicts: 83000 | #Constraints: 10933
593.97/595.85 c #Conflicts: 84000 | #Constraints: 11933
593.97/595.85 c INPROCESSING
593.97/595.85 c GARBAGE COLLECT
593.97/595.85 c #Conflicts: 85000 | #Constraints: 7136
593.97/595.85 c #Conflicts: 86000 | #Constraints: 8136
593.97/595.85 c #Conflicts: 87000 | #Constraints: 9136
593.97/595.85 c #Conflicts: 88000 | #Constraints: 10136
593.97/595.85 c #Conflicts: 89000 | #Constraints: 11136
593.97/595.85 c #Conflicts: 90000 | #Constraints: 12136
593.97/595.85 c INPROCESSING
593.97/595.85 c GARBAGE COLLECT
593.97/595.85 c #Conflicts: 91000 | #Constraints: 7136
593.97/595.85 c #Conflicts: 92000 | #Constraints: 8136
593.97/595.85 c #Conflicts: 93000 | #Constraints: 9136
593.97/595.85 c #Conflicts: 94000 | #Constraints: 10136
593.97/595.85 c #Conflicts: 95000 | #Constraints: 11136
593.97/595.85 c #Conflicts: 96000 | #Constraints: 12136
593.97/595.85 c INPROCESSING
593.97/595.85 c GARBAGE COLLECT
593.97/595.85 c #Conflicts: 97000 | #Constraints: 6935
593.97/595.85 c #Conflicts: 98000 | #Constraints: 7935
593.97/595.85 c #Conflicts: 99000 | #Constraints: 8935
593.97/595.85 c #Conflicts: 100000 | #Constraints: 9935
593.97/595.85 c #Conflicts: 101000 | #Constraints: 10935
593.97/595.85 c #Conflicts: 102000 | #Constraints: 11935
593.97/595.85 c GLOBAL bounds - >= -1334827 @ 578.514
594.18/596.03 c GLOBAL bounds - >= -1334827 @ 578.688
594.38/596.29 c GLOBAL bounds - >= -1334827 @ 578.941
594.57/596.46 c GLOBAL bounds - >= -1334827 @ 579.11
594.88/596.72 c GLOBAL bounds - >= -1334827 @ 579.365
682.21/684.33 c #Conflicts: 103000 | #Constraints: 12945
682.21/684.33 c INPROCESSING
682.21/684.33 c GARBAGE COLLECT
682.21/684.33 c #Conflicts: 104000 | #Constraints: 7547
682.21/684.33 c #Conflicts: 105000 | #Constraints: 8547
682.21/684.33 c #Conflicts: 106000 | #Constraints: 9547
682.21/684.33 c #Conflicts: 107000 | #Constraints: 10547
682.21/684.33 c GLOBAL bounds - >= -1334827 @ 665.981
811.04/813.57 c #Conflicts: 108000 | #Constraints: 11549
811.04/813.57 c #Conflicts: 109000 | #Constraints: 12549
811.04/813.57 c #Conflicts: 110000 | #Constraints: 13549
811.04/813.57 c INPROCESSING
811.04/813.57 c GARBAGE COLLECT
811.04/813.57 c #Conflicts: 111000 | #Constraints: 7949
811.04/813.57 c #Conflicts: 112000 | #Constraints: 8949
811.04/813.57 c #Conflicts: 113000 | #Constraints: 9949
811.04/813.57 c #Conflicts: 114000 | #Constraints: 10949
811.04/813.57 c #Conflicts: 115000 | #Constraints: 11949
811.04/813.57 c GLOBAL bounds - >= -1334827 @ 792.946
811.54/814.04 c GLOBAL bounds - >= -1334827 @ 793.408
818.31/820.81 c GLOBAL bounds - >= -1334827 @ 799.997
820.40/822.90 c GLOBAL bounds - >= -1334827 @ 802.062
884.92/887.68 c #Conflicts: 116000 | #Constraints: 12957
884.92/887.68 c #Conflicts: 117000 | #Constraints: 13957
884.92/887.68 c INPROCESSING
884.92/887.68 c GARBAGE COLLECT
884.92/887.68 c #Conflicts: 118000 | #Constraints: 8154
884.92/887.68 c #Conflicts: 119000 | #Constraints: 9154
884.92/887.68 c #Conflicts: 120000 | #Constraints: 10154
884.92/887.68 c #Conflicts: 121000 | #Constraints: 11154
884.92/887.68 c #Conflicts: 122000 | #Constraints: 12154
884.92/887.68 c GLOBAL bounds - >= -1334827 @ 866.062
941.55/944.44 c #Conflicts: 123000 | #Constraints: 13156
941.55/944.44 c #Conflicts: 124000 | #Constraints: 14156
941.55/944.44 c INPROCESSING
941.55/944.44 c GARBAGE COLLECT
941.55/944.44 c #Conflicts: 125000 | #Constraints: 8154
941.55/944.44 c GLOBAL bounds - >= -1334827 @ 921.786
941.75/944.64 c GLOBAL bounds - >= -1334827 @ 921.981
942.16/945.00 c GLOBAL bounds - >= -1334827 @ 922.337
942.35/945.20 c GLOBAL bounds - >= -1334827 @ 922.528
942.65/945.54 c GLOBAL bounds - >= -1334827 @ 922.866
943.26/946.13 c GLOBAL bounds - >= -1334827 @ 923.447
1871.47/1876.91 c #Conflicts: 126000 | #Constraints: 9166
1871.47/1876.91 c #Conflicts: 127000 | #Constraints: 10166
1871.47/1876.91 c #Conflicts: 128000 | #Constraints: 11166
1871.47/1876.91 c #Conflicts: 129000 | #Constraints: 12166
1871.47/1876.91 c #Conflicts: 130000 | #Constraints: 13166
1871.47/1876.91 c #Conflicts: 131000 | #Constraints: 14166
1871.47/1876.91 c INPROCESSING
1871.47/1876.91 c GARBAGE COLLECT
1871.47/1876.91 c #Conflicts: 132000 | #Constraints: 7966
1871.47/1876.91 c #Conflicts: 133000 | #Constraints: 8966
1871.47/1876.91 c #Conflicts: 134000 | #Constraints: 9966
1871.47/1876.91 c #Conflicts: 135000 | #Constraints: 10966
1871.47/1876.91 c #Conflicts: 136000 | #Constraints: 11966
1871.47/1876.91 c #Conflicts: 137000 | #Constraints: 12966
1871.47/1876.91 c #Conflicts: 138000 | #Constraints: 13966
1871.47/1876.91 c #Conflicts: 139000 | #Constraints: 14966
1871.47/1876.91 c INPROCESSING
1871.47/1876.91 c GARBAGE COLLECT
1871.47/1876.91 c #Conflicts: 140000 | #Constraints: 8566
1871.47/1876.91 c #Conflicts: 141000 | #Constraints: 9566
1871.47/1876.91 c #Conflicts: 142000 | #Constraints: 10566
1871.47/1876.91 c #Conflicts: 143000 | #Constraints: 11566
1871.47/1876.91 c #Conflicts: 144000 | #Constraints: 12566
1871.47/1876.91 c #Conflicts: 145000 | #Constraints: 13566
1871.47/1876.91 c #Conflicts: 146000 | #Constraints: 14566
1871.47/1876.91 c #Conflicts: 147000 | #Constraints: 15566
1871.47/1876.91 c INPROCESSING
1871.47/1876.91 c GARBAGE COLLECT
1871.47/1876.91 c #Conflicts: 148000 | #Constraints: 8969
1871.47/1876.91 c #Conflicts: 149000 | #Constraints: 9969
1871.47/1876.91 c #Conflicts: 150000 | #Constraints: 10969
1871.47/1876.91 c #Conflicts: 151000 | #Constraints: 11969
1871.47/1876.91 c #Conflicts: 152000 | #Constraints: 12969
1871.47/1876.91 c #Conflicts: 153000 | #Constraints: 13969
1871.47/1876.91 c #Conflicts: 154000 | #Constraints: 14969
1871.47/1876.91 c #Conflicts: 155000 | #Constraints: 15969
1871.47/1876.91 c INPROCESSING
1871.47/1876.91 c GARBAGE COLLECT
1871.47/1876.91 c #Conflicts: 156000 | #Constraints: 9169
1871.47/1876.91 c #Conflicts: 157000 | #Constraints: 10169
1871.47/1876.91 c #Conflicts: 158000 | #Constraints: 11169
1871.47/1876.91 c #Conflicts: 159000 | #Constraints: 12169
1871.47/1876.91 c #Conflicts: 160000 | #Constraints: 13169
1871.47/1876.91 c #Conflicts: 161000 | #Constraints: 14169
1871.47/1876.91 c #Conflicts: 162000 | #Constraints: 15169
1871.47/1876.91 c #Conflicts: 163000 | #Constraints: 16169
1871.47/1876.91 c INPROCESSING
1871.47/1876.91 c GARBAGE COLLECT
1871.47/1876.91 c #Conflicts: 164000 | #Constraints: 9167
1871.47/1876.91 c #Conflicts: 165000 | #Constraints: 10167
1871.47/1876.91 c #Conflicts: 166000 | #Constraints: 11167
1871.47/1876.91 c #Conflicts: 167000 | #Constraints: 12167
1871.47/1876.91 c #Conflicts: 168000 | #Constraints: 13167
1871.47/1876.91 c #Conflicts: 169000 | #Constraints: 14167
1871.47/1876.91 c #Conflicts: 170000 | #Constraints: 15167
1871.47/1876.91 c #Conflicts: 171000 | #Constraints: 16167
1871.47/1876.91 c INPROCESSING
1871.47/1876.91 c GARBAGE COLLECT
1871.47/1876.91 c #Conflicts: 172000 | #Constraints: 8968
1871.47/1876.91 c #Conflicts: 173000 | #Constraints: 9968
1871.47/1876.91 c #Conflicts: 174000 | #Constraints: 10968
1871.47/1876.91 c #Conflicts: 175000 | #Constraints: 11968
1871.47/1876.91 c #Conflicts: 176000 | #Constraints: 12968
1871.47/1876.91 c #Conflicts: 177000 | #Constraints: 13968
1871.47/1876.91 c #Conflicts: 178000 | #Constraints: 14968
1871.47/1876.91 c #Conflicts: 179000 | #Constraints: 15968
1871.47/1876.91 c #Conflicts: 180000 | #Constraints: 16968
1871.47/1876.91 c INPROCESSING
1871.47/1876.91 c GARBAGE COLLECT
1871.47/1876.91 c #Conflicts: 181000 | #Constraints: 9569
1871.47/1876.91 c #Conflicts: 182000 | #Constraints: 10569
1871.47/1876.91 c #Conflicts: 183000 | #Constraints: 11569
1871.47/1876.91 c #Conflicts: 184000 | #Constraints: 12569
1871.47/1876.91 c #Conflicts: 185000 | #Constraints: 13569
1871.47/1876.91 c #Conflicts: 186000 | #Constraints: 14569
1871.47/1876.91 c #Conflicts: 187000 | #Constraints: 15569
1871.47/1876.91 c #Conflicts: 188000 | #Constraints: 16569
1871.47/1876.91 c #Conflicts: 189000 | #Constraints: 17569
1871.47/1876.91 c INPROCESSING
1871.47/1876.91 c GARBAGE COLLECT
1871.47/1876.91 c #Conflicts: 190000 | #Constraints: 9968
1871.47/1876.91 c #Conflicts: 191000 | #Constraints: 10968
1871.47/1876.91 c #Conflicts: 192000 | #Constraints: 11968
1871.47/1876.91 c #Conflicts: 193000 | #Constraints: 12968
1871.47/1876.91 c #Conflicts: 194000 | #Constraints: 13968
1871.47/1876.91 c #Conflicts: 195000 | #Constraints: 14968
1871.47/1876.91 c #Conflicts: 196000 | #Constraints: 15968
1871.47/1876.91 c #Conflicts: 197000 | #Constraints: 16968
1871.47/1876.91 c #Conflicts: 198000 | #Constraints: 17968
1871.47/1876.91 c INPROCESSING
1871.47/1876.91 c GARBAGE COLLECT
1871.47/1876.91 c #Conflicts: 199000 | #Constraints: 10170
2903.84/2912.27 c #Conflicts: 200000 | #Constraints: 11170
2903.84/2912.27 c #Conflicts: 201000 | #Constraints: 12170
2903.84/2912.27 c #Conflicts: 202000 | #Constraints: 13170
2903.84/2912.27 c #Conflicts: 203000 | #Constraints: 14170
2903.84/2912.27 c #Conflicts: 204000 | #Constraints: 15170
2903.84/2912.27 c #Conflicts: 205000 | #Constraints: 16170
2903.84/2912.27 c #Conflicts: 206000 | #Constraints: 17170
2903.84/2912.27 c #Conflicts: 207000 | #Constraints: 18170
2903.84/2912.27 c INPROCESSING
2903.84/2912.27 c GARBAGE COLLECT
2903.84/2912.27 c #Conflicts: 208000 | #Constraints: 10168
2903.84/2912.27 c #Conflicts: 209000 | #Constraints: 11168
2903.84/2912.27 c #Conflicts: 210000 | #Constraints: 12168
2903.84/2912.27 c #Conflicts: 211000 | #Constraints: 13168
2903.84/2912.27 c #Conflicts: 212000 | #Constraints: 14168
2903.84/2912.27 c #Conflicts: 213000 | #Constraints: 15168
2903.84/2912.27 c #Conflicts: 214000 | #Constraints: 16168
2903.84/2912.27 c #Conflicts: 215000 | #Constraints: 17168
2903.84/2912.27 c #Conflicts: 216000 | #Constraints: 18168
2903.84/2912.27 c INPROCESSING
2903.84/2912.27 c GARBAGE COLLECT
2903.84/2912.27 c #Conflicts: 217000 | #Constraints: 9968
2903.84/2912.27 c #Conflicts: 218000 | #Constraints: 10968
2903.84/2912.27 c #Conflicts: 219000 | #Constraints: 11968
2903.84/2912.27 c #Conflicts: 220000 | #Constraints: 12968
2903.84/2912.27 c #Conflicts: 221000 | #Constraints: 13968
2903.84/2912.27 c #Conflicts: 222000 | #Constraints: 14968
2903.84/2912.27 c #Conflicts: 223000 | #Constraints: 15968
2903.84/2912.27 c #Conflicts: 224000 | #Constraints: 16968
2903.84/2912.27 c #Conflicts: 225000 | #Constraints: 17968
2903.84/2912.27 c #Conflicts: 226000 | #Constraints: 18968
2903.84/2912.27 c INPROCESSING
2903.84/2912.27 c GARBAGE COLLECT
2903.84/2912.27 c #Conflicts: 227000 | #Constraints: 10570
2903.84/2912.27 c #Conflicts: 228000 | #Constraints: 11570
2903.84/2912.27 c #Conflicts: 229000 | #Constraints: 12570
2903.84/2912.27 c #Conflicts: 230000 | #Constraints: 13570
2903.84/2912.27 c #Conflicts: 231000 | #Constraints: 14570
2903.84/2912.27 c #Conflicts: 232000 | #Constraints: 15570
2903.84/2912.27 c #Conflicts: 233000 | #Constraints: 16570
2903.84/2912.27 c #Conflicts: 234000 | #Constraints: 17570
2903.84/2912.27 c #Conflicts: 235000 | #Constraints: 18570
2903.84/2912.27 c #Conflicts: 236000 | #Constraints: 19570
2903.84/2912.27 c INPROCESSING
2903.84/2912.27 c GARBAGE COLLECT
2903.84/2912.27 c #Conflicts: 237000 | #Constraints: 10968
2903.84/2912.27 c #Conflicts: 238000 | #Constraints: 11968
2903.84/2912.27 c #Conflicts: 239000 | #Constraints: 12968
2903.84/2912.27 c #Conflicts: 240000 | #Constraints: 13968
2903.84/2912.27 c #Conflicts: 241000 | #Constraints: 14968
2903.84/2912.27 c #Conflicts: 242000 | #Constraints: 15968
2903.84/2912.27 c #Conflicts: 243000 | #Constraints: 16968
2903.84/2912.27 c #Conflicts: 244000 | #Constraints: 17968
2903.84/2912.27 c #Conflicts: 245000 | #Constraints: 18968
2903.84/2912.27 c #Conflicts: 246000 | #Constraints: 19968
2903.84/2912.27 c INPROCESSING
2903.84/2912.27 c GARBAGE COLLECT
2903.84/2912.27 c #Conflicts: 247000 | #Constraints: 11166
2903.84/2912.27 c #Conflicts: 248000 | #Constraints: 12166
2903.84/2912.27 c #Conflicts: 249000 | #Constraints: 13166
2903.84/2912.27 c #Conflicts: 250000 | #Constraints: 14166
2903.84/2912.27 c #Conflicts: 251000 | #Constraints: 15166
2903.84/2912.27 c #Conflicts: 252000 | #Constraints: 16166
2903.84/2912.27 c #Conflicts: 253000 | #Constraints: 17166
2903.84/2912.27 c #Conflicts: 254000 | #Constraints: 18166
2903.84/2912.27 c #Conflicts: 255000 | #Constraints: 19166
2903.84/2912.27 c #Conflicts: 256000 | #Constraints: 20166
2903.84/2912.27 c INPROCESSING
2903.84/2912.27 c GARBAGE COLLECT
2903.84/2912.27 c #Conflicts: 257000 | #Constraints: 11165
2903.84/2912.27 c #Conflicts: 258000 | #Constraints: 12165
2903.84/2912.27 c #Conflicts: 259000 | #Constraints: 13165
2903.84/2912.27 c #Conflicts: 260000 | #Constraints: 14165
2903.84/2912.27 c #Conflicts: 261000 | #Constraints: 15165
2903.84/2912.27 c #Conflicts: 262000 | #Constraints: 16165
2903.84/2912.27 c #Conflicts: 263000 | #Constraints: 17165
2903.84/2912.27 c #Conflicts: 264000 | #Constraints: 18165
2903.84/2912.27 c #Conflicts: 265000 | #Constraints: 19165
2903.84/2912.27 c #Conflicts: 266000 | #Constraints: 20165
2903.84/2912.27 c INPROCESSING
2903.84/2912.27 c GARBAGE COLLECT
2903.84/2912.27 c #Conflicts: 267000 | #Constraints: 10964
2903.84/2912.27 c #Conflicts: 268000 | #Constraints: 11964
2903.84/2912.27 c #Conflicts: 269000 | #Constraints: 12964
2903.84/2912.27 c #Conflicts: 270000 | #Constraints: 13964
2903.84/2912.27 c #Conflicts: 271000 | #Constraints: 14964
2903.84/2912.27 c #Conflicts: 272000 | #Constraints: 15964
2903.84/2912.27 c #Conflicts: 273000 | #Constraints: 16964
3600.09/3610.40 c #Conflicts: 274000 | #Constraints: 17964
3600.09/3610.40 c #Conflicts: 275000 | #Constraints: 18964
3600.09/3610.40 c #Conflicts: 276000 | #Constraints: 19964
3600.09/3610.40 c #Conflicts: 277000 | #Constraints: 20964
3600.09/3610.40 c INPROCESSING
3600.09/3610.40 c GARBAGE COLLECT
3600.09/3610.40 c #Conflicts: 278000 | #Constraints: 11567
3600.09/3610.40 c #Conflicts: 279000 | #Constraints: 12567
3600.09/3610.40 c #Conflicts: 280000 | #Constraints: 13567
3600.09/3610.40 c #Conflicts: 281000 | #Constraints: 14567
3600.09/3610.40 c #Conflicts: 282000 | #Constraints: 15567
3600.09/3610.40 c #Conflicts: 283000 | #Constraints: 16567
3600.09/3610.40 c #Conflicts: 284000 | #Constraints: 17567
3600.09/3610.40 c #Conflicts: 285000 | #Constraints: 18567
3600.09/3610.40 c #Conflicts: 286000 | #Constraints: 19567
3600.09/3610.40 c #Conflicts: 287000 | #Constraints: 20567
3600.09/3610.40 c #Conflicts: 288000 | #Constraints: 21567
3600.09/3610.40 c INPROCESSING
3600.09/3610.40 c GARBAGE COLLECT
3600.09/3610.40 c #Conflicts: 289000 | #Constraints: 11969
3600.09/3610.40 c #Conflicts: 290000 | #Constraints: 12969
3600.09/3610.40 c #Conflicts: 291000 | #Constraints: 13969
3600.09/3610.40 c #Conflicts: 292000 | #Constraints: 14969
3600.09/3610.40 c #Conflicts: 293000 | #Constraints: 15969
3600.09/3610.40 c #Conflicts: 294000 | #Constraints: 16969
3600.09/3610.40 c #Conflicts: 295000 | #Constraints: 17969
3600.09/3610.40 c #Conflicts: 296000 | #Constraints: 18969
3600.09/3610.40 c #Conflicts: 297000 | #Constraints: 19969
3600.09/3610.40 c #Conflicts: 298000 | #Constraints: 20969
3600.09/3610.40 c #Conflicts: 299000 | #Constraints: 21969
3600.09/3610.40 c INPROCESSING
3600.09/3610.40 c GARBAGE COLLECT
3600.09/3610.40 c #Conflicts: 300000 | #Constraints: 12169
3600.09/3610.40 c #Conflicts: 301000 | #Constraints: 13169
3600.09/3610.40 c #Conflicts: 302000 | #Constraints: 14169
3600.09/3610.40 c #Conflicts: 303000 | #Constraints: 15169
3600.09/3610.40 c #Conflicts: 304000 | #Constraints: 16169
3600.09/3610.40 c #Conflicts: 305000 | #Constraints: 17169
3600.09/3610.40 c #Conflicts: 306000 | #Constraints: 18169
3600.09/3610.40 c #Conflicts: 307000 | #Constraints: 19169
3600.09/3610.40 c #Conflicts: 308000 | #Constraints: 20169
3600.09/3610.40 c #Conflicts: 309000 | #Constraints: 21169
3600.09/3610.40 c #Conflicts: 310000 | #Constraints: 22169
3600.09/3610.40 c INPROCESSING
3600.09/3610.40 c GARBAGE COLLECT
3600.09/3610.40 c #Conflicts: 311000 | #Constraints: 12172
3600.09/3610.40 c cpu time 3547.8 s
3600.09/3610.40 c deterministic time 1 1.00e+00
3600.09/3610.40 c optimization time 3547.79 s
3600.09/3610.40 c total solve time 0 s
3600.09/3610.40 c core-guided solve time 0 s
3600.09/3610.40 c propagation time 1e-06 s
3600.09/3610.40 c conflict analysis time 0 s
3600.09/3610.40 c propagations 0
3600.09/3610.40 c resolve steps 0
3600.09/3610.40 c decisions 0
3600.09/3610.40 c conflicts 0
3600.09/3610.40 c restarts 0
3600.09/3610.40 c inprocessing phases 0
3600.09/3610.40 c garbage collections 0 ,( -nan )
3600.09/3610.40 c input clauses 0 ,( 0.00 )
3600.09/3610.40 c input cardinalities 0 ,( 0.00 )
3600.09/3610.40 c input general constraints 1 ,( 100.00 )
3600.09/3610.40 c input average constraint length 3000.00
3600.09/3610.40 c input average constraint degree 1277528.00
3600.09/3610.40 c learned clauses 0 ,( 0.00 )
3600.09/3610.40 c learned cardinalities 0 ,( 0.00 )
3600.09/3610.40 c learned general constraints 0 ,( 0.00 )
3600.09/3610.40 c learned average constraint length 0.00
3600.09/3610.40 c learned average constraint degree 0.00
3600.09/3610.40 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.09/3610.40 c counting CF 32, 64, 128, Arb: 2 , 0 , 0 , 0
3600.09/3610.40 c watched constraints 0 ,( 0.00 )
3600.09/3610.40 c counting constraints 1 ,( 100.00 )
3600.09/3610.40 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.09/3610.40 c gcd simplifications 0
3600.09/3610.40 c detected cardinalities 0
3600.09/3610.40 c weakened non-implied lits 0
3600.09/3610.40 c weakened non-implying lits 0
3600.09/3610.40 c original variables 3000
3600.09/3610.40 c clausal propagations 0
3600.09/3610.40 c cardinality propagations 0
3600.09/3610.40 c watched propagations 0
3600.09/3610.40 c counting propagations 0
3600.09/3610.40 c watch lookups 0
3600.09/3610.40 c watch backjump lookups 0
3600.09/3610.40 c watch checks 0
3600.09/3610.40 c propagation checks 0
3600.09/3610.40 c constraint additions 0
3600.09/3610.40 c trail pops 0
3600.09/3610.40 c formula constraints 1
3600.09/3610.40 c learned constraints 0
3600.09/3610.40 c bound constraints 0
3600.09/3610.40 c core-guided constraints 0
3600.09/3610.40 c encountered formula constraints 0
3600.09/3610.40 c encountered learned constraints 0
3600.09/3610.40 c encountered bound constraints 0
3600.09/3610.40 c encountered core-guided constraints 0
3600.09/3610.40 c LP total time 0 s
3600.09/3610.40 c LP solve time 0 s
3600.09/3610.40 c LP constraints added 0
3600.09/3610.40 c LP constraints removed 0
3600.09/3610.40 c LP pivots internal 0
3600.09/3610.40 c LP pivots root 0
3600.09/3610.40 c LP calls 0
3600.09/3610.40 c LP optimalities 0
3600.09/3610.40 c LP no pivot count 0
3600.09/3610.40 c LP infeasibilities 0
3600.09/3610.40 c LP valid Farkas constraints 0
3600.09/3610.40 c LP learned Farkas constraints 0
3600.09/3610.40 c LP basis resets 0
3600.09/3610.40 c LP cycling count 0
3600.09/3610.40 c LP singular count 0
3600.09/3610.40 c LP no primal count 0
3600.09/3610.40 c LP no farkas count 0
3600.09/3610.40 c LP other issue count 0
3600.09/3610.40 c LP Gomory cuts 0
3600.09/3610.40 c LP learned cuts 0
3600.09/3610.40 c LP deleted cuts 0
3600.09/3610.40 c LP encountered Gomory constraints 0
3600.09/3610.40 c LP encountered Farkas constraints 0
3600.09/3610.40 c LP encountered learned Farkas constraints 0
3600.09/3610.40 c CG auxiliary variables introduced 0
3600.09/3610.40 c CG solutions found 0
3600.09/3610.40 c CG cores constructed 0
3600.09/3610.40 c CG core cardinality constraints returned 0
3600.09/3610.40 c CG unit cores 0
3600.09/3610.40 c CG single cores 0
3600.09/3610.40 c CG blocks removed during cardinality reduction 0
3600.09/3610.40 c CG first core best 0
3600.09/3610.40 c CG decision core best 0
3600.09/3610.40 c CG core reduction tie 0
3600.09/3610.40 c CG core degree average 0.00
3600.09/3610.40 c CG core slack average 0.00
3600.09/3610.40 c CG core upper bound improvements 0
3600.09/3610.40 c STR number of successful calls 0
3600.09/3610.40 c STR number of unsuccessful calls 0
3600.09/3610.40 c STR number of inconclusive calls 0
3600.09/3610.40 c STR number of successful attempts 0
3600.09/3610.40 c STR number of unsuccessful attempts 0
3600.09/3610.40 c STR number of inconclusive attempts 0
3600.09/3610.40 c STR average degree increase per successful call inf
3600.09/3610.40 c STR average degree increase per successful attempt inf
3600.09/3610.40 c STR total number of conflicts for successful attempts 0
3600.09/3610.40 c STR total number of conflicts for unsuccessful attempts 0
3600.09/3610.40 c STR total number of conflicts for inconclusive attempts 0
3600.09/3610.40 c STR average number of conflicts per successful attempt inf
3600.09/3610.40 c STR average number of conflicts per unsuccessful attempt inf
3600.09/3610.40 c STR average number of conflicts per inconclusive attempt inf
3600.09/3610.40 c AVG.sumWPerc 99.63
3600.09/3610.40 c bigint constraints 0
3600.09/3610.40 s UNKNOWN
3600.09/3610.40 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 (49973 MiB free)
memory of node 1: 64465 MiB (59559 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4518272-1751544123/watcher-4518272-1751544123 -o /tmp/evaluation-result-4518272-1751544123/solver-4518272-1751544123 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751543886-77531 --watchdog 3760 run-opt.sh HOME/instance-4518272-1751544123.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=77663, runsolver pid=77660
Current StackSize limit: 8192 KiB
[startup+0.100066 s]*
/proc/loadavg: 4.05 2.83 2.81 5/270 77665
/proc/meminfo: memFree=112157488/131249996 swapFree=33004236/33010684
[pid=77663] ppid=77660 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77663/stat : 77663 (run-opt.sh) S 77660 77663 77498 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 70090200 4292608 736 18446744073709551615 94466762211328 94466763105861 140729452836800 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94466763344912 94466763392656 94466784665600 140729452841325 140729452841448 140729452841448 140729452847050 0
/proc/77663/statm: 1048 736 672 219 0 110 0
[pid=77665] ppid=77663 vsize=61948 memory=14780 CPUtime=0.09 cores=0,2
/proc/77665/stat : 77665 (roundingsat) R 77663 77663 77498 0 -1 4194304 1237 0 0 0 4 5 0 0 20 0 1 0 70090201 63434752 3695 18446744073709551615 4227072 8923433 140722302950976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21614592 140722302953890 140722302954024 140722302954024 140722302959594 0
/proc/77665/statm: 15487 3695 2400 1147 0 2914 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 66140 KiB
Current children cumulated memory: 17724 KiB
[startup+0.205946 s]*
/proc/loadavg: 4.05 2.83 2.81 5/270 77665
/proc/meminfo: memFree=112157488/131249996 swapFree=33004236/33010684
[pid=77663] ppid=77660 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77663/stat : 77663 (run-opt.sh) S 77660 77663 77498 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 70090200 4292608 736 18446744073709551615 94466762211328 94466763105861 140729452836800 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94466763344912 94466763392656 94466784665600 140729452841325 140729452841448 140729452841448 140729452847050 0
/proc/77663/statm: 1048 736 672 219 0 110 0
[pid=77665] ppid=77663 vsize=64760 memory=17596 CPUtime=0.19 cores=0,2
/proc/77665/stat : 77665 (roundingsat) R 77663 77663 77498 0 -1 4194304 1947 0 0 0 13 6 0 0 20 0 1 0 70090201 66314240 4399 18446744073709551615 4227072 8923433 140722302950976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21614592 140722302953890 140722302954024 140722302954024 140722302959594 0
/proc/77665/statm: 16190 4399 2400 1147 0 3617 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 68952 KiB
Current children cumulated memory: 20540 KiB
[startup+0.305861 s]*
/proc/loadavg: 4.05 2.83 2.81 5/270 77665
/proc/meminfo: memFree=112157488/131249996 swapFree=33004236/33010684
[pid=77663] ppid=77660 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77663/stat : 77663 (run-opt.sh) S 77660 77663 77498 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 70090200 4292608 736 18446744073709551615 94466762211328 94466763105861 140729452836800 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94466763344912 94466763392656 94466784665600 140729452841325 140729452841448 140729452841448 140729452847050 0
/proc/77663/statm: 1048 736 672 219 0 110 0
[pid=77665] ppid=77663 vsize=68356 memory=22076 CPUtime=0.29 cores=0,2
/proc/77665/stat : 77665 (roundingsat) R 77663 77663 77498 0 -1 4194304 3085 0 0 0 22 7 0 0 20 0 1 0 70090201 69996544 5519 18446744073709551615 4227072 8923433 140722302950976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21614592 140722302953890 140722302954024 140722302954024 140722302959594 0
/proc/77665/statm: 17089 5519 2400 1147 0 4516 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 72548 KiB
Current children cumulated memory: 25020 KiB
[startup+0.700213 s]
/proc/loadavg: 4.05 2.83 2.81 5/270 77665
/proc/meminfo: memFree=112142620/131249996 swapFree=33004236/33010684
[pid=77663] ppid=77660 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77663/stat : 77663 (run-opt.sh) S 77660 77663 77498 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 70090200 4292608 736 18446744073709551615 94466762211328 94466763105861 140729452836800 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94466763344912 94466763392656 94466784665600 140729452841325 140729452841448 140729452841448 140729452847050 0
/proc/77663/statm: 1048 736 672 219 0 110 0
[pid=77665] ppid=77663 vsize=87612 memory=38588 CPUtime=0.68 cores=0,2
/proc/77665/stat : 77665 (roundingsat) R 77663 77663 77498 0 -1 4194304 7218 0 0 0 57 11 0 0 20 0 1 0 70090201 89714688 9647 18446744073709551615 4227072 8923433 140722302950976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21614592 140722302953890 140722302954024 140722302954024 140722302959594 0
/proc/77665/statm: 21903 9647 2400 1147 0 9330 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 91804 KiB
Current children cumulated memory: 41532 KiB
[startup+1.5002 s]
/proc/loadavg: 4.05 2.83 2.81 5/270 77665
/proc/meminfo: memFree=112134876/131249996 swapFree=33004236/33010684
[pid=77663] ppid=77660 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77663/stat : 77663 (run-opt.sh) S 77660 77663 77498 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 70090200 4292608 736 18446744073709551615 94466762211328 94466763105861 140729452836800 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94466763344912 94466763392656 94466784665600 140729452841325 140729452841448 140729452841448 140729452847050 0
/proc/77663/statm: 1048 736 672 219 0 110 0
[pid=77665] ppid=77663 vsize=110668 memory=61068 CPUtime=1.48 cores=0,2
/proc/77665/stat : 77665 (roundingsat) R 77663 77663 77498 0 -1 4194304 11812 0 0 0 125 23 0 0 20 0 1 0 70090201 113324032 15267 18446744073709551615 4227072 8923433 140722302950976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21614592 140722302953890 140722302954024 140722302954024 140722302959594 0
/proc/77665/statm: 27667 15267 2400 1147 0 15094 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 114860 KiB
Current children cumulated memory: 64012 KiB
[startup+3.10584 s]
/proc/loadavg: 4.05 2.83 2.81 5/270 77665
/proc/meminfo: memFree=112099092/131249996 swapFree=33004236/33010684
[pid=77663] ppid=77660 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77663/stat : 77663 (run-opt.sh) S 77660 77663 77498 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 70090200 4292608 736 18446744073709551615 94466762211328 94466763105861 140729452836800 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94466763344912 94466763392656 94466784665600 140729452841325 140729452841448 140729452841448 140729452847050 0
/proc/77663/statm: 1048 736 672 219 0 110 0
[pid=77665] ppid=77663 vsize=144904 memory=89532 CPUtime=3.08 cores=0,2
/proc/77665/stat : 77665 (roundingsat) R 77663 77663 77498 0 -1 4194304 17901 0 0 0 267 41 0 0 20 0 1 0 70090201 148381696 22383 18446744073709551615 4227072 8923433 140722302950976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21614592 140722302953890 140722302954024 140722302954024 140722302959594 0
/proc/77665/statm: 36226 22383 2400 1147 0 23653 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 149096 KiB
Current children cumulated memory: 92476 KiB
[startup+6.30021 s]
/proc/loadavg: 4.05 2.85 2.82 5/270 77665
/proc/meminfo: memFree=112042956/131249996 swapFree=33004236/33010684
[pid=77663] ppid=77660 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77663/stat : 77663 (run-opt.sh) S 77660 77663 77498 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 70090200 4292608 736 18446744073709551615 94466762211328 94466763105861 140729452836800 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94466763344912 94466763392656 94466784665600 140729452841325 140729452841448 140729452841448 140729452847050 0
/proc/77663/statm: 1048 736 672 219 0 110 0
[pid=77665] ppid=77663 vsize=203352 memory=141808 CPUtime=6.26 cores=0,2
/proc/77665/stat : 77665 (roundingsat) R 77663 77663 77498 0 -1 4194304 27398 0 0 0 555 71 0 0 20 0 1 0 70090201 208232448 35452 18446744073709551615 4227072 8923433 140722302950976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21614592 140722302953890 140722302954024 140722302954024 140722302959594 0
/proc/77665/statm: 50838 35452 2400 1147 0 38265 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 207544 KiB
Current children cumulated memory: 144752 KiB
[startup+12.7002 s]
/proc/loadavg: 4.05 2.87 2.83 5/270 77665
/proc/meminfo: memFree=111999756/131249996 swapFree=33004236/33010684
[pid=77663] ppid=77660 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77663/stat : 77663 (run-opt.sh) S 77660 77663 77498 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 70090200 4292608 736 18446744073709551615 94466762211328 94466763105861 140729452836800 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94466763344912 94466763392656 94466784665600 140729452841325 140729452841448 140729452841448 140729452847050 0
/proc/77663/statm: 1048 736 672 219 0 110 0
[pid=77665] ppid=77663 vsize=231104 memory=175240 CPUtime=12.65 cores=0,2
/proc/77665/stat : 77665 (roundingsat) R 77663 77663 77498 0 -1 4194304 33704 0 0 0 1147 118 0 0 20 0 1 0 70090201 236650496 43810 18446744073709551615 4227072 8923433 140722302950976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21614592 140722302953890 140722302954024 140722302954024 140722302959594 0
/proc/77665/statm: 57776 43810 2400 1147 0 45203 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 235296 KiB
Current children cumulated memory: 178184 KiB
[startup+25.5002 s]
/proc/loadavg: 4.04 2.93 2.85 5/269 77665
/proc/meminfo: memFree=111945564/131249996 swapFree=33004236/33010684
[pid=77663] ppid=77660 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77663/stat : 77663 (run-opt.sh) S 77660 77663 77498 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 70090200 4292608 736 18446744073709551615 94466762211328 94466763105861 140729452836800 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94466763344912 94466763392656 94466784665600 140729452841325 140729452841448 140729452841448 140729452847050 0
/proc/77663/statm: 1048 736 672 219 0 110 0
[pid=77665] ppid=77663 vsize=320948 memory=251696 CPUtime=25.41 cores=0,2
/proc/77665/stat : 77665 (roundingsat) R 77663 77663 77498 0 -1 4194304 47203 0 0 0 2346 195 0 0 20 0 1 0 70090201 328650752 62924 18446744073709551615 4227072 8923433 140722302950976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21614592 140722302953890 140722302954024 140722302954024 140722302959594 0
/proc/77665/statm: 80237 62924 2400 1147 0 67664 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 325140 KiB
Current children cumulated memory: 254640 KiB
[startup+51.1059 s]
/proc/loadavg: 4.08 3.03 2.88 5/270 77667
/proc/meminfo: memFree=111846852/131249996 swapFree=33004236/33010684
[pid=77663] ppid=77660 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77663/stat : 77663 (run-opt.sh) S 77660 77663 77498 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 70090200 4292608 736 18446744073709551615 94466762211328 94466763105861 140729452836800 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94466763344912 94466763392656 94466784665600 140729452841325 140729452841448 140729452841448 140729452847050 0
/proc/77663/statm: 1048 736 672 219 0 110 0
[pid=77665] ppid=77663 vsize=434020 memory=323384 CPUtime=50.94 cores=0,2
/proc/77665/stat : 77665 (roundingsat) R 77663 77663 77498 0 -1 4194304 60513 0 0 0 4773 321 0 0 20 0 1 0 70090201 444436480 80846 18446744073709551615 4227072 8923433 140722302950976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21614592 140722302953890 140722302954024 140722302954024 140722302959594 0
/proc/77665/statm: 108505 80846 2400 1147 0 95932 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 438212 KiB
Current children cumulated memory: 326328 KiB
[startup+102.3 s]
/proc/loadavg: 4.04 3.18 2.94 5/270 77671
/proc/meminfo: memFree=111569436/131249996 swapFree=33004236/33010684
[pid=77663] ppid=77660 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77663/stat : 77663 (run-opt.sh) S 77660 77663 77498 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 70090200 4292608 736 18446744073709551615 94466762211328 94466763105861 140729452836800 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94466763344912 94466763392656 94466784665600 140729452841325 140729452841448 140729452841448 140729452847050 0
/proc/77663/statm: 1048 736 672 219 0 110 0
[pid=77665] ppid=77663 vsize=545776 memory=425512 CPUtime=101.99 cores=0,2
/proc/77665/stat : 77665 (roundingsat) R 77663 77663 77498 0 -1 4194304 79961 0 0 0 9695 504 0 0 20 0 1 0 70090201 558874624 106378 18446744073709551615 4227072 8923433 140722302950976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21614592 140722302953890 140722302954024 140722302954024 140722302959594 0
/proc/77665/statm: 136444 106378 2400 1147 0 123871 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 549968 KiB
Current children cumulated memory: 428456 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 3.37 3.02 5/270 77675
/proc/meminfo: memFree=111306136/131249996 swapFree=33004236/33010684
[pid=77663] ppid=77660 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77663/stat : 77663 (run-opt.sh) S 77660 77663 77498 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 70090200 4292608 736 18446744073709551615 94466762211328 94466763105861 140729452836800 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94466763344912 94466763392656 94466784665600 140729452841325 140729452841448 140729452841448 140729452847050 0
/proc/77663/statm: 1048 736 672 219 0 110 0
[pid=77665] ppid=77663 vsize=645088 memory=469680 CPUtime=161.82 cores=0,2
/proc/77665/stat : 77665 (roundingsat) R 77663 77663 77498 0 -1 4194304 86424 0 0 0 15503 679 0 0 20 0 1 0 70090201 660570112 117420 18446744073709551615 4227072 8923433 140722302950976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21614592 140722302953890 140722302954024 140722302954024 140722302959594 0
/proc/77665/statm: 161272 117420 2400 1147 0 148699 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 649280 KiB
Current children cumulated memory: 472624 KiB
[startup+222.3 s]
/proc/loadavg: 4.18 3.52 3.10 5/270 77677
/proc/meminfo: memFree=111195436/131249996 swapFree=33004236/33010684
[pid=77663] ppid=77660 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77663/stat : 77663 (run-opt.sh) S 77660 77663 77498 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 70090200 4292608 736 18446744073709551615 94466762211328 94466763105861 140729452836800 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94466763344912 94466763392656 94466784665600 140729452841325 140729452841448 140729452841448 140729452847050 0
/proc/77663/statm: 1048 736 672 219 0 110 0
[pid=77665] ppid=77663 vsize=711336 memory=538408 CPUtime=221.64 cores=0,2
/proc/77665/stat : 77665 (roundingsat) R 77663 77663 77498 0 -1 4194304 100543 0 0 0 21329 835 0 0 20 0 1 0 70090201 728408064 134602 18446744073709551615 4227072 8923433 140722302950976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21614592 140722302953890 140722302954024 140722302954024 140722302959594 0
/proc/77665/statm: 177834 134602 2400 1147 0 165261 0
################
# More data... #
################
/proc/77665/statm: 452616 362611 2400 1147 0 440043 0
Current children cumulated CPU time: 3033.56 s
Current children cumulated vsize: 1814656 KiB
Current children cumulated memory: 1453388 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/269 78182
/proc/meminfo: memFree=107580044/131249996 swapFree=33004236/33010684
[pid=77663] ppid=77660 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77663/stat : 77663 (run-opt.sh) S 77660 77663 77498 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 70090200 4292608 736 18446744073709551615 94466762211328 94466763105861 140729452836800 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94466763344912 94466763392656 94466784665600 140729452841325 140729452841448 140729452841448 140729452847050 0
/proc/77663/statm: 1048 736 672 219 0 110 0
[pid=77665] ppid=77663 vsize=1810464 memory=1450572 CPUtime=3093.39 cores=0,2
/proc/77665/stat : 77665 (roundingsat) R 77663 77663 77498 0 -1 4194304 238501 0 0 0 304640 4699 0 0 20 0 1 0 70090201 1853915136 362643 18446744073709551615 4227072 8923433 140722302950976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21614592 140722302953890 140722302954024 140722302954024 140722302959594 0
/proc/77665/statm: 452616 362643 2400 1147 0 440043 0
Current children cumulated CPU time: 3093.39 s
Current children cumulated vsize: 1814656 KiB
Current children cumulated memory: 1453516 KiB
[startup+3162.3 s]
/proc/loadavg: 4.04 4.10 4.08 5/269 78186
/proc/meminfo: memFree=107557008/131249996 swapFree=33004236/33010684
[pid=77663] ppid=77660 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77663/stat : 77663 (run-opt.sh) S 77660 77663 77498 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 70090200 4292608 736 18446744073709551615 94466762211328 94466763105861 140729452836800 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94466763344912 94466763392656 94466784665600 140729452841325 140729452841448 140729452841448 140729452847050 0
/proc/77663/statm: 1048 736 672 219 0 110 0
[pid=77665] ppid=77663 vsize=1829408 memory=1460556 CPUtime=3153.2 cores=0,2
/proc/77665/stat : 77665 (roundingsat) R 77663 77663 77498 0 -1 4194304 241116 0 0 0 310558 4762 0 0 20 0 1 0 70090201 1873313792 365139 18446744073709551615 4227072 8923433 140722302950976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21614592 140722302953890 140722302954024 140722302954024 140722302959594 0
/proc/77665/statm: 457352 365139 2400 1147 0 444779 0
Current children cumulated CPU time: 3153.2 s
Current children cumulated vsize: 1833600 KiB
Current children cumulated memory: 1463500 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/267 78188
/proc/meminfo: memFree=107496164/131249996 swapFree=33004236/33010684
[pid=77663] ppid=77660 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77663/stat : 77663 (run-opt.sh) S 77660 77663 77498 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 70090200 4292608 736 18446744073709551615 94466762211328 94466763105861 140729452836800 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94466763344912 94466763392656 94466784665600 140729452841325 140729452841448 140729452841448 140729452847050 0
/proc/77663/statm: 1048 736 672 219 0 110 0
[pid=77665] ppid=77663 vsize=1830436 memory=1471024 CPUtime=3213.03 cores=0,2
/proc/77665/stat : 77665 (roundingsat) R 77663 77663 77498 0 -1 4194304 241993 0 0 0 316474 4829 0 0 20 0 1 0 70090201 1874366464 367756 18446744073709551615 4227072 8923433 140722302950976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21614592 140722302953890 140722302954024 140722302954024 140722302959594 0
/proc/77665/statm: 457609 367756 2400 1147 0 445036 0
Current children cumulated CPU time: 3213.03 s
Current children cumulated vsize: 1834628 KiB
Current children cumulated memory: 1473968 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/266 78189
/proc/meminfo: memFree=107492420/131249996 swapFree=33004236/33010684
[pid=77663] ppid=77660 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77663/stat : 77663 (run-opt.sh) S 77660 77663 77498 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 70090200 4292608 736 18446744073709551615 94466762211328 94466763105861 140729452836800 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94466763344912 94466763392656 94466784665600 140729452841325 140729452841448 140729452841448 140729452847050 0
/proc/77663/statm: 1048 736 672 219 0 110 0
[pid=77665] ppid=77663 vsize=1830436 memory=1471024 CPUtime=3272.86 cores=0,2
/proc/77665/stat : 77665 (roundingsat) R 77663 77663 77498 0 -1 4194304 241993 0 0 0 322391 4895 0 0 20 0 1 0 70090201 1874366464 367756 18446744073709551615 4227072 8923433 140722302950976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21614592 140722302953890 140722302954024 140722302954024 140722302959594 0
/proc/77665/statm: 457609 367756 2400 1147 0 445036 0
Current children cumulated CPU time: 3272.86 s
Current children cumulated vsize: 1834628 KiB
Current children cumulated memory: 1473968 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/266 78191
/proc/meminfo: memFree=107496088/131249996 swapFree=33004236/33010684
[pid=77663] ppid=77660 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77663/stat : 77663 (run-opt.sh) S 77660 77663 77498 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 70090200 4292608 736 18446744073709551615 94466762211328 94466763105861 140729452836800 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94466763344912 94466763392656 94466784665600 140729452841325 140729452841448 140729452841448 140729452847050 0
/proc/77663/statm: 1048 736 672 219 0 110 0
[pid=77665] ppid=77663 vsize=1830436 memory=1471024 CPUtime=3332.68 cores=0,2
/proc/77665/stat : 77665 (roundingsat) R 77663 77663 77498 0 -1 4194304 241994 0 0 0 328310 4958 0 0 20 0 1 0 70090201 1874366464 367756 18446744073709551615 4227072 8923433 140722302950976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21614592 140722302953890 140722302954024 140722302954024 140722302959594 0
/proc/77665/statm: 457609 367756 2400 1147 0 445036 0
Current children cumulated CPU time: 3332.68 s
Current children cumulated vsize: 1834628 KiB
Current children cumulated memory: 1473968 KiB
[startup+3402.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/267 78332
/proc/meminfo: memFree=108016600/131249996 swapFree=33004236/33010684
[pid=77663] ppid=77660 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77663/stat : 77663 (run-opt.sh) S 77660 77663 77498 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 70090200 4292608 736 18446744073709551615 94466762211328 94466763105861 140729452836800 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94466763344912 94466763392656 94466784665600 140729452841325 140729452841448 140729452841448 140729452847050 0
/proc/77663/statm: 1048 736 672 219 0 110 0
[pid=77665] ppid=77663 vsize=1830436 memory=1479508 CPUtime=3392.52 cores=0,2
/proc/77665/stat : 77665 (roundingsat) R 77663 77663 77498 0 -1 4194304 242583 0 0 0 334225 5027 0 0 20 0 1 0 70090201 1874366464 369877 18446744073709551615 4227072 8923433 140722302950976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21614592 140722302953890 140722302954024 140722302954024 140722302959594 0
/proc/77665/statm: 457609 369877 2400 1147 0 445036 0
Current children cumulated CPU time: 3392.52 s
Current children cumulated vsize: 1834628 KiB
Current children cumulated memory: 1482452 KiB
[startup+3462.3 s]
/proc/loadavg: 4.06 4.08 4.08 5/267 78335
/proc/meminfo: memFree=108005920/131249996 swapFree=33004236/33010684
[pid=77663] ppid=77660 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77663/stat : 77663 (run-opt.sh) S 77660 77663 77498 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 70090200 4292608 736 18446744073709551615 94466762211328 94466763105861 140729452836800 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94466763344912 94466763392656 94466784665600 140729452841325 140729452841448 140729452841448 140729452847050 0
/proc/77663/statm: 1048 736 672 219 0 110 0
[pid=77665] ppid=77663 vsize=1830436 memory=1479508 CPUtime=3452.37 cores=0,2
/proc/77665/stat : 77665 (roundingsat) R 77663 77663 77498 0 -1 4194304 242829 0 0 0 340140 5097 0 0 20 0 1 0 70090201 1874366464 369877 18446744073709551615 4227072 8923433 140722302950976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21614592 140722302953890 140722302954024 140722302954024 140722302959594 0
/proc/77665/statm: 457609 369877 2400 1147 0 445036 0
Current children cumulated CPU time: 3452.37 s
Current children cumulated vsize: 1834628 KiB
Current children cumulated memory: 1482452 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.09 4.09 5/268 78338
/proc/meminfo: memFree=107988876/131249996 swapFree=33004236/33010684
[pid=77663] ppid=77660 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77663/stat : 77663 (run-opt.sh) S 77660 77663 77498 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 70090200 4292608 736 18446744073709551615 94466762211328 94466763105861 140729452836800 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94466763344912 94466763392656 94466784665600 140729452841325 140729452841448 140729452841448 140729452847050 0
/proc/77663/statm: 1048 736 672 219 0 110 0
[pid=77665] ppid=77663 vsize=1837604 memory=1483604 CPUtime=3512.21 cores=0,2
/proc/77665/stat : 77665 (roundingsat) R 77663 77663 77498 0 -1 4194304 244041 0 0 0 346064 5157 0 0 20 0 1 0 70090201 1881706496 370901 18446744073709551615 4227072 8923433 140722302950976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21614592 140722302953890 140722302954024 140722302954024 140722302959594 0
/proc/77665/statm: 459401 370901 2400 1147 0 446828 0
Current children cumulated CPU time: 3512.21 s
Current children cumulated vsize: 1841796 KiB
Current children cumulated memory: 1486548 KiB
[startup+3582.3 s]
/proc/loadavg: 4.05 4.08 4.08 5/270 78357
/proc/meminfo: memFree=106530464/131249996 swapFree=33004236/33010684
[pid=77663] ppid=77660 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77663/stat : 77663 (run-opt.sh) S 77660 77663 77498 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 70090200 4292608 736 18446744073709551615 94466762211328 94466763105861 140729452836800 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94466763344912 94466763392656 94466784665600 140729452841325 140729452841448 140729452841448 140729452847050 0
/proc/77663/statm: 1048 736 672 219 0 110 0
[pid=77665] ppid=77663 vsize=1848356 memory=1489620 CPUtime=3572.06 cores=0,2
/proc/77665/stat : 77665 (roundingsat) R 77663 77663 77498 0 -1 4194304 245576 0 0 0 352004 5202 0 0 20 0 1 0 70090201 1892716544 372405 18446744073709551615 4227072 8923433 140722302950976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21614592 140722302953890 140722302954024 140722302954024 140722302959594 0
/proc/77665/statm: 462089 372405 2400 1147 0 449516 0
Current children cumulated CPU time: 3572.06 s
Current children cumulated vsize: 1852548 KiB
Current children cumulated memory: 1492564 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.4 s]
/proc/loadavg: 4.10 4.08 4.09 5/270 78358
/proc/meminfo: memFree=106429268/131249996 swapFree=33004236/33010684
[pid=77663] ppid=77660 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77663/stat : 77663 (run-opt.sh) S 77660 77663 77498 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 70090200 4292608 736 18446744073709551615 94466762211328 94466763105861 140729452836800 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94466763344912 94466763392656 94466784665600 140729452841325 140729452841448 140729452841448 140729452847050 0
/proc/77663/statm: 1048 736 672 219 0 110 0
[pid=77665] ppid=77663 vsize=1855528 memory=1511192 CPUtime=3600.09 cores=0,2
/proc/77665/stat : 77665 (roundingsat) R 77663 77663 77498 0 -1 4194304 247376 0 0 0 354779 5230 0 0 20 0 1 0 70090201 1900060672 377798 18446744073709551615 4227072 8923433 140722302950976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21614592 140722302953890 140722302954024 140722302954024 140722302959594 0
/proc/77665/statm: 463882 377798 2400 1147 0 451309 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1859720 KiB
Current children cumulated memory: 1514136 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.4 s]
# the end of solver process 77663 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.000753 s, system=0.001504 s
[startup+3610.43 s]
# the end of solver process 77665 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3547.8 s, system=52.3286 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.43
CPU time (s): 3600.13
CPU user time (s): 3547.8
CPU system time (s): 52.3286
CPU usage (%): 99.7148
Max. virtual memory (cumulated for all children) (KiB): 1859720
Max. memory (cumulated for all children) (KiB): 1514136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3547.8
system time used= 52.3286
maximum resident set size= 1511576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 247601
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= 241
involuntary context switches= 7968
# summary of solver processes directly reported to runsolver:
# pid: 77663,77665
# total CPU time (s): 3600.13
# total CPU user time (s): 3547.8
# total CPU system time (s): 52.3286
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.60403 second user time and 16.8234 second system time
The end
Begin job on nodeC023 at 2025-07-03 14:02:03
IDJOB=4518272
IDBENCH=176856
IDSOLVER=3350
FILE ID=nodeC023/4518272-1751544123
RUNJOBID= nodeC023-1751543886-77531
SLURM_JOB_ID= 9598710
Free space on /tmp= 431848 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/weakly_correlated_span/normalized-knapPI_12_1000_1000_3_-17136.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4518272-1751544123/watcher-4518272-1751544123 -o /tmp/evaluation-result-4518272-1751544123/solver-4518272-1751544123 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751543886-77531 --watchdog 3760 run-opt.sh HOME/instance-4518272-1751544123.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 320619d7d3e3251d2b23c67a6b07bae2
RANDOM SEED=1582386022
nodeC023 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.288
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.78
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.908
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.78
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 : 3290.168
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.78
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 : 3517.707
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.78
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.891
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.78
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.886
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.78
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 : 3683.556
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.78
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 : 3636.939
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.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 112161584 kB
MemAvailable: 127923920 kB
Buffers: 16 kB
Cached: 16506524 kB
SwapCached: 592 kB
Active: 2025492 kB
Inactive: 16301428 kB
Active(anon): 1813332 kB
Inactive(anon): 20452 kB
Active(file): 212160 kB
Inactive(file): 16280976 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33004236 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7160 kB
Writeback: 0 kB
AnonPages: 1822860 kB
Mapped: 112388 kB
Shmem: 13404 kB
KReclaimable: 216880 kB
Slab: 307384 kB
SReclaimable: 216880 kB
SUnreclaim: 90504 kB
KernelStack: 4352 kB
PageTables: 7244 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 2430696 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150664 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 282624 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 197332 kB
DirectMap2M: 9011200 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 431840 MiB
End job on nodeC023 at 2025-07-03 15:02:14