0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c #variables 560 #constraints 560
0.22/0.23 c bounds - >= 0 @ 0.0026
0.22/0.23 c bounds 170 >= 0 @ 0.114461
0.22/0.23 c bounds 170 >= 1 @ 0.114461
0.22/0.23 c bounds 170 >= 2 @ 0.114637
0.22/0.23 c bounds 170 >= 3 @ 0.114852
0.22/0.23 c bounds 170 >= 4 @ 0.11504
0.22/0.23 c bounds 170 >= 5 @ 0.11523
0.22/0.23 c bounds 170 >= 6 @ 0.115414
0.22/0.23 c bounds 170 >= 7 @ 0.115624
0.22/0.23 c bounds 170 >= 8 @ 0.115848
0.22/0.23 c bounds 170 >= 9 @ 0.116048
0.22/0.23 c bounds 170 >= 10 @ 0.116255
0.22/0.23 c bounds 170 >= 11 @ 0.116455
0.22/0.23 c bounds 170 >= 12 @ 0.116677
0.22/0.23 c bounds 170 >= 13 @ 0.116899
0.22/0.23 c bounds 170 >= 14 @ 0.117105
0.22/0.23 c bounds 170 >= 15 @ 0.117328
0.22/0.23 c bounds 170 >= 16 @ 0.117553
0.22/0.23 c bounds 170 >= 17 @ 0.117777
0.22/0.23 c bounds 170 >= 18 @ 0.117978
0.22/0.23 c bounds 170 >= 19 @ 0.118187
0.22/0.23 c bounds 170 >= 20 @ 0.118392
0.22/0.23 c bounds 170 >= 21 @ 0.118615
0.22/0.23 c bounds 170 >= 22 @ 0.118845
0.22/0.23 c bounds 170 >= 23 @ 0.119048
0.22/0.23 c bounds 170 >= 24 @ 0.119252
0.22/0.23 c bounds 170 >= 25 @ 0.119478
0.22/0.23 c bounds 170 >= 26 @ 0.119688
0.22/0.23 c bounds 170 >= 27 @ 0.119911
0.22/0.23 c bounds 170 >= 28 @ 0.120119
0.22/0.23 c bounds 170 >= 29 @ 0.120327
0.22/0.23 c bounds 170 >= 30 @ 0.120551
0.22/0.23 c bounds 170 >= 31 @ 0.120782
0.22/0.23 c bounds 170 >= 32 @ 0.120991
0.22/0.23 c bounds 170 >= 33 @ 0.121198
0.22/0.23 c bounds 170 >= 34 @ 0.121409
0.22/0.23 c bounds 170 >= 35 @ 0.12162
0.22/0.23 c bounds 170 >= 36 @ 0.121826
0.22/0.23 c bounds 170 >= 37 @ 0.122038
0.22/0.23 c bounds 170 >= 38 @ 0.122246
0.22/0.23 c bounds 170 >= 39 @ 0.122456
0.22/0.23 c bounds 170 >= 40 @ 0.122668
0.22/0.23 c bounds 170 >= 41 @ 0.122883
0.22/0.23 c bounds 170 >= 42 @ 0.123091
0.22/0.23 c bounds 170 >= 43 @ 0.123303
0.22/0.23 c bounds 170 >= 44 @ 0.123518
0.22/0.23 c bounds 170 >= 45 @ 0.12373
0.22/0.23 c bounds 170 >= 46 @ 0.123942
0.22/0.23 c bounds 170 >= 47 @ 0.124154
0.22/0.23 c bounds 170 >= 48 @ 0.124362
0.22/0.23 c bounds 170 >= 49 @ 0.124596
0.22/0.23 c bounds 170 >= 50 @ 0.124813
0.22/0.23 c bounds 170 >= 51 @ 0.125024
0.22/0.23 c bounds 170 >= 52 @ 0.125239
0.22/0.23 c bounds 170 >= 53 @ 0.125451
0.22/0.23 c bounds 170 >= 54 @ 0.125664
0.22/0.23 c bounds 170 >= 55 @ 0.125882
0.22/0.23 c bounds 170 >= 56 @ 0.126097
0.22/0.23 c bounds 170 >= 57 @ 0.126309
0.22/0.23 c bounds 170 >= 58 @ 0.126526
0.22/0.23 c bounds 170 >= 59 @ 0.12674
0.22/0.23 c bounds 170 >= 60 @ 0.126955
0.22/0.23 c bounds 170 >= 61 @ 0.127177
0.22/0.23 c bounds 170 >= 62 @ 0.127395
0.22/0.23 c bounds 170 >= 63 @ 0.127434
0.22/0.23 c bounds 170 >= 64 @ 0.127434
0.22/0.23 c bounds 169 >= 64 @ 0.137403
0.22/0.23 c bounds 169 >= 65 @ 0.137423
0.22/0.23 c bounds 169 >= 66 @ 0.137648
0.22/0.23 c bounds 169 >= 67 @ 0.13788
0.22/0.23 c bounds 169 >= 68 @ 0.138098
0.22/0.23 c bounds 169 >= 69 @ 0.138316
0.22/0.23 c bounds 169 >= 70 @ 0.138538
0.22/0.23 c bounds 169 >= 71 @ 0.13876
0.22/0.23 c bounds 169 >= 72 @ 0.138982
0.22/0.23 c bounds 169 >= 73 @ 0.1392
0.22/0.23 c bounds 169 >= 74 @ 0.139422
0.22/0.23 c bounds 169 >= 75 @ 0.139643
0.22/0.23 c bounds 169 >= 76 @ 0.139873
0.22/0.23 c bounds 169 >= 77 @ 0.140095
0.22/0.23 c bounds 169 >= 78 @ 0.140312
0.22/0.23 c bounds 169 >= 79 @ 0.140547
0.22/0.23 c bounds 169 >= 80 @ 0.140775
0.22/0.23 c bounds 169 >= 81 @ 0.141
0.22/0.23 c bounds 169 >= 82 @ 0.141228
0.22/0.23 c bounds 169 >= 83 @ 0.141452
0.22/0.23 c bounds 169 >= 84 @ 0.141679
0.22/0.23 c bounds 169 >= 85 @ 0.14191
0.22/0.23 c bounds 169 >= 86 @ 0.142138
0.22/0.23 c bounds 169 >= 87 @ 0.142357
0.22/0.23 c bounds 169 >= 88 @ 0.142583
0.22/0.23 c bounds 169 >= 89 @ 0.14281
0.22/0.23 c bounds 169 >= 90 @ 0.143037
0.22/0.23 c bounds 169 >= 91 @ 0.143268
0.22/0.23 c bounds 169 >= 92 @ 0.143495
0.22/0.23 c bounds 169 >= 93 @ 0.143723
0.22/0.23 c bounds 169 >= 94 @ 0.143956
0.22/0.23 c bounds 169 >= 95 @ 0.144182
0.22/0.23 c bounds 169 >= 96 @ 0.144419
0.22/0.23 c bounds 169 >= 97 @ 0.144658
0.22/0.23 c bounds 169 >= 98 @ 0.144888
0.22/0.23 c bounds 169 >= 99 @ 0.145109
0.22/0.23 c bounds 169 >= 100 @ 0.145338
0.22/0.23 c bounds 169 >= 101 @ 0.14538
0.22/0.23 c bounds 169 >= 102 @ 0.14538
0.22/0.23 c bounds 169 >= 103 @ 0.14538
0.22/0.23 c bounds 169 >= 104 @ 0.14538
0.22/0.23 c bounds 169 >= 105 @ 0.145531
0.22/0.23 c bounds 169 >= 106 @ 0.145763
0.22/0.23 c bounds 169 >= 107 @ 0.14599
0.22/0.23 c bounds 169 >= 108 @ 0.146204
0.22/0.23 c bounds 169 >= 109 @ 0.146443
0.22/0.23 c bounds 169 >= 110 @ 0.14668
0.22/0.23 c bounds 169 >= 111 @ 0.146913
0.22/0.23 c bounds 169 >= 112 @ 0.147147
0.22/0.23 c bounds 169 >= 113 @ 0.147375
0.22/0.23 c bounds 169 >= 114 @ 0.147607
0.22/0.23 c bounds 169 >= 115 @ 0.147842
0.22/0.23 c bounds 169 >= 116 @ 0.148073
0.22/0.23 c bounds 169 >= 117 @ 0.1483
0.22/0.23 c bounds 169 >= 118 @ 0.148537
0.22/0.23 c bounds 169 >= 119 @ 0.148768
0.22/0.23 c bounds 169 >= 120 @ 0.149003
0.22/0.23 c bounds 169 >= 121 @ 0.149246
0.22/0.23 c bounds 169 >= 122 @ 0.149478
0.22/0.23 c bounds 169 >= 123 @ 0.149705
0.22/0.23 c bounds 169 >= 124 @ 0.149944
0.22/0.23 c bounds 169 >= 125 @ 0.150177
0.22/0.23 c bounds 169 >= 126 @ 0.150415
0.22/0.23 c bounds 169 >= 127 @ 0.150703
0.22/0.23 c bounds 169 >= 128 @ 0.150984
0.22/0.23 c bounds 169 >= 129 @ 0.151297
0.22/0.23 c bounds 169 >= 130 @ 0.154022
0.22/0.23 c bounds 169 >= 131 @ 0.154819
0.22/0.23 c bounds 169 >= 132 @ 0.161828
0.22/0.23 c bounds 169 >= 133 @ 0.1908
0.22/0.23 c bounds 168 >= 133 @ 0.200157
0.41/0.49 c bounds 167 >= 133 @ 0.208254
0.41/0.49 c bounds 166 >= 133 @ 0.222407
0.41/0.49 c bounds 165 >= 133 @ 0.232051
0.41/0.49 c #Conflicts: 1000 | #Constraints: 2225
0.41/0.49 c bounds 164 >= 133 @ 0.253048
0.41/0.49 c bounds 164 >= 134 @ 0.259099
0.41/0.49 c bounds 163 >= 134 @ 0.26336
0.41/0.49 c bounds 163 >= 135 @ 0.269874
0.41/0.49 c bounds 162 >= 135 @ 0.274558
0.41/0.49 c bounds 162 >= 136 @ 0.331996
0.41/0.49 c bounds 161 >= 136 @ 0.33989
0.41/0.49 c bounds 160 >= 136 @ 0.354522
0.41/0.49 c #Conflicts: 2000 | #Constraints: 3428
0.41/0.49 c INPROCESSING
0.41/0.49 c GARBAGE COLLECT
0.41/0.49 c rational objective 140
1.00/1.04 c bounds 159 >= 136 @ 0.513903
1.00/1.04 c #Conflicts: 3000 | #Constraints: 3299
1.00/1.04 c bounds 158 >= 136 @ 0.758729
1.00/1.04 c #Conflicts: 4000 | #Constraints: 4300
1.00/1.04 c INPROCESSING
1.00/1.04 c GARBAGE COLLECT
1.00/1.04 c rational objective 140
1.59/1.69 c bounds 158 >= 137 @ 0.967051
1.59/1.69 c bounds 157 >= 137 @ 0.968157
1.59/1.69 c bounds 156 >= 137 @ 0.974319
1.59/1.69 c bounds 155 >= 137 @ 0.990649
1.59/1.69 c #Conflicts: 5000 | #Constraints: 3806
1.59/1.69 c #Conflicts: 6000 | #Constraints: 4806
1.59/1.69 c INPROCESSING
1.59/1.69 c GARBAGE COLLECT
1.59/1.69 c rational objective 140
2.18/2.27 c bounds 154 >= 137 @ 1.52435
2.18/2.27 c #Conflicts: 7000 | #Constraints: 3868
2.18/2.27 c bounds 153 >= 137 @ 1.63585
2.18/2.27 c bounds 152 >= 137 @ 1.68566
2.18/2.27 c #Conflicts: 8000 | #Constraints: 4870
2.18/2.27 c bounds 151 >= 137 @ 1.84048
2.18/2.27 c bounds 150 >= 137 @ 1.87846
2.18/2.27 c bounds 149 >= 137 @ 1.95238
2.18/2.27 c #Conflicts: 9000 | #Constraints: 5924
2.18/2.27 c INPROCESSING
2.18/2.27 c GARBAGE COLLECT
2.18/2.27 c rational objective 140
3.10/3.17 c #Conflicts: 10000 | #Constraints: 4555
3.10/3.17 c #Conflicts: 11000 | #Constraints: 5558
3.10/3.17 c #Conflicts: 12000 | #Constraints: 6592
3.10/3.17 c INPROCESSING
3.10/3.17 c GARBAGE COLLECT
3.10/3.17 c rational objective 140
4.38/4.42 c #Conflicts: 13000 | #Constraints: 4997
4.38/4.42 c #Conflicts: 14000 | #Constraints: 5997
4.38/4.42 c #Conflicts: 15000 | #Constraints: 6997
4.38/4.42 c INPROCESSING
4.38/4.42 c GARBAGE COLLECT
4.38/4.42 c rational objective 140
5.37/5.41 c #Conflicts: 16000 | #Constraints: 5276
5.37/5.41 c #Conflicts: 17000 | #Constraints: 6286
5.37/5.41 c #Conflicts: 18000 | #Constraints: 7311
5.37/5.41 c INPROCESSING
5.37/5.41 c GARBAGE COLLECT
5.37/5.41 c rational objective 140
6.77/6.88 c #Conflicts: 19000 | #Constraints: 5286
6.77/6.88 c #Conflicts: 20000 | #Constraints: 6286
6.77/6.88 c #Conflicts: 21000 | #Constraints: 7286
6.77/6.88 c INPROCESSING
6.77/6.88 c GARBAGE COLLECT
6.77/6.88 c rational objective 140
8.17/8.29 c #Conflicts: 22000 | #Constraints: 5160
8.17/8.29 c #Conflicts: 23000 | #Constraints: 6171
8.17/8.29 c #Conflicts: 24000 | #Constraints: 7215
8.17/8.29 c #Conflicts: 25000 | #Constraints: 8242
8.17/8.29 c INPROCESSING
8.17/8.29 c GARBAGE COLLECT
8.17/8.29 c rational objective 140
9.67/9.73 c #Conflicts: 26000 | #Constraints: 5748
9.67/9.73 c #Conflicts: 27000 | #Constraints: 6763
9.67/9.73 c #Conflicts: 28000 | #Constraints: 7779
9.67/9.73 c #Conflicts: 29000 | #Constraints: 8804
9.67/9.73 c INPROCESSING
9.67/9.73 c GARBAGE COLLECT
9.67/9.73 c rational objective 140
11.26/11.37 c #Conflicts: 30000 | #Constraints: 6120
11.26/11.37 c #Conflicts: 31000 | #Constraints: 7120
11.26/11.37 c bounds 149 >= 138 @ 9.8342
11.26/11.37 c #Conflicts: 32000 | #Constraints: 8264
11.26/11.37 c #Conflicts: 33000 | #Constraints: 9264
11.26/11.37 c INPROCESSING
11.26/11.37 c GARBAGE COLLECT
11.26/11.37 c rational objective 140
12.76/12.89 c #Conflicts: 34000 | #Constraints: 6493
12.76/12.89 c #Conflicts: 35000 | #Constraints: 7497
12.76/12.89 c #Conflicts: 36000 | #Constraints: 8544
12.76/12.89 c #Conflicts: 37000 | #Constraints: 9572
12.76/12.89 c INPROCESSING
12.76/12.89 c GARBAGE COLLECT
12.76/12.89 c rational objective 140
14.96/15.07 c #Conflicts: 38000 | #Constraints: 6487
14.96/15.07 c #Conflicts: 39000 | #Constraints: 7487
14.96/15.07 c #Conflicts: 40000 | #Constraints: 8487
14.96/15.07 c #Conflicts: 41000 | #Constraints: 9487
14.96/15.07 c INPROCESSING
14.96/15.07 c GARBAGE COLLECT
14.96/15.07 c rational objective 140
29.81/29.94 c #Conflicts: 42000 | #Constraints: 6333
29.81/29.94 c bounds 148 >= 138 @ 14.5281
29.81/29.94 c #Conflicts: 43000 | #Constraints: 7341
29.81/29.94 c #Conflicts: 44000 | #Constraints: 8379
29.81/29.94 c #Conflicts: 45000 | #Constraints: 9407
29.81/29.94 c #Conflicts: 46000 | #Constraints: 10432
29.81/29.94 c #Conflicts: 47000 | #Constraints: 11456
29.81/29.94 c #Conflicts: 48000 | #Constraints: 12488
29.81/29.94 c #Conflicts: 49000 | #Constraints: 13507
29.81/29.94 c #Conflicts: 50000 | #Constraints: 14525
29.81/29.94 c #Conflicts: 51000 | #Constraints: 15548
29.81/29.94 c #Conflicts: 52000 | #Constraints: 16573
29.81/29.94 c bounds 147 >= 138 @ 20.9433
29.81/29.94 c #Conflicts: 53000 | #Constraints: 17584
29.81/29.94 c #Conflicts: 54000 | #Constraints: 18584
29.81/29.94 c #Conflicts: 55000 | #Constraints: 19584
29.81/29.94 c #Conflicts: 56000 | #Constraints: 20584
29.81/29.94 c #Conflicts: 57000 | #Constraints: 21584
29.81/29.94 c #Conflicts: 58000 | #Constraints: 22584
29.81/29.94 c INPROCESSING
29.81/29.94 c GARBAGE COLLECT
29.81/29.94 c rational objective 140
32.70/32.81 c #Conflicts: 59000 | #Constraints: 12780
32.70/32.81 c #Conflicts: 60000 | #Constraints: 13787
32.70/32.81 c #Conflicts: 61000 | #Constraints: 14811
32.70/32.81 c #Conflicts: 62000 | #Constraints: 15832
32.70/32.81 c #Conflicts: 63000 | #Constraints: 16854
32.70/32.81 c #Conflicts: 64000 | #Constraints: 17872
32.70/32.81 c bounds 146 >= 138 @ 31.1913
32.70/32.81 c INPROCESSING
32.70/32.81 c GARBAGE COLLECT
32.70/32.81 c rational objective 140
39.89/40.05 c #Conflicts: 65000 | #Constraints: 10475
39.89/40.05 c #Conflicts: 66000 | #Constraints: 11475
39.89/40.05 c #Conflicts: 67000 | #Constraints: 12475
39.89/40.05 c #Conflicts: 68000 | #Constraints: 13475
39.89/40.05 c #Conflicts: 69000 | #Constraints: 14475
39.89/40.05 c #Conflicts: 70000 | #Constraints: 15475
39.89/40.05 c INPROCESSING
39.89/40.05 c GARBAGE COLLECT
39.89/40.05 c rational objective 140
42.98/43.13 c #Conflicts: 71000 | #Constraints: 9426
42.98/43.13 c bounds 145 >= 138 @ 38.7339
42.98/43.13 c #Conflicts: 72000 | #Constraints: 10446
42.98/43.13 c #Conflicts: 73000 | #Constraints: 11478
42.98/43.13 c bounds 144 >= 138 @ 39.2695
42.98/43.13 c #Conflicts: 74000 | #Constraints: 12481
42.98/43.13 c #Conflicts: 75000 | #Constraints: 13481
42.98/43.13 c #Conflicts: 76000 | #Constraints: 14499
42.98/43.13 c INPROCESSING
42.98/43.13 c GARBAGE COLLECT
42.98/43.13 c rational objective 140
46.35/46.55 c #Conflicts: 77000 | #Constraints: 8803
46.35/46.55 c #Conflicts: 78000 | #Constraints: 9820
46.35/46.55 c #Conflicts: 79000 | #Constraints: 10840
46.35/46.55 c #Conflicts: 80000 | #Constraints: 11863
46.35/46.55 c #Conflicts: 81000 | #Constraints: 12887
46.35/46.55 c #Conflicts: 82000 | #Constraints: 13911
46.35/46.55 c INPROCESSING
46.35/46.55 c GARBAGE COLLECT
46.35/46.55 c rational objective 140
50.05/50.28 c #Conflicts: 83000 | #Constraints: 8365
50.05/50.28 c #Conflicts: 84000 | #Constraints: 9390
50.05/50.28 c #Conflicts: 85000 | #Constraints: 10414
50.05/50.28 c #Conflicts: 86000 | #Constraints: 11436
50.05/50.28 c #Conflicts: 87000 | #Constraints: 12459
50.05/50.28 c #Conflicts: 88000 | #Constraints: 13475
50.05/50.28 c #Conflicts: 89000 | #Constraints: 14496
50.05/50.28 c INPROCESSING
50.05/50.28 c GARBAGE COLLECT
50.05/50.28 c rational objective 140
56.03/56.24 c #Conflicts: 90000 | #Constraints: 8907
56.03/56.24 c #Conflicts: 91000 | #Constraints: 9907
56.03/56.24 c #Conflicts: 92000 | #Constraints: 10907
56.03/56.24 c #Conflicts: 93000 | #Constraints: 11907
56.03/56.24 c #Conflicts: 94000 | #Constraints: 12907
56.03/56.24 c #Conflicts: 95000 | #Constraints: 13907
56.03/56.24 c #Conflicts: 96000 | #Constraints: 14907
56.03/56.24 c INPROCESSING
56.03/56.24 c GARBAGE COLLECT
56.03/56.24 c rational objective 140
89.51/89.81 c #Conflicts: 97000 | #Constraints: 9363
89.51/89.81 c #Conflicts: 98000 | #Constraints: 10392
89.51/89.81 c #Conflicts: 99000 | #Constraints: 11419
89.51/89.81 c #Conflicts: 100000 | #Constraints: 12441
89.51/89.81 c #Conflicts: 101000 | #Constraints: 13465
89.51/89.81 c #Conflicts: 102000 | #Constraints: 14479
89.51/89.81 c #Conflicts: 103000 | #Constraints: 15498
89.51/89.81 c #Conflicts: 104000 | #Constraints: 16515
89.51/89.81 c #Conflicts: 105000 | #Constraints: 17527
89.51/89.81 c #Conflicts: 106000 | #Constraints: 18544
89.51/89.81 c #Conflicts: 107000 | #Constraints: 19558
89.51/89.81 c #Conflicts: 108000 | #Constraints: 20571
89.51/89.81 c #Conflicts: 109000 | #Constraints: 21588
89.51/89.81 c #Conflicts: 110000 | #Constraints: 22606
89.51/89.81 c #Conflicts: 111000 | #Constraints: 23617
89.51/89.81 c #Conflicts: 112000 | #Constraints: 24631
89.51/89.81 c #Conflicts: 113000 | #Constraints: 25638
89.51/89.81 c #Conflicts: 114000 | #Constraints: 26654
89.51/89.81 c #Conflicts: 115000 | #Constraints: 27673
89.51/89.81 c #Conflicts: 116000 | #Constraints: 28685
89.51/89.81 c #Conflicts: 117000 | #Constraints: 29701
89.51/89.81 c #Conflicts: 118000 | #Constraints: 30715
89.51/89.81 c #Conflicts: 119000 | #Constraints: 31726
89.51/89.81 c #Conflicts: 120000 | #Constraints: 32735
89.51/89.81 c #Conflicts: 121000 | #Constraints: 33748
89.51/89.81 c INPROCESSING
89.51/89.81 c GARBAGE COLLECT
89.51/89.81 c rational objective 140
101.18/101.50 c #Conflicts: 122000 | #Constraints: 18280
101.18/101.50 c #Conflicts: 123000 | #Constraints: 19280
101.18/101.50 c #Conflicts: 124000 | #Constraints: 20280
101.18/101.50 c #Conflicts: 125000 | #Constraints: 21280
101.18/101.50 c #Conflicts: 126000 | #Constraints: 22280
101.18/101.50 c #Conflicts: 127000 | #Constraints: 23280
101.18/101.50 c bounds 144 >= 139 @ 94.7971
101.18/101.50 c #Conflicts: 128000 | #Constraints: 24361
101.18/101.50 c #Conflicts: 129000 | #Constraints: 25361
101.18/101.50 c INPROCESSING
101.18/101.50 c GARBAGE COLLECT
101.18/101.50 c rational objective 140
111.35/111.78 c #Conflicts: 130000 | #Constraints: 14192
111.35/111.78 c #Conflicts: 131000 | #Constraints: 15192
111.35/111.78 c #Conflicts: 132000 | #Constraints: 16192
111.35/111.78 c #Conflicts: 133000 | #Constraints: 17192
111.35/111.78 c #Conflicts: 134000 | #Constraints: 18192
111.35/111.78 c #Conflicts: 135000 | #Constraints: 19192
111.35/111.78 c #Conflicts: 136000 | #Constraints: 20192
111.35/111.78 c #Conflicts: 137000 | #Constraints: 21192
111.35/111.78 c #Conflicts: 138000 | #Constraints: 22192
111.35/111.78 c INPROCESSING
111.35/111.78 c GARBAGE COLLECT
111.35/111.78 c rational objective 140
195.12/195.71 c #Conflicts: 139000 | #Constraints: 13027
195.12/195.71 c #Conflicts: 140000 | #Constraints: 14027
195.12/195.71 c #Conflicts: 141000 | #Constraints: 15027
195.12/195.71 c #Conflicts: 142000 | #Constraints: 16028
195.12/195.71 c #Conflicts: 143000 | #Constraints: 17028
195.12/195.71 c #Conflicts: 144000 | #Constraints: 18028
195.12/195.71 c #Conflicts: 145000 | #Constraints: 19028
195.12/195.71 c #Conflicts: 146000 | #Constraints: 20028
195.12/195.71 c #Conflicts: 147000 | #Constraints: 21029
195.12/195.71 c #Conflicts: 148000 | #Constraints: 22029
195.12/195.71 c #Conflicts: 149000 | #Constraints: 23029
195.12/195.71 c #Conflicts: 150000 | #Constraints: 24029
195.12/195.71 c #Conflicts: 151000 | #Constraints: 25029
195.12/195.71 c #Conflicts: 152000 | #Constraints: 26029
195.12/195.71 c #Conflicts: 153000 | #Constraints: 27029
195.12/195.71 c #Conflicts: 154000 | #Constraints: 28029
195.12/195.71 c #Conflicts: 155000 | #Constraints: 29029
195.12/195.71 c #Conflicts: 156000 | #Constraints: 30029
195.12/195.71 c #Conflicts: 157000 | #Constraints: 31029
195.12/195.71 c #Conflicts: 158000 | #Constraints: 32029
195.12/195.71 c #Conflicts: 159000 | #Constraints: 33029
195.12/195.71 c #Conflicts: 160000 | #Constraints: 34029
195.12/195.71 c #Conflicts: 161000 | #Constraints: 35029
195.12/195.71 c #Conflicts: 162000 | #Constraints: 36029
195.12/195.71 c #Conflicts: 163000 | #Constraints: 37029
195.12/195.71 c #Conflicts: 164000 | #Constraints: 38029
195.12/195.71 c #Conflicts: 165000 | #Constraints: 39029
195.12/195.71 c #Conflicts: 166000 | #Constraints: 40029
195.12/195.71 c #Conflicts: 167000 | #Constraints: 41029
195.12/195.71 c #Conflicts: 168000 | #Constraints: 42029
195.12/195.71 c INPROCESSING
195.12/195.71 c GARBAGE COLLECT
195.12/195.71 c rational objective 140
203.90/204.55 c #Conflicts: 169000 | #Constraints: 22992
203.90/204.55 c #Conflicts: 170000 | #Constraints: 24014
203.90/204.55 c #Conflicts: 171000 | #Constraints: 25038
203.90/204.55 c #Conflicts: 172000 | #Constraints: 26068
203.90/204.55 c #Conflicts: 173000 | #Constraints: 27088
203.90/204.55 c #Conflicts: 174000 | #Constraints: 28103
203.90/204.55 c #Conflicts: 175000 | #Constraints: 29119
203.90/204.55 c #Conflicts: 176000 | #Constraints: 30140
203.90/204.55 c #Conflicts: 177000 | #Constraints: 31158
203.90/204.55 c INPROCESSING
203.90/204.55 c GARBAGE COLLECT
203.90/204.55 c rational objective 140
245.98/246.74 c #Conflicts: 178000 | #Constraints: 17186
245.98/246.74 c #Conflicts: 179000 | #Constraints: 18199
245.98/246.74 c #Conflicts: 180000 | #Constraints: 19212
245.98/246.74 c #Conflicts: 181000 | #Constraints: 20227
245.98/246.74 c #Conflicts: 182000 | #Constraints: 21247
245.98/246.74 c #Conflicts: 183000 | #Constraints: 22265
245.98/246.74 c #Conflicts: 184000 | #Constraints: 23279
245.98/246.74 c #Conflicts: 185000 | #Constraints: 24291
245.98/246.74 c #Conflicts: 186000 | #Constraints: 25307
245.98/246.74 c #Conflicts: 187000 | #Constraints: 26327
245.98/246.74 c #Conflicts: 188000 | #Constraints: 27338
245.98/246.74 c #Conflicts: 189000 | #Constraints: 28353
245.98/246.74 c #Conflicts: 190000 | #Constraints: 29364
245.98/246.74 c #Conflicts: 191000 | #Constraints: 30374
245.98/246.74 c #Conflicts: 192000 | #Constraints: 31383
245.98/246.74 c #Conflicts: 193000 | #Constraints: 32397
245.98/246.74 c #Conflicts: 194000 | #Constraints: 33407
245.98/246.74 c #Conflicts: 195000 | #Constraints: 34419
245.98/246.74 c bounds 143 >= 139 @ 216.401
245.98/246.74 c #Conflicts: 196000 | #Constraints: 35436
245.98/246.74 c #Conflicts: 197000 | #Constraints: 36455
245.98/246.74 c #Conflicts: 198000 | #Constraints: 37472
245.98/246.74 c #Conflicts: 199000 | #Constraints: 38485
245.98/246.74 c #Conflicts: 200000 | #Constraints: 39496
245.98/246.74 c #Conflicts: 201000 | #Constraints: 40509
245.98/246.74 c #Conflicts: 202000 | #Constraints: 41518
245.98/246.74 c #Conflicts: 203000 | #Constraints: 42526
245.98/246.74 c #Conflicts: 204000 | #Constraints: 43540
245.98/246.74 c #Conflicts: 205000 | #Constraints: 44553
245.98/246.74 c #Conflicts: 206000 | #Constraints: 45570
245.98/246.74 c #Conflicts: 207000 | #Constraints: 46583
245.98/246.74 c #Conflicts: 208000 | #Constraints: 47591
245.98/246.74 c #Conflicts: 209000 | #Constraints: 48601
245.98/246.74 c #Conflicts: 210000 | #Constraints: 49612
245.98/246.74 c INPROCESSING
245.98/246.74 c GARBAGE COLLECT
245.98/246.74 c rational objective 140
259.54/260.33 c #Conflicts: 211000 | #Constraints: 26368
259.54/260.33 c #Conflicts: 212000 | #Constraints: 27380
259.54/260.33 c #Conflicts: 213000 | #Constraints: 28395
259.54/260.33 c #Conflicts: 214000 | #Constraints: 29405
259.54/260.33 c #Conflicts: 215000 | #Constraints: 30421
259.54/260.33 c #Conflicts: 216000 | #Constraints: 31434
259.54/260.33 c #Conflicts: 217000 | #Constraints: 32449
259.54/260.33 c #Conflicts: 218000 | #Constraints: 33460
259.54/260.33 c #Conflicts: 219000 | #Constraints: 34474
259.54/260.33 c #Conflicts: 220000 | #Constraints: 35482
259.54/260.33 c #Conflicts: 221000 | #Constraints: 36491
259.54/260.33 c INPROCESSING
259.54/260.33 c GARBAGE COLLECT
259.54/260.33 c rational objective 140
272.91/273.78 c #Conflicts: 222000 | #Constraints: 19908
272.91/273.78 c #Conflicts: 223000 | #Constraints: 20920
272.91/273.78 c #Conflicts: 224000 | #Constraints: 21930
272.91/273.78 c #Conflicts: 225000 | #Constraints: 22945
272.91/273.78 c #Conflicts: 226000 | #Constraints: 23961
272.91/273.78 c #Conflicts: 227000 | #Constraints: 24975
272.91/273.78 c #Conflicts: 228000 | #Constraints: 25985
272.91/273.78 c #Conflicts: 229000 | #Constraints: 26997
272.91/273.78 c #Conflicts: 230000 | #Constraints: 28008
272.91/273.78 c #Conflicts: 231000 | #Constraints: 29021
272.91/273.78 c #Conflicts: 232000 | #Constraints: 30033
272.91/273.78 c INPROCESSING
272.91/273.78 c GARBAGE COLLECT
272.91/273.78 c rational objective 140
349.57/350.70 c #Conflicts: 233000 | #Constraints: 16679
349.57/350.70 c #Conflicts: 234000 | #Constraints: 17690
349.57/350.70 c #Conflicts: 235000 | #Constraints: 18701
349.57/350.70 c #Conflicts: 236000 | #Constraints: 19709
349.57/350.70 c #Conflicts: 237000 | #Constraints: 20724
349.57/350.70 c #Conflicts: 238000 | #Constraints: 21733
349.57/350.70 c #Conflicts: 239000 | #Constraints: 22741
349.57/350.70 c #Conflicts: 240000 | #Constraints: 23748
349.57/350.70 c #Conflicts: 241000 | #Constraints: 24756
349.57/350.70 c #Conflicts: 242000 | #Constraints: 25765
349.57/350.70 c #Conflicts: 243000 | #Constraints: 26774
349.57/350.70 c #Conflicts: 244000 | #Constraints: 27780
349.57/350.70 c #Conflicts: 245000 | #Constraints: 28794
349.57/350.70 c #Conflicts: 246000 | #Constraints: 29807
349.57/350.70 c #Conflicts: 247000 | #Constraints: 30822
349.57/350.70 c #Conflicts: 248000 | #Constraints: 31835
349.57/350.70 c #Conflicts: 249000 | #Constraints: 32843
349.57/350.70 c #Conflicts: 250000 | #Constraints: 33850
349.57/350.70 c #Conflicts: 251000 | #Constraints: 34858
349.57/350.70 c #Conflicts: 252000 | #Constraints: 35867
349.57/350.70 c #Conflicts: 253000 | #Constraints: 36879
349.57/350.70 c #Conflicts: 254000 | #Constraints: 37887
349.57/350.70 c #Conflicts: 255000 | #Constraints: 38894
349.57/350.70 c #Conflicts: 256000 | #Constraints: 39901
349.57/350.70 c #Conflicts: 257000 | #Constraints: 40912
349.57/350.70 c #Conflicts: 258000 | #Constraints: 41921
349.57/350.70 c #Conflicts: 259000 | #Constraints: 42928
349.57/350.70 c #Conflicts: 260000 | #Constraints: 43934
349.57/350.70 c #Conflicts: 261000 | #Constraints: 44945
349.57/350.70 c #Conflicts: 262000 | #Constraints: 45952
349.57/350.70 c #Conflicts: 263000 | #Constraints: 46955
349.57/350.70 c #Conflicts: 264000 | #Constraints: 47965
349.57/350.70 c #Conflicts: 265000 | #Constraints: 48977
349.57/350.70 c #Conflicts: 266000 | #Constraints: 49985
349.57/350.70 c #Conflicts: 267000 | #Constraints: 50993
349.57/350.70 c #Conflicts: 268000 | #Constraints: 52002
349.57/350.70 c #Conflicts: 269000 | #Constraints: 53012
349.57/350.70 c INPROCESSING
349.57/350.70 c GARBAGE COLLECT
349.57/350.70 c rational objective 140
383.54/384.71 c #Conflicts: 270000 | #Constraints: 28026
383.54/384.71 c #Conflicts: 271000 | #Constraints: 29026
383.54/384.71 c #Conflicts: 272000 | #Constraints: 30026
383.54/384.71 c #Conflicts: 273000 | #Constraints: 31026
383.54/384.71 c #Conflicts: 274000 | #Constraints: 32026
383.54/384.71 c #Conflicts: 275000 | #Constraints: 33026
383.54/384.71 c #Conflicts: 276000 | #Constraints: 34026
383.54/384.71 c #Conflicts: 277000 | #Constraints: 35026
383.54/384.71 c #Conflicts: 278000 | #Constraints: 36026
383.54/384.71 c #Conflicts: 279000 | #Constraints: 37026
383.54/384.71 c #Conflicts: 280000 | #Constraints: 38026
383.54/384.71 c #Conflicts: 281000 | #Constraints: 39026
383.54/384.71 c #Conflicts: 282000 | #Constraints: 40026
383.54/384.71 c INPROCESSING
383.54/384.71 c GARBAGE COLLECT
383.54/384.71 c rational objective 140
428.88/430.26 c #Conflicts: 283000 | #Constraints: 21995
428.88/430.26 c #Conflicts: 284000 | #Constraints: 22995
428.88/430.26 c #Conflicts: 285000 | #Constraints: 23995
428.88/430.26 c #Conflicts: 286000 | #Constraints: 24995
428.88/430.26 c #Conflicts: 287000 | #Constraints: 25995
428.88/430.26 c #Conflicts: 288000 | #Constraints: 26995
428.88/430.26 c #Conflicts: 289000 | #Constraints: 27995
428.88/430.26 c #Conflicts: 290000 | #Constraints: 28995
428.88/430.26 c #Conflicts: 291000 | #Constraints: 29995
428.88/430.26 c #Conflicts: 292000 | #Constraints: 30995
428.88/430.26 c #Conflicts: 293000 | #Constraints: 31995
428.88/430.26 c #Conflicts: 294000 | #Constraints: 32995
428.88/430.26 c INPROCESSING
428.88/430.26 c GARBAGE COLLECT
428.88/430.26 c rational objective 140
564.98/566.70 c #Conflicts: 295000 | #Constraints: 18224
564.98/566.70 c #Conflicts: 296000 | #Constraints: 19224
564.98/566.70 c #Conflicts: 297000 | #Constraints: 20224
564.98/566.70 c #Conflicts: 298000 | #Constraints: 21224
564.98/566.70 c #Conflicts: 299000 | #Constraints: 22224
564.98/566.70 c #Conflicts: 300000 | #Constraints: 23224
564.98/566.70 c #Conflicts: 301000 | #Constraints: 24224
564.98/566.70 c #Conflicts: 302000 | #Constraints: 25224
564.98/566.70 c #Conflicts: 303000 | #Constraints: 26224
564.98/566.70 c #Conflicts: 304000 | #Constraints: 27224
564.98/566.70 c #Conflicts: 305000 | #Constraints: 28224
564.98/566.70 c #Conflicts: 306000 | #Constraints: 29224
564.98/566.70 c #Conflicts: 307000 | #Constraints: 30224
564.98/566.70 c #Conflicts: 308000 | #Constraints: 31224
564.98/566.70 c #Conflicts: 309000 | #Constraints: 32224
564.98/566.70 c #Conflicts: 310000 | #Constraints: 33224
564.98/566.70 c #Conflicts: 311000 | #Constraints: 34224
564.98/566.70 c #Conflicts: 312000 | #Constraints: 35224
564.98/566.70 c #Conflicts: 313000 | #Constraints: 36224
564.98/566.70 c #Conflicts: 314000 | #Constraints: 37224
564.98/566.70 c #Conflicts: 315000 | #Constraints: 38224
564.98/566.70 c #Conflicts: 316000 | #Constraints: 39224
564.98/566.70 c #Conflicts: 317000 | #Constraints: 40224
564.98/566.70 c #Conflicts: 318000 | #Constraints: 41225
564.98/566.70 c #Conflicts: 319000 | #Constraints: 42225
564.98/566.70 c #Conflicts: 320000 | #Constraints: 43225
564.98/566.70 c #Conflicts: 321000 | #Constraints: 44225
564.98/566.70 c bounds 143 >= 140 @ 535.073
564.98/566.70 c #Conflicts: 322000 | #Constraints: 45326
564.98/566.70 c #Conflicts: 323000 | #Constraints: 46358
564.98/566.70 c #Conflicts: 324000 | #Constraints: 47380
564.98/566.70 c #Conflicts: 325000 | #Constraints: 48399
564.98/566.70 c #Conflicts: 326000 | #Constraints: 49410
564.98/566.70 c #Conflicts: 327000 | #Constraints: 50427
564.98/566.70 c #Conflicts: 328000 | #Constraints: 51431
564.98/566.70 c #Conflicts: 329000 | #Constraints: 52441
564.98/566.70 c #Conflicts: 330000 | #Constraints: 53453
564.98/566.70 c #Conflicts: 331000 | #Constraints: 54471
564.98/566.70 c #Conflicts: 332000 | #Constraints: 55479
564.98/566.70 c #Conflicts: 333000 | #Constraints: 56495
564.98/566.70 c #Conflicts: 334000 | #Constraints: 57508
564.98/566.70 c #Conflicts: 335000 | #Constraints: 58523
564.98/566.70 c #Conflicts: 336000 | #Constraints: 59546
564.98/566.70 c INPROCESSING
564.98/566.70 c GARBAGE COLLECT
564.98/566.70 c rational objective 140
581.93/583.73 c #Conflicts: 337000 | #Constraints: 31673
581.93/583.73 c #Conflicts: 338000 | #Constraints: 32687
581.93/583.73 c #Conflicts: 339000 | #Constraints: 33704
581.93/583.73 c #Conflicts: 340000 | #Constraints: 34717
581.93/583.73 c #Conflicts: 341000 | #Constraints: 35736
581.93/583.73 c #Conflicts: 342000 | #Constraints: 36750
581.93/583.73 c #Conflicts: 343000 | #Constraints: 37769
581.93/583.73 c #Conflicts: 344000 | #Constraints: 38786
581.93/583.73 c #Conflicts: 345000 | #Constraints: 39799
581.93/583.73 c #Conflicts: 346000 | #Constraints: 40811
581.93/583.73 c #Conflicts: 347000 | #Constraints: 41825
581.93/583.73 c #Conflicts: 348000 | #Constraints: 42844
581.93/583.73 c #Conflicts: 349000 | #Constraints: 43863
581.93/583.73 c INPROCESSING
581.93/583.73 c GARBAGE COLLECT
581.93/583.73 c rational objective 140
599.07/600.95 c #Conflicts: 350000 | #Constraints: 23441
599.07/600.95 c #Conflicts: 351000 | #Constraints: 24454
599.07/600.95 c #Conflicts: 352000 | #Constraints: 25471
599.07/600.95 c #Conflicts: 353000 | #Constraints: 26483
599.07/600.95 c #Conflicts: 354000 | #Constraints: 27495
599.07/600.95 c #Conflicts: 355000 | #Constraints: 28509
599.07/600.95 c #Conflicts: 356000 | #Constraints: 29523
599.07/600.95 c #Conflicts: 357000 | #Constraints: 30539
599.07/600.95 c #Conflicts: 358000 | #Constraints: 31549
599.07/600.95 c #Conflicts: 359000 | #Constraints: 32568
599.07/600.95 c #Conflicts: 360000 | #Constraints: 33584
599.07/600.95 c #Conflicts: 361000 | #Constraints: 34593
599.07/600.95 c #Conflicts: 362000 | #Constraints: 35605
599.07/600.95 c #Conflicts: 363000 | #Constraints: 36618
599.07/600.95 c INPROCESSING
599.07/600.95 c GARBAGE COLLECT
599.07/600.95 c rational objective 140
713.99/716.25 c #Conflicts: 364000 | #Constraints: 19812
713.99/716.25 c #Conflicts: 365000 | #Constraints: 20819
713.99/716.25 c #Conflicts: 366000 | #Constraints: 21833
713.99/716.25 c #Conflicts: 367000 | #Constraints: 22844
713.99/716.25 c #Conflicts: 368000 | #Constraints: 23858
713.99/716.25 c #Conflicts: 369000 | #Constraints: 24877
713.99/716.25 c #Conflicts: 370000 | #Constraints: 25890
713.99/716.25 c #Conflicts: 371000 | #Constraints: 26908
713.99/716.25 c #Conflicts: 372000 | #Constraints: 27917
713.99/716.25 c #Conflicts: 373000 | #Constraints: 28935
713.99/716.25 c #Conflicts: 374000 | #Constraints: 29950
713.99/716.25 c #Conflicts: 375000 | #Constraints: 30957
713.99/716.25 c #Conflicts: 376000 | #Constraints: 31963
713.99/716.25 c #Conflicts: 377000 | #Constraints: 32974
713.99/716.25 c #Conflicts: 378000 | #Constraints: 33983
713.99/716.25 c #Conflicts: 379000 | #Constraints: 34992
713.99/716.25 c #Conflicts: 380000 | #Constraints: 36001
713.99/716.25 c #Conflicts: 381000 | #Constraints: 37015
713.99/716.25 c #Conflicts: 382000 | #Constraints: 38026
713.99/716.25 c #Conflicts: 383000 | #Constraints: 39034
713.99/716.25 c #Conflicts: 384000 | #Constraints: 40050
713.99/716.25 c #Conflicts: 385000 | #Constraints: 41063
713.99/716.25 c #Conflicts: 386000 | #Constraints: 42080
713.99/716.25 c #Conflicts: 387000 | #Constraints: 43090
713.99/716.25 c #Conflicts: 388000 | #Constraints: 44104
713.99/716.25 c #Conflicts: 389000 | #Constraints: 45116
713.99/716.25 c #Conflicts: 390000 | #Constraints: 46126
713.99/716.25 c #Conflicts: 391000 | #Constraints: 47135
713.99/716.25 c #Conflicts: 392000 | #Constraints: 48145
713.99/716.25 c #Conflicts: 393000 | #Constraints: 49160
713.99/716.25 c #Conflicts: 394000 | #Constraints: 50173
713.99/716.25 c #Conflicts: 395000 | #Constraints: 51185
713.99/716.25 c #Conflicts: 396000 | #Constraints: 52195
713.99/716.25 c #Conflicts: 397000 | #Constraints: 53211
713.99/716.25 c #Conflicts: 398000 | #Constraints: 54220
713.99/716.25 c #Conflicts: 399000 | #Constraints: 55229
713.99/716.25 c #Conflicts: 400000 | #Constraints: 56243
713.99/716.25 c #Conflicts: 401000 | #Constraints: 57251
713.99/716.25 c #Conflicts: 402000 | #Constraints: 58261
713.99/716.25 c #Conflicts: 403000 | #Constraints: 59273
713.99/716.25 c #Conflicts: 404000 | #Constraints: 60279
713.99/716.25 c #Conflicts: 405000 | #Constraints: 61288
713.99/716.25 c #Conflicts: 406000 | #Constraints: 62297
713.99/716.25 c #Conflicts: 407000 | #Constraints: 63309
713.99/716.25 c #Conflicts: 408000 | #Constraints: 64322
713.99/716.25 c #Conflicts: 409000 | #Constraints: 65327
713.99/716.25 c INPROCESSING
713.99/716.25 c GARBAGE COLLECT
713.99/716.25 c rational objective 140
714.08/716.33 c bounds 140 >= 140 @ 704.342
714.08/716.33 c cpu time 704.342 s
714.08/716.33 c deterministic time 72247716740 7.22e+10
714.08/716.33 c optimization time 0.030823 s
714.08/716.33 c total solve time 704.309 s
714.08/716.33 c core-guided solve time 323.143 s
714.08/716.33 c propagation time 608.953 s
714.08/716.33 c conflict analysis time 80.3376 s
714.08/716.33 c propagations 46987659
714.08/716.33 c resolve steps 2874464
714.08/716.33 c decisions 3513599
714.08/716.33 c conflicts 409500
714.08/716.33 c restarts 1010
714.08/716.33 c inprocessing phases 35
714.08/716.33 c input clauses 1086
714.08/716.33 c input cardinalities 308
714.08/716.33 c input general constraints 577
714.08/716.33 c input average constraint length 52.61
714.08/716.33 c input average constraint degree 13.02
714.08/716.33 c learned clauses 92184
714.08/716.33 c learned cardinalities 3224
714.08/716.33 c learned general constraints 317963
714.08/716.33 c learned average constraint length 135.82
714.08/716.33 c learned average constraint degree 2443692335.65
714.08/716.33 c watched constraints 265990
714.08/716.33 c counting constraints 52550
714.08/716.33 c gcd simplifications 26618
714.08/716.33 c detected cardinalities 288
714.08/716.33 c weakened non-implied lits 12528602
714.08/716.33 c weakened non-implying lits 84469
714.08/716.33 c original variables 560
714.08/716.33 c clausal propagations 4847763
714.08/716.33 c cardinality propagations 1920294
714.08/716.33 c watched propagations 6738512
714.08/716.33 c counting propagations 32828799
714.08/716.33 c watch lookups 12421325683
714.08/716.33 c watch backjump lookups 10492060763
714.08/716.33 c watch checks 45312741690
714.08/716.33 c propagation checks 3678927414
714.08/716.33 c constraint additions 240804322
714.08/716.33 c trail pops 50906750
714.08/716.33 c formula constraints 560
714.08/716.33 c learned constraints 405635
714.08/716.33 c bound constraints 309
714.08/716.33 c core-guided constraints 1102
714.08/716.33 c encountered formula constraints 479631
714.08/716.33 c encountered learned constraints 1784693
714.08/716.33 c encountered bound constraints 110
714.08/716.33 c encountered core-guided constraints 310357
714.08/716.33 c LP total time 20.6294 s
714.08/716.33 c LP solve time 18.74 s
714.08/716.33 c LP constraints added 560
714.08/716.33 c LP constraints removed 0
714.08/716.33 c LP pivots internal 409548
714.08/716.33 c LP pivots root 39311
714.08/716.33 c LP calls 4073
714.08/716.33 c LP optimalities 203
714.08/716.33 c LP no pivot count 33
714.08/716.33 c LP infeasibilities 3868
714.08/716.33 c LP valid Farkas constraints 3868
714.08/716.33 c LP learned Farkas constraints 3868
714.08/716.33 c LP basis resets 0
714.08/716.33 c LP cycling count 0
714.08/716.33 c LP singular count 0
714.08/716.33 c LP no primal count 0
714.08/716.33 c LP no farkas count 0
714.08/716.33 c LP other issue count 0
714.08/716.33 c LP Gomory cuts 0
714.08/716.33 c LP learned cuts 0
714.08/716.33 c LP deleted cuts 0
714.08/716.33 c LP encountered Gomory constraints 0
714.08/716.33 c LP encountered Farkas constraints 548889
714.08/716.33 c LP encountered learned Farkas constraints 156416
714.08/716.33 c CG auxiliary variables introduced 414
714.08/716.33 c CG solutions found 29
714.08/716.33 c CG cores constructed 140
714.08/716.33 c CG core cardinality constraints returned 0
714.08/716.33 c CG unit cores 0
714.08/716.33 c CG single cores 140
714.08/716.33 c CG blocks removed during cardinality reduction 0
714.08/716.33 c CG first core best 0
714.08/716.33 c CG decision core best 0
714.08/716.33 c CG core reduction tie 0
714.08/716.33 c CG core degree average 1.00
714.08/716.33 c CG core slack average 4.96
714.08/716.33 o 140
714.08/716.33 s OPTIMUM FOUND
714.08/716.36 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 x11 -x12 -x13 x14 x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 x26 x27 -x28 -x29 x30 x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 x42 x43 -x44 -x45 x46 x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 x58 x59 -x60 -x61 x62 x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 x75 -x76 -x77 x78 x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 x90 x91 -x92 -x93 x94 x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 x106 x107 -x108 -x109 x110 x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 x123 -x124 -x125 x126 x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 x139 -x140 -x141 x142 x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 x154 x155 -x156 -x157 x158 x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 x170 x171 -x172 -x173 x174 x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 x186 x187 -x188 -x189 x190 x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 x202 x203 -x204 -x205 x206 x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 x218 x219 -x220 -x221 x222 x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 x234 x235 -x236 -x237 x238 x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 x250 x251 -x252 -x253 x254 x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 x266 x267 -x268 -x269 x270 x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 x282 x283 -x284 -x285 x286 x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 x298 x299 -x300 -x301 x302 x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 x314 x315 -x316 -x317 x318 x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 x330 x331 -x332 -x333 x334 x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 x346 x347 -x348 -x349 x350 x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 x362 x363 -x364 -x365 x366 x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 x378 x379 -x380 -x381 x382 x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 x394 x395 -x396 -x397 x398 x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 x410 x411 -x412 -x413 x414 x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 x426 x427 -x428 -x429 x430 x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 x442 x443 -x444 -x445 x446 x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 x458 x459 -x460 -x461 x462 x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 x474 x475 -x476 -x477 x478 x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 x490 x491 -x492 -x493 x494 x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 x506 x507 -x508 -x509 x510 x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 x522 x523 -x524 -x525 x526 x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 x538 x539 -x540 -x541 x542 x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 x554 x555 -x556 -x557 x558 x559 -x560
VeriPB
Running VeriPB version 2.2.1
s VERIFIED BOUNDS 140 <= obj <= 140
Verification succeeded.
VeriPB + CakePB
-- veripb --
Running VeriPB version 2.2.1
s VERIFIED BOUNDS 140 <= obj <= 140
Verification succeeded.
-- cakepb --
s VERIFIED BOUNDS 140 <= obj <= 140
--summary--
ALL OK
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: 64096 MiB (58736 MiB free)
memory of node 1: 64473 MiB (57742 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458675-1721884539/watcher-4458675-1721884539 -o /tmp/evaluation-result-4458675-1721884539/solver-4458675-1721884539 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721877159-216651 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4458675-1721884539 --lp-cut-gomory=0 HOME/instance-4458675-1721884539.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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=221725, runsolver pid=221722
[startup+0.100098 s]*
/proc/loadavg: 4.07 4.16 4.19 5/249 221726
/proc/meminfo: memFree=119271128/131655788 swapFree=131071472/131071996
[pid=221725] ppid=221722 vsize=39000 memory=8916 CPUtime=0.1 cores=1,3
/proc/221725/stat : 221725 (roundingsat) R 221722 221725 216639 0 -1 4194304 652 0 0 0 10 0 0 0 20 0 1 0 24442881 39936000 2229 134679101440 4194304 8254037 140726932818320 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34009088 140726932820828 140726932821090 140726932821090 140726932828105 0
/proc/221725/statm: 9750 2229 1760 992 0 1608 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39000 KiB
Current children cumulated memory: 8916 KiB
[startup+0.21411 s]*
/proc/loadavg: 4.07 4.16 4.19 6/249 221726
/proc/meminfo: memFree=119266120/131655788 swapFree=131071472/131071996
[pid=221725] ppid=221722 vsize=39912 memory=10648 CPUtime=0.22 cores=1,3
/proc/221725/stat : 221725 (roundingsat) R 221722 221725 216639 0 -1 4194304 1059 0 0 0 19 3 0 0 20 0 1 0 24442881 40869888 2662 134679101440 4194304 8254037 140726932818320 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34009088 140726932820828 140726932821090 140726932821090 140726932828105 0
/proc/221725/statm: 9978 2662 1808 992 0 1836 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 39912 KiB
Current children cumulated memory: 10648 KiB
[startup+0.314277 s]*
/proc/loadavg: 4.07 4.16 4.19 5/249 221726
/proc/meminfo: memFree=119255172/131655788 swapFree=131071472/131071996
[pid=221725] ppid=221722 vsize=42984 memory=16592 CPUtime=0.31 cores=1,3
/proc/221725/stat : 221725 (roundingsat) R 221722 221725 216639 0 -1 4194304 2071 0 0 0 27 4 0 0 20 0 1 0 24442881 44015616 4148 134679101440 4194304 8254037 140726932818320 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34009088 140726932820828 140726932821090 140726932821090 140726932828105 0
/proc/221725/statm: 10746 4148 1808 992 0 2604 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 42984 KiB
Current children cumulated memory: 16592 KiB
[startup+0.700323 s]
/proc/loadavg: 4.07 4.16 4.19 5/249 221726
/proc/meminfo: memFree=119235020/131655788 swapFree=131071472/131071996
[pid=221725] ppid=221722 vsize=43992 memory=17936 CPUtime=0.69 cores=1,3
/proc/221725/stat : 221725 (roundingsat) R 221722 221725 216639 0 -1 4194304 2334 0 0 0 62 7 0 0 20 0 1 0 24442881 45047808 4484 134679101440 4194304 8254037 140726932818320 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34009088 140726932820828 140726932821090 140726932821090 140726932828105 0
/proc/221725/statm: 10998 4484 1885 992 0 2856 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 43992 KiB
Current children cumulated memory: 17936 KiB
[startup+1.50033 s]
/proc/loadavg: 4.07 4.16 4.19 5/249 221726
/proc/meminfo: memFree=119203936/131655788 swapFree=131071472/131071996
[pid=221725] ppid=221722 vsize=47380 memory=21296 CPUtime=1.48 cores=1,3
/proc/221725/stat : 221725 (roundingsat) R 221722 221725 216639 0 -1 4194304 3128 0 0 0 132 16 0 0 20 0 1 0 24442881 48517120 5324 134679101440 4194304 8254037 140726932818320 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34009088 140726932820828 140726932821090 140726932821090 140726932828105 0
/proc/221725/statm: 11845 5324 1885 992 0 3703 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 47380 KiB
Current children cumulated memory: 21296 KiB
[startup+3.11353 s]
/proc/loadavg: 4.07 4.16 4.19 5/249 221728
/proc/meminfo: memFree=119083512/131655788 swapFree=131071472/131071996
[pid=221725] ppid=221722 vsize=53752 memory=27816 CPUtime=3.1 cores=1,3
/proc/221725/stat : 221725 (roundingsat) R 221722 221725 216639 0 -1 4194304 4241 0 0 0 286 24 0 0 20 0 1 0 24442881 55042048 6954 134679101440 4194304 8254037 140726932818320 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34009088 140726932820828 140726932821090 140726932821090 140726932828105 0
/proc/221725/statm: 13438 6954 1885 992 0 5296 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 53752 KiB
Current children cumulated memory: 27816 KiB
[startup+6.3003 s]
/proc/loadavg: 4.06 4.16 4.19 5/249 221728
/proc/meminfo: memFree=119035192/131655788 swapFree=131071472/131071996
[pid=221725] ppid=221722 vsize=59776 memory=29624 CPUtime=6.27 cores=1,3
/proc/221725/stat : 221725 (roundingsat) R 221722 221725 216639 0 -1 4194304 4741 0 0 0 587 40 0 0 20 0 1 0 24442881 61210624 7406 134679101440 4194304 8254037 140726932818320 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34009088 140726932820828 140726932821090 140726932821090 140726932828105 0
/proc/221725/statm: 14944 7406 1885 992 0 6802 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 59776 KiB
Current children cumulated memory: 29624 KiB
[startup+12.7003 s]
/proc/loadavg: 4.14 4.18 4.19 5/249 221729
/proc/meminfo: memFree=118773172/131655788 swapFree=131071472/131071996
[pid=221725] ppid=221722 vsize=64324 memory=36304 CPUtime=12.66 cores=1,3
/proc/221725/stat : 221725 (roundingsat) R 221722 221725 216639 0 -1 4194304 5900 0 0 0 1197 69 0 0 20 0 1 0 24442881 65867776 9076 134679101440 4194304 8254037 140726932818320 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34009088 140726932820828 140726932821090 140726932821090 140726932828105 0
/proc/221725/statm: 16081 9076 1885 992 0 7939 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 64324 KiB
Current children cumulated memory: 36304 KiB
[startup+25.5003 s]
/proc/loadavg: 4.12 4.17 4.19 5/262 221744
/proc/meminfo: memFree=118073924/131655788 swapFree=131071472/131071996
[pid=221725] ppid=221722 vsize=94444 memory=57876 CPUtime=25.41 cores=1,3
/proc/221725/stat : 221725 (roundingsat) R 221722 221725 216639 0 -1 4194304 9275 0 0 0 2433 108 0 0 20 0 1 0 24442881 96710656 14469 134679101440 4194304 8254037 140726932818320 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34009088 140726932820828 140726932821090 140726932821090 140726932828105 0
/proc/221725/statm: 23611 14469 1885 992 0 15469 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 94444 KiB
Current children cumulated memory: 57876 KiB
[startup+51.1146 s]
/proc/loadavg: 4.07 4.15 4.18 5/254 221774
/proc/meminfo: memFree=119680228/131655788 swapFree=131071472/131071996
[pid=221725] ppid=221722 vsize=101564 memory=63924 CPUtime=50.96 cores=1,3
/proc/221725/stat : 221725 (roundingsat) R 221722 221725 216639 0 -1 4194304 10927 0 0 0 4914 182 0 0 20 0 1 0 24442881 104001536 15981 134679101440 4194304 8254037 140726932818320 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34009088 140726932820828 140726932821090 140726932821090 140726932828105 0
/proc/221725/statm: 25391 15981 1885 992 0 17249 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 101564 KiB
Current children cumulated memory: 63924 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.16 4.18 5/260 221806
/proc/meminfo: memFree=118751560/131655788 swapFree=131071472/131071996
[pid=221725] ppid=221722 vsize=137680 memory=92904 CPUtime=101.97 cores=1,3
/proc/221725/stat : 221725 (roundingsat) R 221722 221725 216639 0 -1 4194304 15195 0 0 0 9917 280 0 0 20 0 1 0 24442881 140984320 23226 134679101440 4194304 8254037 140726932818320 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34009088 140726932820828 140726932821090 140726932821090 140726932828105 0
/proc/221725/statm: 34420 23226 1885 992 0 26278 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 137680 KiB
Current children cumulated memory: 92904 KiB
[startup+162.3 s]
/proc/loadavg: 4.05 4.13 4.17 5/260 221910
/proc/meminfo: memFree=118796752/131655788 swapFree=131071472/131071996
[pid=221725] ppid=221722 vsize=146412 memory=100016 CPUtime=161.81 cores=1,3
/proc/221725/stat : 221725 (roundingsat) R 221722 221725 216639 0 -1 4194304 17096 0 0 0 15809 372 0 0 20 0 1 0 24442881 149925888 25004 134679101440 4194304 8254037 140726932818320 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34009088 140726932820828 140726932821090 140726932821090 140726932828105 0
/proc/221725/statm: 36603 25004 1885 992 0 28461 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 146412 KiB
Current children cumulated memory: 100016 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.15 4.17 5/260 221920
/proc/meminfo: memFree=118516056/131655788 swapFree=131071472/131071996
[pid=221725] ppid=221722 vsize=160108 memory=110536 CPUtime=221.65 cores=1,3
/proc/221725/stat : 221725 (roundingsat) R 221722 221725 216639 0 -1 4194304 20004 0 0 0 21714 451 0 0 20 0 1 0 24442881 163950592 27634 134679101440 4194304 8254037 140726932818320 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34009088 140726932820828 140726932821090 140726932821090 140726932828105 0
/proc/221725/statm: 40027 27634 1885 992 0 31885 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 160108 KiB
Current children cumulated memory: 110536 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.13 4.17 5/260 221977
/proc/meminfo: memFree=119327272/131655788 swapFree=131071472/131071996
[pid=221725] ppid=221722 vsize=169488 memory=130956 CPUtime=281.48 cores=1,3
/proc/221725/stat : 221725 (roundingsat) R 221722 221725 216639 0 -1 4194304 22261 0 0 0 27603 545 0 0 20 0 1 0 24442881 173555712 32739 134679101440 4194304 8254037 140726932818320 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34009088 140726932820828 140726932821090 140726932821090 140726932828105 0
/proc/221725/statm: 42372 32739 1885 992 0 34230 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 169488 KiB
Current children cumulated memory: 130956 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.12 4.16 5/248 221990
/proc/meminfo: memFree=119148212/131655788 swapFree=131071472/131071996
[pid=221725] ppid=221722 vsize=179376 memory=138568 CPUtime=341.3 cores=1,3
/proc/221725/stat : 221725 (roundingsat) R 221722 221725 216639 0 -1 4194304 24200 0 0 0 33523 607 0 0 20 0 1 0 24442881 183681024 34642 134679101440 4194304 8254037 140726932818320 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34009088 140726932820828 140726932821090 140726932821090 140726932828105 0
/proc/221725/statm: 44844 34642 1885 992 0 36702 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 179376 KiB
Current children cumulated memory: 138568 KiB
[startup+402.3 s]
/proc/loadavg: 4.51 4.21 4.19 5/246 222046
/proc/meminfo: memFree=119523280/131655788 swapFree=131071472/131071996
[pid=221725] ppid=221722 vsize=181196 memory=146924 CPUtime=401.08 cores=1,3
/proc/221725/stat : 221725 (roundingsat) R 221722 221725 216639 0 -1 4194304 24898 0 0 0 39428 680 0 0 20 0 1 0 24442881 185544704 36731 134679101440 4194304 8254037 140726932818320 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34009088 140726932820828 140726932821090 140726932821090 140726932828105 0
/proc/221725/statm: 45299 36731 1885 992 0 37157 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 181196 KiB
Current children cumulated memory: 146924 KiB
[startup+462.3 s]
/proc/loadavg: 4.69 4.34 4.24 5/246 222057
/proc/meminfo: memFree=119307244/131655788 swapFree=131071472/131071996
[pid=221725] ppid=221722 vsize=181332 memory=154164 CPUtime=460.9 cores=1,3
/proc/221725/stat : 221725 (roundingsat) R 221722 221725 216639 0 -1 4194304 24961 0 0 0 45351 739 0 0 20 0 1 0 24442881 185683968 38541 134679101440 4194304 8254037 140726932818320 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34009088 140726932820828 140726932821090 140726932821090 140726932828105 0
/proc/221725/statm: 45333 38541 1885 992 0 37191 0
Current children cumulated CPU time: 460.9 s
Current children cumulated vsize: 181332 KiB
Current children cumulated memory: 154164 KiB
[startup+522.3 s]
/proc/loadavg: 4.30 4.29 4.22 5/246 222068
/proc/meminfo: memFree=119235480/131655788 swapFree=131071472/131071996
[pid=221725] ppid=221722 vsize=182064 memory=154448 CPUtime=520.73 cores=1,3
/proc/221725/stat : 221725 (roundingsat) R 221722 221725 216639 0 -1 4194304 25117 0 0 0 51293 780 0 0 20 0 1 0 24442881 186433536 38612 134679101440 4194304 8254037 140726932818320 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34009088 140726932820828 140726932821090 140726932821090 140726932828105 0
/proc/221725/statm: 45516 38612 1885 992 0 37374 0
Current children cumulated CPU time: 520.73 s
Current children cumulated vsize: 182064 KiB
Current children cumulated memory: 154448 KiB
[startup+582.3 s]
/proc/loadavg: 4.14 4.25 4.21 5/246 222078
/proc/meminfo: memFree=118985696/131655788 swapFree=131071472/131071996
[pid=221725] ppid=221722 vsize=184048 memory=155892 CPUtime=580.53 cores=1,3
/proc/221725/stat : 221725 (roundingsat) R 221722 221725 216639 0 -1 4194304 25716 0 0 0 57203 850 0 0 20 0 1 0 24442881 188465152 38973 134679101440 4194304 8254037 140726932818320 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34009088 140726932820828 140726932821090 140726932821090 140726932828105 0
/proc/221725/statm: 46012 38973 1885 992 0 37870 0
Current children cumulated CPU time: 580.53 s
Current children cumulated vsize: 184048 KiB
Current children cumulated memory: 155892 KiB
[startup+642.3 s]
/proc/loadavg: 4.14 4.23 4.21 5/247 222475
/proc/meminfo: memFree=118708892/131655788 swapFree=131071472/131071996
[pid=221725] ppid=221722 vsize=192752 memory=162564 CPUtime=640.34 cores=1,3
/proc/221725/stat : 221725 (roundingsat) R 221722 221725 216639 0 -1 4194304 27699 0 0 0 63104 930 0 0 20 0 1 0 24442881 197378048 40641 134679101440 4194304 8254037 140726932818320 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34009088 140726932820828 140726932821090 140726932821090 140726932828105 0
/proc/221725/statm: 48188 40641 1885 992 0 40046 0
Current children cumulated CPU time: 640.34 s
Current children cumulated vsize: 192752 KiB
Current children cumulated memory: 162564 KiB
[startup+702.3 s]
/proc/loadavg: 4.17 4.22 4.20 5/247 222486
/proc/meminfo: memFree=118586892/131655788 swapFree=131071472/131071996
[pid=221725] ppid=221722 vsize=231636 memory=177552 CPUtime=700.13 cores=1,3
/proc/221725/stat : 221725 (roundingsat) R 221722 221725 216639 0 -1 4194304 29984 0 0 0 69043 970 0 0 20 0 1 0 24442881 237195264 44388 134679101440 4194304 8254037 140726932818320 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34009088 140726932820828 140726932821090 140726932821090 140726932828105 0
/proc/221725/statm: 57909 44388 1885 992 0 49767 0
Current children cumulated CPU time: 700.13 s
Current children cumulated vsize: 231636 KiB
Current children cumulated memory: 177552 KiB
[startup+716.369 s]
# the end of solver process 221725 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=704.345 s, system=9.79776 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+704 s]*
/proc/loadavg: 4.17 4.22 4.20 5/247 222486
/proc/meminfo: memFree=118582584/131655788 swapFree=131071472/131071996
[pid=221725] ppid=221722 vsize=231892 memory=179860 CPUtime=701.84 cores=1,3
/proc/221725/stat : 221725 (roundingsat) R 221722 221725 216639 0 -1 4194304 30036 0 0 0 69213 971 0 0 20 0 1 0 24442881 237457408 44965 134679101440 4194304 8254037 140726932818320 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34009088 140726932820828 140726932821090 140726932821090 140726932828105 0
/proc/221725/statm: 57973 44965 1885 992 0 49831 0
Current children cumulated CPU time: 701.84 s
Current children cumulated vsize: 231892 KiB
Current children cumulated memory: 179860 KiB
[startup+710.4 s]
/proc/loadavg: 4.15 4.21 4.20 5/247 222486
/proc/meminfo: memFree=118573628/131655788 swapFree=131071472/131071996
[pid=221725] ppid=221722 vsize=232404 memory=180124 CPUtime=708.21 cores=1,3
/proc/221725/stat : 221725 (roundingsat) R 221722 221725 216639 0 -1 4194304 30155 0 0 0 69847 974 0 0 20 0 1 0 24442881 237981696 45031 134679101440 4194304 8254037 140726932818320 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34009088 140726932820828 140726932821090 140726932821090 140726932828105 0
/proc/221725/statm: 58101 45031 1885 992 0 49959 0
Current children cumulated CPU time: 708.21 s
Current children cumulated vsize: 232404 KiB
Current children cumulated memory: 180124 KiB
[startup+713.6 s]
/proc/loadavg: 4.14 4.21 4.20 5/247 222488
/proc/meminfo: memFree=118569112/131655788 swapFree=131071472/131071996
[pid=221725] ppid=221722 vsize=232660 memory=180388 CPUtime=711.4 cores=1,3
/proc/221725/stat : 221725 (roundingsat) R 221722 221725 216639 0 -1 4194304 30199 0 0 0 70164 976 0 0 20 0 1 0 24442881 238243840 45097 134679101440 4194304 8254037 140726932818320 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34009088 140726932820828 140726932821090 140726932821090 140726932828105 0
/proc/221725/statm: 58165 45097 1885 992 0 50023 0
Current children cumulated CPU time: 711.4 s
Current children cumulated vsize: 232660 KiB
Current children cumulated memory: 180388 KiB
[startup+715.2 s]
/proc/loadavg: 4.14 4.21 4.20 5/247 222488
/proc/meminfo: memFree=118563900/131655788 swapFree=131071472/131071996
[pid=221725] ppid=221722 vsize=233432 memory=182884 CPUtime=712.99 cores=1,3
/proc/221725/stat : 221725 (roundingsat) R 221722 221725 216639 0 -1 4194304 30335 0 0 0 70322 977 0 0 20 0 1 0 24442881 239034368 45721 134679101440 4194304 8254037 140726932818320 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34009088 140726932820828 140726932821090 140726932821090 140726932828105 0
/proc/221725/statm: 58358 45721 1885 992 0 50216 0
Current children cumulated CPU time: 712.99 s
Current children cumulated vsize: 233432 KiB
Current children cumulated memory: 182884 KiB
[startup+716 s]*
/proc/loadavg: 4.13 4.21 4.20 5/247 222488
/proc/meminfo: memFree=118562556/131655788 swapFree=131071472/131071996
[pid=221725] ppid=221722 vsize=233432 memory=182884 CPUtime=713.8 cores=1,3
/proc/221725/stat : 221725 (roundingsat) R 221722 221725 216639 0 -1 4194304 30336 0 0 0 70402 978 0 0 20 0 1 0 24442881 239034368 45721 134679101440 4194304 8254037 140726932818320 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34009088 140726932820828 140726932821090 140726932821090 140726932828105 0
/proc/221725/statm: 58358 45721 1885 992 0 50216 0
Current children cumulated CPU time: 713.8 s
Current children cumulated vsize: 233432 KiB
Current children cumulated memory: 182884 KiB
[startup+716.2 s]
/proc/loadavg: 4.13 4.21 4.20 5/247 222488
/proc/meminfo: memFree=118562556/131655788 swapFree=131071472/131071996
[pid=221725] ppid=221722 vsize=233432 memory=183032 CPUtime=713.99 cores=1,3
/proc/221725/stat : 221725 (roundingsat) R 221722 221725 216639 0 -1 4194304 30509 0 0 0 70421 978 0 0 20 0 1 0 24442881 239034368 45758 134679101440 4194304 8254037 140726932818320 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34009088 140726932820828 140726932821090 140726932821090 140726932828105 0
/proc/221725/statm: 58358 45758 1885 992 0 50216 0
Current children cumulated CPU time: 713.99 s
Current children cumulated vsize: 233432 KiB
Current children cumulated memory: 183032 KiB
[startup+716.3 s]
/proc/loadavg: 4.13 4.21 4.20 5/247 222488
/proc/meminfo: memFree=118562556/131655788 swapFree=131071472/131071996
[pid=221725] ppid=221722 vsize=233432 memory=183032 CPUtime=714.08 cores=1,3
/proc/221725/stat : 221725 (roundingsat) R 221722 221725 216639 0 -1 4194304 30509 0 0 0 70430 978 0 0 20 0 1 0 24442881 239034368 45758 134679101440 4194304 8254037 140726932818320 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34009088 140726932820828 140726932821090 140726932821090 140726932828105 0
/proc/221725/statm: 58358 45758 1885 992 0 50216 0
Current children cumulated CPU time: 714.08 s
Current children cumulated vsize: 233432 KiB
Current children cumulated memory: 183032 KiB
Child status: 0
Real time (s): 716.369
CPU time (s): 714.143
CPU user time (s): 704.345
CPU system time (s): 9.79776
CPU usage (%): 99.6892
Max. virtual memory (cumulated for all children) (KiB): 233692
Max. memory (cumulated for all children) (KiB): 183032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 704.345
system time used= 9.79776
maximum resident set size= 183412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30517
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3784528
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60
involuntary context switches= 965
# summary of solver processes directly reported to runsolver:
# pid: 221725
# total CPU time (s): 714.143
# total CPU user time (s): 704.345
# total CPU system time (s): 9.79776
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.4757 second user time and 7.64278 second system time
The end
Begin job on nodeC004 at 2024-07-25 07:15:39
IDJOB=4458675
IDBENCH=178101
IDSOLVER=3085
FILE ID=nodeC004/4458675-1721884539
RUNJOBID= nodeC004-1721877159-216651
SLURM_JOB_ID= 8089264
Free space on /tmp= 723764 MiB
SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_080.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458675-1721884539/watcher-4458675-1721884539 -o /tmp/evaluation-result-4458675-1721884539/solver-4458675-1721884539 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721877159-216651 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4458675-1721884539 --lp-cut-gomory=0 HOME/instance-4458675-1721884539.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 6f0521fdb0b18beb600868184781ec28
RANDOM SEED=1324341069
nodeC004.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/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 : 0xb00001f
cpu MHz : 3492.065
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.13
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 : 0xb00001f
cpu MHz : 3644.615
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.36
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 : 0xb00001f
cpu MHz : 1197.423
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.13
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 : 0xb00001f
cpu MHz : 1197.288
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.36
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 : 0xb00001f
cpu MHz : 3621.255
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.13
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 : 0xb00001f
cpu MHz : 3493.667
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.36
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 : 0xb00001f
cpu MHz : 1197.559
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.13
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 : 0xb00001f
cpu MHz : 1197.356
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 119275620 kB
MemAvailable: 129058684 kB
Buffers: 305480 kB
Cached: 10267180 kB
SwapCached: 60 kB
Active: 2631980 kB
Inactive: 9084392 kB
Active(anon): 1436 kB
Inactive(anon): 1196224 kB
Active(file): 2630544 kB
Inactive(file): 7888168 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071472 kB
Dirty: 664180 kB
Writeback: 4 kB
AnonPages: 1140560 kB
Mapped: 125412 kB
Shmem: 53860 kB
KReclaimable: 209104 kB
Slab: 341688 kB
SReclaimable: 209104 kB
SUnreclaim: 132584 kB
KernelStack: 3984 kB
PageTables: 11448 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1745732 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 20128 kB
HardwareCorrupted: 0 kB
AnonHugePages: 794624 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 392008 kB
DirectMap2M: 50892800 kB
DirectMap1G: 84934656 kB
Free space on /tmp at the end= 723744 MiB
End job on nodeC004 at 2024-07-25 07:27:36