0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
0.00/0.01 c [STEP] solving
0.00/0.01 c #variables 470 #constraints 470
0.00/0.01 c SMALL=int, LARGE=long long
0.00/0.01 c bounds - >= 0 @ 0.008591
0.00/0.01 c stratification level: 0
0.00/0.04 c bounds - >= 55 @ 0.013147
0.00/0.04 c bounds - >= 56 @ 0.013788
0.00/0.04 c bounds - >= 57 @ 0.014068
0.00/0.04 c bounds - >= 58 @ 0.014338
0.00/0.04 c bounds - >= 59 @ 0.014608
0.00/0.04 c bounds - >= 60 @ 0.014886
0.00/0.04 c bounds - >= 61 @ 0.01521
0.00/0.04 c bounds - >= 62 @ 0.015528
0.00/0.04 c bounds - >= 63 @ 0.01582
0.00/0.04 c bounds - >= 64 @ 0.01612
0.00/0.04 c bounds - >= 65 @ 0.016401
0.00/0.04 c bounds - >= 66 @ 0.016707
0.00/0.04 c bounds - >= 67 @ 0.016997
0.00/0.04 c bounds - >= 68 @ 0.017278
0.00/0.04 c bounds - >= 69 @ 0.017573
0.00/0.04 c bounds - >= 70 @ 0.017746
0.00/0.04 c bounds - >= 71 @ 0.017746
0.00/0.04 c bounds - >= 72 @ 0.017935
0.00/0.04 c bounds - >= 73 @ 0.018234
0.00/0.04 c bounds - >= 74 @ 0.018559
0.00/0.04 c bounds - >= 75 @ 0.018889
0.00/0.04 c bounds - >= 76 @ 0.019204
0.00/0.04 c bounds - >= 77 @ 0.019528
0.00/0.04 c bounds - >= 78 @ 0.01985
0.00/0.04 c bounds - >= 79 @ 0.020174
0.00/0.04 c bounds - >= 80 @ 0.020498
0.00/0.04 c bounds - >= 81 @ 0.020832
0.00/0.04 c bounds - >= 82 @ 0.021161
0.00/0.04 c bounds - >= 83 @ 0.021499
0.00/0.04 c bounds - >= 84 @ 0.021841
0.00/0.04 c bounds - >= 85 @ 0.022187
0.00/0.04 c bounds - >= 86 @ 0.022567
0.00/0.04 c bounds - >= 87 @ 0.022894
0.00/0.04 c bounds - >= 88 @ 0.023124
0.00/0.04 c bounds - >= 89 @ 0.023124
0.00/0.04 c bounds - >= 90 @ 0.023124
0.00/0.04 c bounds - >= 91 @ 0.023124
0.00/0.04 c bounds - >= 92 @ 0.023124
0.00/0.04 c bounds - >= 93 @ 0.023124
0.00/0.04 c bounds - >= 94 @ 0.023124
0.00/0.04 c bounds - >= 95 @ 0.023124
0.00/0.04 c bounds - >= 96 @ 0.023124
0.00/0.04 c bounds - >= 97 @ 0.023124
0.00/0.04 c bounds - >= 98 @ 0.023124
0.00/0.04 c bounds - >= 99 @ 0.023124
0.00/0.04 c bounds - >= 100 @ 0.023124
0.00/0.04 c bounds - >= 101 @ 0.023124
0.00/0.04 c bounds - >= 102 @ 0.023124
0.00/0.04 c bounds - >= 103 @ 0.023418
0.00/0.04 c bounds - >= 104 @ 0.023681
0.00/0.04 c bounds - >= 105 @ 0.023977
0.00/0.04 c bounds - >= 106 @ 0.024328
0.00/0.04 c bounds - >= 107 @ 0.024667
0.00/0.04 c bounds - >= 108 @ 0.024923
0.00/0.04 c bounds - >= 109 @ 0.024923
0.00/0.04 c bounds - >= 110 @ 0.024923
0.00/0.04 c bounds - >= 111 @ 0.024923
0.00/0.04 c bounds - >= 112 @ 0.024923
0.00/0.04 c bounds - >= 113 @ 0.024923
0.00/0.04 c bounds - >= 114 @ 0.02533
0.00/0.04 c bounds - >= 115 @ 0.025695
0.00/0.04 c bounds - >= 116 @ 0.025868
0.00/0.04 c bounds - >= 117 @ 0.025868
0.00/0.04 c bounds - >= 118 @ 0.025868
0.00/0.04 c bounds - >= 119 @ 0.025868
0.00/0.04 c bounds - >= 120 @ 0.025868
0.00/0.04 c bounds - >= 121 @ 0.026082
0.00/0.04 c bounds - >= 122 @ 0.026504
0.00/0.04 c bounds - >= 123 @ 0.026812
0.00/0.04 c bounds - >= 124 @ 0.026812
0.00/0.04 c bounds - >= 125 @ 0.026884
0.00/0.04 c bounds - >= 126 @ 0.027324
0.00/0.04 c bounds - >= 127 @ 0.027763
0.00/0.04 c bounds - >= 128 @ 0.027792
0.00/0.04 c bounds - >= 129 @ 0.027792
0.00/0.04 c finalizing WCE round: reformulating cores
35.59/35.71 c #Conflicts: 1000 | #Constraints: 1627
35.59/35.71 c #Conflicts: 2000 | #Constraints: 2629
35.59/35.71 c INPROCESSING
35.59/35.71 c GARBAGE COLLECT
35.59/35.71 c #Conflicts: 3000 | #Constraints: 2556
35.59/35.71 c #Conflicts: 4000 | #Constraints: 3558
35.59/35.71 c INPROCESSING
35.59/35.71 c GARBAGE COLLECT
35.59/35.71 c #Conflicts: 5000 | #Constraints: 2968
35.59/35.71 c #Conflicts: 6000 | #Constraints: 3970
35.59/35.71 c INPROCESSING
35.59/35.71 c GARBAGE COLLECT
35.59/35.71 c #Conflicts: 7000 | #Constraints: 2973
35.59/35.71 c #Conflicts: 8000 | #Constraints: 3975
35.59/35.71 c #Conflicts: 9000 | #Constraints: 4979
35.59/35.71 c INPROCESSING
35.59/35.71 c GARBAGE COLLECT
35.59/35.71 c #Conflicts: 10000 | #Constraints: 3677
35.59/35.71 c #Conflicts: 11000 | #Constraints: 4679
35.59/35.71 c #Conflicts: 12000 | #Constraints: 5681
35.59/35.71 c INPROCESSING
35.59/35.71 c GARBAGE COLLECT
35.59/35.71 c #Conflicts: 13000 | #Constraints: 4138
35.59/35.71 c #Conflicts: 14000 | #Constraints: 5140
35.59/35.71 c #Conflicts: 15000 | #Constraints: 6142
35.59/35.71 c INPROCESSING
35.59/35.71 c GARBAGE COLLECT
35.59/35.71 c #Conflicts: 16000 | #Constraints: 4368
35.59/35.71 c #Conflicts: 17000 | #Constraints: 5370
35.59/35.71 c #Conflicts: 18000 | #Constraints: 6372
35.59/35.71 c INPROCESSING
35.59/35.71 c GARBAGE COLLECT
35.59/35.71 c #Conflicts: 19000 | #Constraints: 4388
35.59/35.71 c #Conflicts: 20000 | #Constraints: 5390
35.59/35.71 c #Conflicts: 21000 | #Constraints: 6392
35.59/35.71 c INPROCESSING
35.59/35.71 c GARBAGE COLLECT
35.59/35.71 c #Conflicts: 22000 | #Constraints: 4196
35.59/35.71 c #Conflicts: 23000 | #Constraints: 5198
35.59/35.71 c #Conflicts: 24000 | #Constraints: 6202
35.59/35.71 c #Conflicts: 25000 | #Constraints: 7204
35.59/35.71 c INPROCESSING
35.59/35.71 c GARBAGE COLLECT
35.59/35.71 c #Conflicts: 26000 | #Constraints: 4812
35.59/35.71 c #Conflicts: 27000 | #Constraints: 5814
35.59/35.71 c #Conflicts: 28000 | #Constraints: 6816
35.59/35.71 c #Conflicts: 29000 | #Constraints: 7820
35.59/35.71 c INPROCESSING
35.59/35.71 c GARBAGE COLLECT
35.59/35.71 c #Conflicts: 30000 | #Constraints: 5226
35.59/35.71 c #Conflicts: 31000 | #Constraints: 6228
35.59/35.71 c #Conflicts: 32000 | #Constraints: 7230
35.59/35.71 c #Conflicts: 33000 | #Constraints: 8234
35.59/35.71 c INPROCESSING
35.59/35.71 c GARBAGE COLLECT
35.59/35.71 c #Conflicts: 34000 | #Constraints: 5435
35.59/35.71 c #Conflicts: 35000 | #Constraints: 6437
35.59/35.71 c #Conflicts: 36000 | #Constraints: 7439
35.59/35.71 c #Conflicts: 37000 | #Constraints: 8443
35.59/35.71 c INPROCESSING
35.59/35.71 c GARBAGE COLLECT
35.59/35.71 c #Conflicts: 38000 | #Constraints: 5446
35.59/35.71 c #Conflicts: 39000 | #Constraints: 6448
35.59/35.71 c #Conflicts: 40000 | #Constraints: 7450
35.59/35.71 c #Conflicts: 41000 | #Constraints: 8454
35.59/35.71 c INPROCESSING
35.59/35.71 c GARBAGE COLLECT
35.59/35.71 c #Conflicts: 42000 | #Constraints: 5263
35.59/35.71 c #Conflicts: 43000 | #Constraints: 6265
35.59/35.71 c #Conflicts: 44000 | #Constraints: 7269
35.59/35.71 c #Conflicts: 45000 | #Constraints: 8271
35.59/35.71 c #Conflicts: 46000 | #Constraints: 9273
35.59/35.71 c INPROCESSING
35.59/35.71 c GARBAGE COLLECT
35.59/35.71 c #Conflicts: 47000 | #Constraints: 5876
35.59/35.71 c #Conflicts: 48000 | #Constraints: 6878
35.59/35.71 c #Conflicts: 49000 | #Constraints: 7880
35.59/35.71 c #Conflicts: 50000 | #Constraints: 8884
35.59/35.71 c #Conflicts: 51000 | #Constraints: 9886
35.59/35.71 c INPROCESSING
35.59/35.71 c GARBAGE COLLECT
35.59/35.71 c #Conflicts: 52000 | #Constraints: 6289
35.59/35.71 c #Conflicts: 53000 | #Constraints: 7291
35.59/35.71 c #Conflicts: 54000 | #Constraints: 8293
35.59/35.71 c #Conflicts: 55000 | #Constraints: 9297
35.59/35.71 c #Conflicts: 56000 | #Constraints: 10299
35.59/35.71 c INPROCESSING
35.59/35.71 c GARBAGE COLLECT
35.59/35.71 c #Conflicts: 57000 | #Constraints: 6496
35.59/35.71 c #Conflicts: 58000 | #Constraints: 7498
35.59/35.71 c #Conflicts: 59000 | #Constraints: 8500
35.59/35.71 c bounds 218 >= 129 @ 34.1659
35.59/35.71 c bounds 218 >= 130 @ 34.1801
35.59/35.71 c bounds 218 >= 131 @ 34.1824
35.59/35.71 c bounds 218 >= 132 @ 34.1847
35.59/35.71 c bounds 218 >= 133 @ 34.1874
35.59/35.71 c bounds 218 >= 134 @ 34.1974
35.59/35.71 c bounds 218 >= 135 @ 34.2035
35.59/35.71 c bounds 218 >= 136 @ 34.2096
35.59/35.71 c bounds 218 >= 137 @ 34.2207
35.59/35.71 c finalizing WCE round: reformulating cores
45.66/45.85 c #Conflicts: 60000 | #Constraints: 9608
45.66/45.85 c #Conflicts: 61000 | #Constraints: 10613
45.66/45.85 c INPROCESSING
45.66/45.85 c GARBAGE COLLECT
45.66/45.85 c #Conflicts: 62000 | #Constraints: 6588
45.66/45.85 c #Conflicts: 63000 | #Constraints: 7590
45.66/45.85 c #Conflicts: 64000 | #Constraints: 8592
45.66/45.85 c #Conflicts: 65000 | #Constraints: 9596
45.66/45.85 c bounds 216 >= 137 @ 39.8384
45.66/45.85 c bounds 216 >= 138 @ 39.8679
45.66/45.85 c bounds 216 >= 139 @ 39.9047
45.66/45.85 c bounds 216 >= 140 @ 39.9595
45.66/45.85 c #Conflicts: 66000 | #Constraints: 10683
45.66/45.85 c bounds 216 >= 141 @ 41.1172
45.66/45.85 c INPROCESSING
45.66/45.85 c GARBAGE COLLECT
45.66/45.85 c finalizing WCE round: reformulating cores
146.48/146.91 c #Conflicts: 67000 | #Constraints: 6545
146.48/146.91 c #Conflicts: 68000 | #Constraints: 7550
146.48/146.91 c bounds 214 >= 141 @ 46.9909
146.48/146.91 c bounds 214 >= 142 @ 47.0629
146.48/146.91 c #Conflicts: 69000 | #Constraints: 8583
146.48/146.91 c bounds 214 >= 143 @ 48.4512
146.48/146.91 c #Conflicts: 70000 | #Constraints: 9680
146.48/146.91 c #Conflicts: 71000 | #Constraints: 10680
146.48/146.91 c #Conflicts: 72000 | #Constraints: 11680
146.48/146.91 c INPROCESSING
146.48/146.91 c GARBAGE COLLECT
146.48/146.91 c #Conflicts: 73000 | #Constraints: 7249
146.48/146.91 c #Conflicts: 74000 | #Constraints: 8249
146.48/146.91 c #Conflicts: 75000 | #Constraints: 9249
146.48/146.91 c #Conflicts: 76000 | #Constraints: 10249
146.48/146.91 c #Conflicts: 77000 | #Constraints: 11249
146.48/146.91 c #Conflicts: 78000 | #Constraints: 12249
146.48/146.91 c INPROCESSING
146.48/146.91 c GARBAGE COLLECT
146.48/146.91 c #Conflicts: 79000 | #Constraints: 7653
146.48/146.91 c #Conflicts: 80000 | #Constraints: 8653
146.48/146.91 c #Conflicts: 81000 | #Constraints: 9653
146.48/146.91 c #Conflicts: 82000 | #Constraints: 10653
146.48/146.91 c #Conflicts: 83000 | #Constraints: 11653
146.48/146.91 c #Conflicts: 84000 | #Constraints: 12653
146.48/146.91 c INPROCESSING
146.48/146.91 c GARBAGE COLLECT
146.48/146.91 c #Conflicts: 85000 | #Constraints: 7860
146.48/146.91 c #Conflicts: 86000 | #Constraints: 8860
146.48/146.91 c #Conflicts: 87000 | #Constraints: 9860
146.48/146.91 c #Conflicts: 88000 | #Constraints: 10860
146.48/146.91 c #Conflicts: 89000 | #Constraints: 11860
146.48/146.91 c #Conflicts: 90000 | #Constraints: 12860
146.48/146.91 c INPROCESSING
146.48/146.91 c GARBAGE COLLECT
146.48/146.91 c #Conflicts: 91000 | #Constraints: 7861
146.48/146.91 c #Conflicts: 92000 | #Constraints: 8861
146.48/146.91 c #Conflicts: 93000 | #Constraints: 9861
146.48/146.91 c #Conflicts: 94000 | #Constraints: 10861
146.48/146.91 c #Conflicts: 95000 | #Constraints: 11861
146.48/146.91 c #Conflicts: 96000 | #Constraints: 12861
146.48/146.91 c INPROCESSING
146.48/146.91 c GARBAGE COLLECT
146.48/146.91 c #Conflicts: 97000 | #Constraints: 7662
146.48/146.91 c #Conflicts: 98000 | #Constraints: 8662
146.48/146.91 c #Conflicts: 99000 | #Constraints: 9662
146.48/146.91 c #Conflicts: 100000 | #Constraints: 10662
146.48/146.91 c #Conflicts: 101000 | #Constraints: 11662
146.48/146.91 c #Conflicts: 102000 | #Constraints: 12662
146.48/146.91 c #Conflicts: 103000 | #Constraints: 13662
146.48/146.91 c INPROCESSING
146.48/146.91 c GARBAGE COLLECT
146.48/146.91 c #Conflicts: 104000 | #Constraints: 8276
146.48/146.91 c #Conflicts: 105000 | #Constraints: 9276
146.48/146.91 c #Conflicts: 106000 | #Constraints: 10276
146.48/146.91 c #Conflicts: 107000 | #Constraints: 11276
146.48/146.91 c #Conflicts: 108000 | #Constraints: 12276
146.48/146.91 c #Conflicts: 109000 | #Constraints: 13276
146.48/146.91 c #Conflicts: 110000 | #Constraints: 14276
146.48/146.91 c INPROCESSING
146.48/146.91 c GARBAGE COLLECT
146.48/146.91 c #Conflicts: 111000 | #Constraints: 8666
146.48/146.91 c #Conflicts: 112000 | #Constraints: 9666
146.48/146.91 c #Conflicts: 113000 | #Constraints: 10666
146.48/146.91 c #Conflicts: 114000 | #Constraints: 11666
146.48/146.91 c #Conflicts: 115000 | #Constraints: 12666
146.48/146.91 c #Conflicts: 116000 | #Constraints: 13666
146.48/146.91 c #Conflicts: 117000 | #Constraints: 14666
146.48/146.91 c INPROCESSING
146.48/146.91 c GARBAGE COLLECT
146.48/146.91 c #Conflicts: 118000 | #Constraints: 8878
146.48/146.91 c #Conflicts: 119000 | #Constraints: 9878
146.48/146.91 c #Conflicts: 120000 | #Constraints: 10878
146.48/146.91 c #Conflicts: 121000 | #Constraints: 11878
146.48/146.91 c #Conflicts: 122000 | #Constraints: 12878
146.48/146.91 c #Conflicts: 123000 | #Constraints: 13878
146.48/146.91 c #Conflicts: 124000 | #Constraints: 14878
146.48/146.91 c INPROCESSING
146.48/146.91 c GARBAGE COLLECT
146.48/146.91 c #Conflicts: 125000 | #Constraints: 8869
146.48/146.91 c #Conflicts: 126000 | #Constraints: 9869
146.48/146.91 c #Conflicts: 127000 | #Constraints: 10869
146.48/146.91 c #Conflicts: 128000 | #Constraints: 11869
146.48/146.91 c #Conflicts: 129000 | #Constraints: 12869
146.48/146.91 c #Conflicts: 130000 | #Constraints: 13869
146.48/146.91 c #Conflicts: 131000 | #Constraints: 14869
146.48/146.91 c INPROCESSING
146.48/146.91 c GARBAGE COLLECT
146.48/146.91 c #Conflicts: 132000 | #Constraints: 8671
146.48/146.91 c #Conflicts: 133000 | #Constraints: 9671
146.48/146.91 c #Conflicts: 134000 | #Constraints: 10671
146.48/146.91 c #Conflicts: 135000 | #Constraints: 11671
146.48/146.91 c #Conflicts: 136000 | #Constraints: 12671
146.48/146.91 c #Conflicts: 137000 | #Constraints: 13671
565.22/566.77 c #Conflicts: 138000 | #Constraints: 14671
565.22/566.77 c #Conflicts: 139000 | #Constraints: 15671
565.22/566.77 c INPROCESSING
565.22/566.77 c GARBAGE COLLECT
565.22/566.77 c #Conflicts: 140000 | #Constraints: 9275
565.22/566.77 c #Conflicts: 141000 | #Constraints: 10275
565.22/566.77 c bounds 214 >= 144 @ 152.124
565.22/566.77 c #Conflicts: 142000 | #Constraints: 11354
565.22/566.77 c #Conflicts: 143000 | #Constraints: 12354
565.22/566.77 c #Conflicts: 144000 | #Constraints: 13354
565.22/566.77 c #Conflicts: 145000 | #Constraints: 14354
565.22/566.77 c #Conflicts: 146000 | #Constraints: 15354
565.22/566.77 c #Conflicts: 147000 | #Constraints: 16354
565.22/566.77 c INPROCESSING
565.22/566.77 c GARBAGE COLLECT
565.22/566.77 c #Conflicts: 148000 | #Constraints: 9720
565.22/566.77 c #Conflicts: 149000 | #Constraints: 10720
565.22/566.77 c #Conflicts: 150000 | #Constraints: 11720
565.22/566.77 c #Conflicts: 151000 | #Constraints: 12720
565.22/566.77 c #Conflicts: 152000 | #Constraints: 13720
565.22/566.77 c #Conflicts: 153000 | #Constraints: 14720
565.22/566.77 c #Conflicts: 154000 | #Constraints: 15720
565.22/566.77 c #Conflicts: 155000 | #Constraints: 16720
565.22/566.77 c #Conflicts: 156000 | #Constraints: 17720
565.22/566.77 c #Conflicts: 157000 | #Constraints: 18720
565.22/566.77 c #Conflicts: 158000 | #Constraints: 19720
565.22/566.77 c #Conflicts: 159000 | #Constraints: 20720
565.22/566.77 c #Conflicts: 160000 | #Constraints: 21720
565.22/566.77 c #Conflicts: 161000 | #Constraints: 22720
565.22/566.77 c #Conflicts: 162000 | #Constraints: 23720
565.22/566.77 c #Conflicts: 163000 | #Constraints: 24720
565.22/566.77 c #Conflicts: 164000 | #Constraints: 25720
565.22/566.77 c #Conflicts: 165000 | #Constraints: 26720
565.22/566.77 c #Conflicts: 166000 | #Constraints: 27720
565.22/566.77 c #Conflicts: 167000 | #Constraints: 28720
565.22/566.77 c #Conflicts: 168000 | #Constraints: 29720
565.22/566.77 c #Conflicts: 169000 | #Constraints: 30720
565.22/566.77 c #Conflicts: 170000 | #Constraints: 31720
565.22/566.77 c #Conflicts: 171000 | #Constraints: 32720
565.22/566.77 c #Conflicts: 172000 | #Constraints: 33720
565.22/566.77 c #Conflicts: 173000 | #Constraints: 34720
565.22/566.77 c #Conflicts: 174000 | #Constraints: 35720
565.22/566.77 c #Conflicts: 175000 | #Constraints: 36720
565.22/566.77 c #Conflicts: 176000 | #Constraints: 37720
565.22/566.77 c #Conflicts: 177000 | #Constraints: 38720
565.22/566.77 c #Conflicts: 178000 | #Constraints: 39720
565.22/566.77 c #Conflicts: 179000 | #Constraints: 40720
565.22/566.77 c #Conflicts: 180000 | #Constraints: 41720
565.22/566.77 c #Conflicts: 181000 | #Constraints: 42720
565.22/566.77 c #Conflicts: 182000 | #Constraints: 43720
565.22/566.77 c INPROCESSING
565.22/566.77 c GARBAGE COLLECT
565.22/566.77 c #Conflicts: 183000 | #Constraints: 22948
565.22/566.77 c #Conflicts: 184000 | #Constraints: 23948
565.22/566.77 c #Conflicts: 185000 | #Constraints: 24948
565.22/566.77 c #Conflicts: 186000 | #Constraints: 25948
565.22/566.77 c #Conflicts: 187000 | #Constraints: 26948
565.22/566.77 c #Conflicts: 188000 | #Constraints: 27948
565.22/566.77 c #Conflicts: 189000 | #Constraints: 28948
565.22/566.77 c #Conflicts: 190000 | #Constraints: 29948
565.22/566.77 c #Conflicts: 191000 | #Constraints: 30948
565.22/566.77 c #Conflicts: 192000 | #Constraints: 31948
565.22/566.77 c INPROCESSING
565.22/566.77 c GARBAGE COLLECT
565.22/566.77 c #Conflicts: 193000 | #Constraints: 17541
565.22/566.77 c #Conflicts: 194000 | #Constraints: 18541
565.22/566.77 c #Conflicts: 195000 | #Constraints: 19541
565.22/566.77 c #Conflicts: 196000 | #Constraints: 20541
565.22/566.77 c #Conflicts: 197000 | #Constraints: 21541
565.22/566.77 c #Conflicts: 198000 | #Constraints: 22541
565.22/566.77 c #Conflicts: 199000 | #Constraints: 23541
565.22/566.77 c #Conflicts: 200000 | #Constraints: 24541
565.22/566.77 c #Conflicts: 201000 | #Constraints: 25541
565.22/566.77 c #Conflicts: 202000 | #Constraints: 26541
565.22/566.77 c #Conflicts: 203000 | #Constraints: 27541
565.22/566.77 c #Conflicts: 204000 | #Constraints: 28541
565.22/566.77 c #Conflicts: 205000 | #Constraints: 29541
565.22/566.77 c #Conflicts: 206000 | #Constraints: 30541
565.22/566.77 c #Conflicts: 207000 | #Constraints: 31541
565.22/566.77 c #Conflicts: 208000 | #Constraints: 32541
565.22/566.77 c #Conflicts: 209000 | #Constraints: 33541
565.22/566.77 c #Conflicts: 210000 | #Constraints: 34541
565.22/566.77 c #Conflicts: 211000 | #Constraints: 35541
565.22/566.77 c #Conflicts: 212000 | #Constraints: 36541
565.22/566.77 c #Conflicts: 213000 | #Constraints: 37541
1368.53/1372.17 c #Conflicts: 214000 | #Constraints: 38541
1368.53/1372.17 c #Conflicts: 215000 | #Constraints: 39541
1368.53/1372.17 c #Conflicts: 216000 | #Constraints: 40541
1368.53/1372.17 c #Conflicts: 217000 | #Constraints: 41541
1368.53/1372.17 c #Conflicts: 218000 | #Constraints: 42541
1368.53/1372.17 c #Conflicts: 219000 | #Constraints: 43541
1368.53/1372.17 c #Conflicts: 220000 | #Constraints: 44541
1368.53/1372.17 c #Conflicts: 221000 | #Constraints: 45541
1368.53/1372.17 c #Conflicts: 222000 | #Constraints: 46541
1368.53/1372.17 c #Conflicts: 223000 | #Constraints: 47541
1368.53/1372.17 c #Conflicts: 224000 | #Constraints: 48541
1368.53/1372.17 c #Conflicts: 225000 | #Constraints: 49541
1368.53/1372.17 c #Conflicts: 226000 | #Constraints: 50541
1368.53/1372.17 c #Conflicts: 227000 | #Constraints: 51541
1368.53/1372.17 c #Conflicts: 228000 | #Constraints: 52541
1368.53/1372.17 c #Conflicts: 229000 | #Constraints: 53541
1368.53/1372.17 c #Conflicts: 230000 | #Constraints: 54541
1368.53/1372.17 c #Conflicts: 231000 | #Constraints: 55541
1368.53/1372.17 c INPROCESSING
1368.53/1372.17 c GARBAGE COLLECT
1368.53/1372.17 c #Conflicts: 232000 | #Constraints: 29322
1368.53/1372.17 c #Conflicts: 233000 | #Constraints: 30322
1368.53/1372.17 c #Conflicts: 234000 | #Constraints: 31322
1368.53/1372.17 c #Conflicts: 235000 | #Constraints: 32322
1368.53/1372.17 c #Conflicts: 236000 | #Constraints: 33322
1368.53/1372.17 c #Conflicts: 237000 | #Constraints: 34322
1368.53/1372.17 c #Conflicts: 238000 | #Constraints: 35322
1368.53/1372.17 c #Conflicts: 239000 | #Constraints: 36322
1368.53/1372.17 c #Conflicts: 240000 | #Constraints: 37322
1368.53/1372.17 c #Conflicts: 241000 | #Constraints: 38322
1368.53/1372.17 c INPROCESSING
1368.53/1372.17 c GARBAGE COLLECT
1368.53/1372.17 c #Conflicts: 242000 | #Constraints: 20513
1368.53/1372.17 c #Conflicts: 243000 | #Constraints: 21513
1368.53/1372.17 c #Conflicts: 244000 | #Constraints: 22513
1368.53/1372.17 c #Conflicts: 245000 | #Constraints: 23513
1368.53/1372.17 c #Conflicts: 246000 | #Constraints: 24513
1368.53/1372.17 c #Conflicts: 247000 | #Constraints: 25513
1368.53/1372.17 c #Conflicts: 248000 | #Constraints: 26513
1368.53/1372.17 c #Conflicts: 249000 | #Constraints: 27513
1368.53/1372.17 c #Conflicts: 250000 | #Constraints: 28513
1368.53/1372.17 c #Conflicts: 251000 | #Constraints: 29513
1368.53/1372.17 c #Conflicts: 252000 | #Constraints: 30513
1368.53/1372.17 c #Conflicts: 253000 | #Constraints: 31513
1368.53/1372.17 c #Conflicts: 254000 | #Constraints: 32513
1368.53/1372.17 c #Conflicts: 255000 | #Constraints: 33513
1368.53/1372.17 c #Conflicts: 256000 | #Constraints: 34513
1368.53/1372.17 c #Conflicts: 257000 | #Constraints: 35513
1368.53/1372.17 c #Conflicts: 258000 | #Constraints: 36513
1368.53/1372.17 c #Conflicts: 259000 | #Constraints: 37513
1368.53/1372.17 c #Conflicts: 260000 | #Constraints: 38513
1368.53/1372.17 c #Conflicts: 261000 | #Constraints: 39513
1368.53/1372.17 c #Conflicts: 262000 | #Constraints: 40513
1368.53/1372.17 c #Conflicts: 263000 | #Constraints: 41513
1368.53/1372.17 c #Conflicts: 264000 | #Constraints: 42513
1368.53/1372.17 c #Conflicts: 265000 | #Constraints: 43513
1368.53/1372.17 c #Conflicts: 266000 | #Constraints: 44513
1368.53/1372.17 c #Conflicts: 267000 | #Constraints: 45513
1368.53/1372.17 c #Conflicts: 268000 | #Constraints: 46513
1368.53/1372.17 c #Conflicts: 269000 | #Constraints: 47513
1368.53/1372.17 c #Conflicts: 270000 | #Constraints: 48513
1368.53/1372.17 c #Conflicts: 271000 | #Constraints: 49513
1368.53/1372.17 c #Conflicts: 272000 | #Constraints: 50513
1368.53/1372.17 c #Conflicts: 273000 | #Constraints: 51513
1368.53/1372.17 c #Conflicts: 274000 | #Constraints: 52513
1368.53/1372.17 c #Conflicts: 275000 | #Constraints: 53513
1368.53/1372.17 c #Conflicts: 276000 | #Constraints: 54513
1368.53/1372.17 c #Conflicts: 277000 | #Constraints: 55513
1368.53/1372.17 c #Conflicts: 278000 | #Constraints: 56513
1368.53/1372.17 c #Conflicts: 279000 | #Constraints: 57513
1368.53/1372.17 c #Conflicts: 280000 | #Constraints: 58513
1368.53/1372.17 c #Conflicts: 281000 | #Constraints: 59513
1368.53/1372.17 c #Conflicts: 282000 | #Constraints: 60513
1368.53/1372.17 c #Conflicts: 283000 | #Constraints: 61513
1368.53/1372.17 c INPROCESSING
1368.53/1372.17 c GARBAGE COLLECT
1368.53/1372.17 c #Conflicts: 284000 | #Constraints: 32059
1368.53/1372.17 c #Conflicts: 285000 | #Constraints: 33059
1368.53/1372.17 c #Conflicts: 286000 | #Constraints: 34059
1368.53/1372.17 c #Conflicts: 287000 | #Constraints: 35059
1368.53/1372.17 c #Conflicts: 288000 | #Constraints: 36059
1368.53/1372.17 c #Conflicts: 289000 | #Constraints: 37059
1368.53/1372.17 c #Conflicts: 290000 | #Constraints: 38059
2254.94/2260.87 c #Conflicts: 291000 | #Constraints: 39059
2254.94/2260.87 c #Conflicts: 292000 | #Constraints: 40059
2254.94/2260.87 c #Conflicts: 293000 | #Constraints: 41059
2254.94/2260.87 c #Conflicts: 294000 | #Constraints: 42059
2254.94/2260.87 c #Conflicts: 295000 | #Constraints: 43059
2254.94/2260.87 c INPROCESSING
2254.94/2260.87 c GARBAGE COLLECT
2254.94/2260.87 c #Conflicts: 296000 | #Constraints: 23951
2254.94/2260.87 c #Conflicts: 297000 | #Constraints: 24951
2254.94/2260.87 c #Conflicts: 298000 | #Constraints: 25951
2254.94/2260.87 c #Conflicts: 299000 | #Constraints: 26951
2254.94/2260.87 c #Conflicts: 300000 | #Constraints: 27951
2254.94/2260.87 c #Conflicts: 301000 | #Constraints: 28951
2254.94/2260.87 c #Conflicts: 302000 | #Constraints: 29951
2254.94/2260.87 c #Conflicts: 303000 | #Constraints: 30951
2254.94/2260.87 c #Conflicts: 304000 | #Constraints: 31951
2254.94/2260.87 c #Conflicts: 305000 | #Constraints: 32951
2254.94/2260.87 c #Conflicts: 306000 | #Constraints: 33951
2254.94/2260.87 c #Conflicts: 307000 | #Constraints: 34951
2254.94/2260.87 c #Conflicts: 308000 | #Constraints: 35951
2254.94/2260.87 c #Conflicts: 309000 | #Constraints: 36951
2254.94/2260.87 c #Conflicts: 310000 | #Constraints: 37951
2254.94/2260.87 c #Conflicts: 311000 | #Constraints: 38951
2254.94/2260.87 c #Conflicts: 312000 | #Constraints: 39951
2254.94/2260.87 c #Conflicts: 313000 | #Constraints: 40951
2254.94/2260.87 c #Conflicts: 314000 | #Constraints: 41951
2254.94/2260.87 c #Conflicts: 315000 | #Constraints: 42951
2254.94/2260.87 c #Conflicts: 316000 | #Constraints: 43951
2254.94/2260.87 c #Conflicts: 317000 | #Constraints: 44951
2254.94/2260.87 c #Conflicts: 318000 | #Constraints: 45951
2254.94/2260.87 c #Conflicts: 319000 | #Constraints: 46951
2254.94/2260.87 c #Conflicts: 320000 | #Constraints: 47951
2254.94/2260.87 c #Conflicts: 321000 | #Constraints: 48951
2254.94/2260.87 c #Conflicts: 322000 | #Constraints: 49951
2254.94/2260.87 c #Conflicts: 323000 | #Constraints: 50951
2254.94/2260.87 c #Conflicts: 324000 | #Constraints: 51951
2254.94/2260.87 c #Conflicts: 325000 | #Constraints: 52951
2254.94/2260.87 c #Conflicts: 326000 | #Constraints: 53951
2254.94/2260.87 c #Conflicts: 327000 | #Constraints: 54951
2254.94/2260.87 c #Conflicts: 328000 | #Constraints: 55951
2254.94/2260.87 c #Conflicts: 329000 | #Constraints: 56951
2254.94/2260.87 c #Conflicts: 330000 | #Constraints: 57951
2254.94/2260.87 c #Conflicts: 331000 | #Constraints: 58951
2254.94/2260.87 c #Conflicts: 332000 | #Constraints: 59951
2254.94/2260.87 c #Conflicts: 333000 | #Constraints: 60951
2254.94/2260.87 c #Conflicts: 334000 | #Constraints: 61951
2254.94/2260.87 c #Conflicts: 335000 | #Constraints: 62951
2254.94/2260.87 c #Conflicts: 336000 | #Constraints: 63951
2254.94/2260.87 c #Conflicts: 337000 | #Constraints: 64951
2254.94/2260.87 c #Conflicts: 338000 | #Constraints: 65951
2254.94/2260.87 c #Conflicts: 339000 | #Constraints: 66951
2254.94/2260.87 c #Conflicts: 340000 | #Constraints: 67951
2254.94/2260.87 c INPROCESSING
2254.94/2260.87 c GARBAGE COLLECT
2254.94/2260.87 c #Conflicts: 341000 | #Constraints: 35324
2254.94/2260.87 c #Conflicts: 342000 | #Constraints: 36324
2254.94/2260.87 c #Conflicts: 343000 | #Constraints: 37324
2254.94/2260.87 c #Conflicts: 344000 | #Constraints: 38324
2254.94/2260.87 c #Conflicts: 345000 | #Constraints: 39324
2254.94/2260.87 c #Conflicts: 346000 | #Constraints: 40324
2254.94/2260.87 c #Conflicts: 347000 | #Constraints: 41324
2254.94/2260.87 c #Conflicts: 348000 | #Constraints: 42324
2254.94/2260.87 c #Conflicts: 349000 | #Constraints: 43324
2254.94/2260.87 c #Conflicts: 350000 | #Constraints: 44324
2254.94/2260.87 c #Conflicts: 351000 | #Constraints: 45324
2254.94/2260.87 c #Conflicts: 352000 | #Constraints: 46324
2254.94/2260.87 c #Conflicts: 353000 | #Constraints: 47324
2254.94/2260.87 c INPROCESSING
2254.94/2260.87 c GARBAGE COLLECT
2254.94/2260.87 c #Conflicts: 354000 | #Constraints: 28794
2254.94/2260.87 c #Conflicts: 355000 | #Constraints: 29794
2254.94/2260.87 c #Conflicts: 356000 | #Constraints: 30794
2254.94/2260.87 c #Conflicts: 357000 | #Constraints: 31794
2254.94/2260.87 c #Conflicts: 358000 | #Constraints: 32794
2254.94/2260.87 c #Conflicts: 359000 | #Constraints: 33794
2254.94/2260.87 c #Conflicts: 360000 | #Constraints: 34794
2254.94/2260.87 c #Conflicts: 361000 | #Constraints: 35794
2254.94/2260.87 c #Conflicts: 362000 | #Constraints: 36794
2254.94/2260.87 c #Conflicts: 363000 | #Constraints: 37794
2254.94/2260.87 c #Conflicts: 364000 | #Constraints: 38794
2254.94/2260.87 c #Conflicts: 365000 | #Constraints: 39794
2254.94/2260.87 c #Conflicts: 366000 | #Constraints: 40794
2254.94/2260.87 c #Conflicts: 367000 | #Constraints: 41794
3419.46/3428.25 c #Conflicts: 368000 | #Constraints: 42794
3419.46/3428.25 c #Conflicts: 369000 | #Constraints: 43794
3419.46/3428.25 c #Conflicts: 370000 | #Constraints: 44794
3419.46/3428.25 c #Conflicts: 371000 | #Constraints: 45794
3419.46/3428.25 c #Conflicts: 372000 | #Constraints: 46794
3419.46/3428.25 c #Conflicts: 373000 | #Constraints: 47794
3419.46/3428.25 c #Conflicts: 374000 | #Constraints: 48794
3419.46/3428.25 c #Conflicts: 375000 | #Constraints: 49794
3419.46/3428.25 c #Conflicts: 376000 | #Constraints: 50794
3419.46/3428.25 c #Conflicts: 377000 | #Constraints: 51794
3419.46/3428.25 c #Conflicts: 378000 | #Constraints: 52794
3419.46/3428.25 c #Conflicts: 379000 | #Constraints: 53794
3419.46/3428.25 c #Conflicts: 380000 | #Constraints: 54794
3419.46/3428.25 c #Conflicts: 381000 | #Constraints: 55794
3419.46/3428.25 c #Conflicts: 382000 | #Constraints: 56794
3419.46/3428.25 c #Conflicts: 383000 | #Constraints: 57794
3419.46/3428.25 c #Conflicts: 384000 | #Constraints: 58794
3419.46/3428.25 c #Conflicts: 385000 | #Constraints: 59794
3419.46/3428.25 c #Conflicts: 386000 | #Constraints: 60794
3419.46/3428.25 c #Conflicts: 387000 | #Constraints: 61794
3419.46/3428.25 c #Conflicts: 388000 | #Constraints: 62794
3419.46/3428.25 c #Conflicts: 389000 | #Constraints: 63794
3419.46/3428.25 c #Conflicts: 390000 | #Constraints: 64794
3419.46/3428.25 c #Conflicts: 391000 | #Constraints: 65794
3419.46/3428.25 c #Conflicts: 392000 | #Constraints: 66794
3419.46/3428.25 c #Conflicts: 393000 | #Constraints: 67794
3419.46/3428.25 c #Conflicts: 394000 | #Constraints: 68794
3419.46/3428.25 c #Conflicts: 395000 | #Constraints: 69794
3419.46/3428.25 c #Conflicts: 396000 | #Constraints: 70794
3419.46/3428.25 c #Conflicts: 397000 | #Constraints: 71794
3419.46/3428.25 c #Conflicts: 398000 | #Constraints: 72794
3419.46/3428.25 c #Conflicts: 399000 | #Constraints: 73794
3419.46/3428.25 c #Conflicts: 400000 | #Constraints: 74794
3419.46/3428.25 c #Conflicts: 401000 | #Constraints: 75794
3419.46/3428.25 c INPROCESSING
3419.46/3428.25 c GARBAGE COLLECT
3419.46/3428.25 c #Conflicts: 402000 | #Constraints: 39097
3419.46/3428.25 c #Conflicts: 403000 | #Constraints: 40097
3419.46/3428.25 c #Conflicts: 404000 | #Constraints: 41097
3419.46/3428.25 c #Conflicts: 405000 | #Constraints: 42097
3419.46/3428.25 c #Conflicts: 406000 | #Constraints: 43097
3419.46/3428.25 c #Conflicts: 407000 | #Constraints: 44097
3419.46/3428.25 c #Conflicts: 408000 | #Constraints: 45097
3419.46/3428.25 c #Conflicts: 409000 | #Constraints: 46097
3419.46/3428.25 c #Conflicts: 410000 | #Constraints: 47097
3419.46/3428.25 c #Conflicts: 411000 | #Constraints: 48097
3419.46/3428.25 c #Conflicts: 412000 | #Constraints: 49097
3419.46/3428.25 c #Conflicts: 413000 | #Constraints: 50097
3419.46/3428.25 c #Conflicts: 414000 | #Constraints: 51097
3419.46/3428.25 c #Conflicts: 415000 | #Constraints: 52097
3419.46/3428.25 c #Conflicts: 416000 | #Constraints: 53097
3419.46/3428.25 c INPROCESSING
3419.46/3428.25 c GARBAGE COLLECT
3419.46/3428.25 c #Conflicts: 417000 | #Constraints: 34026
3419.46/3428.25 c #Conflicts: 418000 | #Constraints: 35026
3419.46/3428.25 c #Conflicts: 419000 | #Constraints: 36026
3419.46/3428.25 c #Conflicts: 420000 | #Constraints: 37026
3419.46/3428.25 c #Conflicts: 421000 | #Constraints: 38026
3419.46/3428.25 c #Conflicts: 422000 | #Constraints: 39026
3419.46/3428.25 c #Conflicts: 423000 | #Constraints: 40026
3419.46/3428.25 c #Conflicts: 424000 | #Constraints: 41026
3419.46/3428.25 c #Conflicts: 425000 | #Constraints: 42026
3419.46/3428.25 c #Conflicts: 426000 | #Constraints: 43026
3419.46/3428.25 c #Conflicts: 427000 | #Constraints: 44026
3419.46/3428.25 c #Conflicts: 428000 | #Constraints: 45026
3419.46/3428.25 c #Conflicts: 429000 | #Constraints: 46026
3419.46/3428.25 c #Conflicts: 430000 | #Constraints: 47026
3419.46/3428.25 c #Conflicts: 431000 | #Constraints: 48026
3419.46/3428.25 c #Conflicts: 432000 | #Constraints: 49026
3419.46/3428.25 c #Conflicts: 433000 | #Constraints: 50026
3419.46/3428.25 c #Conflicts: 434000 | #Constraints: 51026
3419.46/3428.25 c #Conflicts: 435000 | #Constraints: 52026
3419.46/3428.25 c #Conflicts: 436000 | #Constraints: 53026
3419.46/3428.25 c #Conflicts: 437000 | #Constraints: 54026
3419.46/3428.25 c #Conflicts: 438000 | #Constraints: 55026
3419.46/3428.25 c #Conflicts: 439000 | #Constraints: 56026
3419.46/3428.25 c #Conflicts: 440000 | #Constraints: 57026
3419.46/3428.25 c #Conflicts: 441000 | #Constraints: 58026
3419.46/3428.25 c #Conflicts: 442000 | #Constraints: 59026
3419.46/3428.25 c #Conflicts: 443000 | #Constraints: 60026
3419.46/3428.25 c #Conflicts: 444000 | #Constraints: 61026
3600.01/3609.20 c #Conflicts: 445000 | #Constraints: 62026
3600.01/3609.20 c #Conflicts: 446000 | #Constraints: 63026
3600.01/3609.20 c #Conflicts: 447000 | #Constraints: 64026
3600.01/3609.20 c #Conflicts: 448000 | #Constraints: 65026
3600.01/3609.20 c #Conflicts: 449000 | #Constraints: 66026
3600.01/3609.20 c #Conflicts: 450000 | #Constraints: 67026
3600.01/3609.20 c #Conflicts: 451000 | #Constraints: 68026
3600.01/3609.20 c #Conflicts: 452000 | #Constraints: 69026
3600.01/3609.20 c #Conflicts: 453000 | #Constraints: 70026
3600.01/3609.20 c Program interrupted by user.
3600.01/3609.20 c cpu time 3590.15 s
3600.01/3609.20 c deterministic time 270746244137 2.71e+11
3600.01/3609.20 c optimization time 605.633 s
3600.01/3609.20 c total solve time 2984.5 s
3600.01/3609.20 c core-guided solve time 2984.5 s
3600.01/3609.20 c propagation time 3252.28 s
3600.01/3609.20 c conflict analysis time 322.206 s
3600.01/3609.20 c propagations 67100377
3600.01/3609.20 c resolve steps 5147522
3600.01/3609.20 c decisions 6750114
3600.01/3609.20 c conflicts 453009
3600.01/3609.20 c restarts 1021
3600.01/3609.20 c inprocessing phases 40
3600.01/3609.20 c input clauses 214
3600.01/3609.20 c input cardinalities 411
3600.01/3609.20 c input general constraints 649
3600.01/3609.20 c input average constraint length 43.81
3600.01/3609.20 c input average constraint degree 21.32
3600.01/3609.20 c learned clauses 90992
3600.01/3609.20 c learned cardinalities 1641
3600.01/3609.20 c learned general constraints 360394
3600.01/3609.20 c learned average constraint length 135.73
3600.01/3609.20 c learned average constraint degree 2742813.26
3600.01/3609.20 c watched constraints 298968
3600.01/3609.20 c counting constraints 62075
3600.01/3609.20 c gcd simplifications 31701
3600.01/3609.20 c detected cardinalities 1366
3600.01/3609.20 c weakened non-implied lits 6068803
3600.01/3609.20 c weakened non-implying lits 17583
3600.01/3609.20 c original variables 470
3600.01/3609.20 c clausal propagations 14608991
3600.01/3609.20 c cardinality propagations 920991
3600.01/3609.20 c watched propagations 11479346
3600.01/3609.20 c counting propagations 39698244
3600.01/3609.20 c watch lookups 66601503295
3600.01/3609.20 c watch backjump lookups 63865048531
3600.01/3609.20 c watch checks 126746238624
3600.01/3609.20 c propagation checks 13148247291
3600.01/3609.20 c constraint additions 237052796
3600.01/3609.20 c trail pops 74303108
3600.01/3609.20 c formula constraints 470
3600.01/3609.20 c learned constraints 453027
3600.01/3609.20 c bound constraints 99
3600.01/3609.20 c core-guided constraints 705
3600.01/3609.20 c encountered formula constraints 784475
3600.01/3609.20 c encountered learned constraints 3895198
3600.01/3609.20 c encountered bound constraints 118
3600.01/3609.20 c encountered core-guided constraints 920740
3600.01/3609.20 c LP total time 0 s
3600.01/3609.20 c LP solve time 0 s
3600.01/3609.20 c LP constraints added 0
3600.01/3609.20 c LP constraints removed 0
3600.01/3609.20 c LP pivots internal 0
3600.01/3609.20 c LP pivots root 0
3600.01/3609.20 c LP calls 0
3600.01/3609.20 c LP optimalities 0
3600.01/3609.20 c LP no pivot count 0
3600.01/3609.20 c LP infeasibilities 0
3600.01/3609.20 c LP valid Farkas constraints 0
3600.01/3609.20 c LP learned Farkas constraints 0
3600.01/3609.20 c LP basis resets 0
3600.01/3609.20 c LP cycling count 0
3600.01/3609.20 c LP singular count 0
3600.01/3609.20 c LP no primal count 0
3600.01/3609.20 c LP no farkas count 0
3600.01/3609.20 c LP other issue count 0
3600.01/3609.20 c LP Gomory cuts 0
3600.01/3609.20 c LP learned cuts 0
3600.01/3609.20 c LP deleted cuts 0
3600.01/3609.20 c LP encountered Gomory constraints 0
3600.01/3609.20 c LP encountered Farkas constraints 0
3600.01/3609.20 c LP encountered learned Farkas constraints 0
3600.01/3609.20 c CG auxiliary variables introduced 300
3600.01/3609.20 c CG solutions found 3
3600.01/3609.20 c CG cores constructed 90
3600.01/3609.20 c CG core cardinality constraints returned 0
3600.01/3609.20 c CG unit cores 0
3600.01/3609.20 c CG single cores 90
3600.01/3609.20 c CG blocks removed during cardinality reduction 0
3600.01/3609.20 c CG first core best 0
3600.01/3609.20 c CG decision core best 0
3600.01/3609.20 c CG core reduction tie 0
3600.01/3609.20 c CG core degree average 1.00
3600.01/3609.20 c CG core slack average 5.90
3600.01/3609.20 c CG exhausted 0
3600.01/3609.20 c CG exhaust time 40.6394 s
3600.01/3609.20 c CG trimmed 11
3600.01/3609.20 c CG trim time 0.020187 s
3600.01/3609.20 c CG minimized 0
3600.01/3609.20 c CG minimize time 0 s
3600.01/3609.20 c CG am1 prop time 0.031106 s
3600.01/3609.20 c CG # am1s reformulated 54
3600.01/3609.20 c CG lower bound derived from am1s 54
3600.01/3609.20 c CG # clausal cores 31
3600.01/3609.20 c CG # cardinality cores 0
3600.01/3609.20 c CG # pb cores 59
3600.01/3609.20 c CG # pb reforms 0
3600.01/3609.20 c CG # cores discarded because of pb reform 0
3600.01/3609.20 d LOWERBOUND 144
3600.01/3609.20 d NCORES 90
3600.01/3609.20 d NPBCORES 59
3600.01/3609.20 d NPBREFORM 0
3600.01/3609.20 d NTRIMMED 11
3600.01/3609.20 d NEXHAUSTED 0
3600.01/3609.20 d NAM1S 54
3600.01/3609.20 d AM1LB 54
3600.01/3609.20 o 214
3600.01/3609.20 s SATISFIABLE
3600.01/3609.20 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
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 (63092 MiB free)
memory of node 1: 64473 MiB (61639 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454301-1721469303/watcher-4454301-1721469303 -o /tmp/evaluation-result-4454301-1721469303/solver-4454301-1721469303 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721469315-1062595 --watchdog 3760 pb-oll-rs HOME/instance-4454301-1721469303.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=1062725, runsolver pid=1062713
[startup+0.100874 s]*
/proc/loadavg: 2.94 3.20 3.61 7/247 1062786
/proc/meminfo: memFree=127711428/131655788 swapFree=131071996/131071996
[pid=1062725] ppid=1062713 vsize=39920 memory=7692 CPUtime=0.1 cores=4,6
/proc/1062725/stat : 1062725 (pb-oll-rs) R 1062713 1062725 1062548 0 -1 4194304 717 0 0 0 9 1 0 0 20 0 1 0 199089100 40878080 1923 134679101440 4194304 5384485 140728346689616 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 7532544 140728346694677 140728346694754 140728346694754 140728346701771 0
/proc/1062725/statm: 9980 1923 1409 291 0 1514 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39920 KiB
Current children cumulated memory: 7692 KiB
[startup+0.213343 s]*
/proc/loadavg: 2.94 3.20 3.61 7/248 1062819
/proc/meminfo: memFree=127702072/131655788 swapFree=131071996/131071996
[pid=1062725] ppid=1062713 vsize=41104 memory=11024 CPUtime=0.21 cores=4,6
/proc/1062725/stat : 1062725 (pb-oll-rs) R 1062713 1062725 1062548 0 -1 4194304 1022 0 0 0 19 2 0 0 20 0 1 0 199089100 42090496 2756 134679101440 4194304 5384485 140728346689616 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 7532544 140728346694677 140728346694754 140728346694754 140728346701771 0
/proc/1062725/statm: 10276 2756 1409 291 0 1810 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 41104 KiB
Current children cumulated memory: 11024 KiB
[startup+0.314677 s]*
/proc/loadavg: 2.94 3.20 3.61 8/248 1062872
/proc/meminfo: memFree=127697224/131655788 swapFree=131071996/131071996
[pid=1062725] ppid=1062713 vsize=41236 memory=11024 CPUtime=0.31 cores=4,6
/proc/1062725/stat : 1062725 (pb-oll-rs) R 1062713 1062725 1062548 0 -1 4194304 1034 0 0 0 28 3 0 0 20 0 1 0 199089100 42225664 2756 134679101440 4194304 5384485 140728346689616 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 7532544 140728346694677 140728346694754 140728346694754 140728346701771 0
/proc/1062725/statm: 10309 2756 1409 291 0 1843 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 41236 KiB
Current children cumulated memory: 11024 KiB
[startup+0.700298 s]
/proc/loadavg: 2.94 3.20 3.61 8/249 1062969
/proc/meminfo: memFree=127688248/131655788 swapFree=131071996/131071996
[pid=1062725] ppid=1062713 vsize=43696 memory=14456 CPUtime=0.68 cores=4,6
/proc/1062725/stat : 1062725 (pb-oll-rs) R 1062713 1062725 1062548 0 -1 4194304 1911 0 0 0 63 5 0 0 20 0 1 0 199089100 44744704 3614 134679101440 4194304 5384485 140728346689616 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 7532544 140728346694677 140728346694754 140728346694754 140728346701771 0
/proc/1062725/statm: 10924 3614 1409 291 0 2458 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 43696 KiB
Current children cumulated memory: 14456 KiB
[startup+1.50028 s]
/proc/loadavg: 2.94 3.20 3.61 6/245 1063004
/proc/meminfo: memFree=127675480/131655788 swapFree=131071996/131071996
[pid=1062725] ppid=1062713 vsize=48260 memory=18460 CPUtime=1.48 cores=4,6
/proc/1062725/stat : 1062725 (pb-oll-rs) R 1062713 1062725 1062548 0 -1 4194304 2848 0 0 0 141 7 0 0 20 0 1 0 199089100 49418240 4615 134679101440 4194304 5384485 140728346689616 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 7532544 140728346694677 140728346694754 140728346694754 140728346701771 0
/proc/1062725/statm: 12065 4615 1472 291 0 3599 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 48260 KiB
Current children cumulated memory: 18460 KiB
[startup+3.11257 s]
/proc/loadavg: 3.02 3.21 3.62 6/245 1063004
/proc/meminfo: memFree=127634208/131655788 swapFree=131071996/131071996
[pid=1062725] ppid=1062713 vsize=58744 memory=28600 CPUtime=3.09 cores=4,6
/proc/1062725/stat : 1062725 (pb-oll-rs) R 1062713 1062725 1062548 0 -1 4194304 4884 0 0 0 298 11 0 0 20 0 1 0 199089100 60153856 7150 134679101440 4194304 5384485 140728346689616 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 7532544 140728346694677 140728346694754 140728346694754 140728346701771 0
/proc/1062725/statm: 14686 7150 1472 291 0 6220 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 58744 KiB
Current children cumulated memory: 28600 KiB
[startup+6.30025 s]
/proc/loadavg: 3.02 3.21 3.62 6/245 1063006
/proc/meminfo: memFree=127604192/131655788 swapFree=131071996/131071996
[pid=1062725] ppid=1062713 vsize=69764 memory=34404 CPUtime=6.27 cores=4,6
/proc/1062725/stat : 1062725 (pb-oll-rs) R 1062713 1062725 1062548 0 -1 4194304 6279 0 0 0 608 19 0 0 20 0 1 0 199089100 71438336 8601 134679101440 4194304 5384485 140728346689616 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 7532544 140728346694677 140728346694754 140728346694754 140728346701771 0
/proc/1062725/statm: 17441 8601 1472 291 0 8975 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 69764 KiB
Current children cumulated memory: 34404 KiB
[startup+12.7003 s]
/proc/loadavg: 3.10 3.23 3.62 6/245 1063006
/proc/meminfo: memFree=127575020/131655788 swapFree=131071996/131071996
[pid=1062725] ppid=1062713 vsize=78660 memory=45072 CPUtime=12.65 cores=4,6
/proc/1062725/stat : 1062725 (pb-oll-rs) R 1062713 1062725 1062548 0 -1 4194304 7971 0 0 0 1232 33 0 0 20 0 1 0 199089100 80547840 11268 134679101440 4194304 5384485 140728346689616 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 7532544 140728346694677 140728346694754 140728346694754 140728346701771 0
/proc/1062725/statm: 19665 11268 1472 291 0 11199 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 78660 KiB
Current children cumulated memory: 45072 KiB
[startup+25.5003 s]
/proc/loadavg: 3.37 3.28 3.63 6/245 1063007
/proc/meminfo: memFree=127537112/131655788 swapFree=131071996/131071996
[pid=1062725] ppid=1062713 vsize=95712 memory=55804 CPUtime=25.42 cores=4,6
/proc/1062725/stat : 1062725 (pb-oll-rs) R 1062713 1062725 1062548 0 -1 4194304 9603 0 0 0 2490 52 0 0 20 0 1 0 199089100 98009088 13951 134679101440 4194304 5384485 140728346689616 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 7532544 140728346694677 140728346694754 140728346694754 140728346701771 0
/proc/1062725/statm: 23928 13951 1472 291 0 15462 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 95712 KiB
Current children cumulated memory: 55804 KiB
[startup+51.1131 s]
/proc/loadavg: 3.59 3.34 3.64 6/245 1063014
/proc/meminfo: memFree=127489608/131655788 swapFree=131071996/131071996
[pid=1062725] ppid=1062713 vsize=100000 memory=61784 CPUtime=50.96 cores=4,6
/proc/1062725/stat : 1062725 (pb-oll-rs) R 1062713 1062725 1062548 0 -1 4194304 10606 0 0 0 5014 82 0 0 20 0 1 0 199089100 102400000 15446 134679101440 4194304 5384485 140728346689616 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 7532544 140728346694677 140728346694754 140728346694754 140728346701771 0
/proc/1062725/statm: 25000 15446 1472 291 0 16534 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 100000 KiB
Current children cumulated memory: 61784 KiB
[startup+102.3 s]
/proc/loadavg: 3.86 3.46 3.67 6/245 1063022
/proc/meminfo: memFree=127468968/131655788 swapFree=131071996/131071996
[pid=1062725] ppid=1062713 vsize=105188 memory=66304 CPUtime=102 cores=4,6
/proc/1062725/stat : 1062725 (pb-oll-rs) R 1062713 1062725 1062548 0 -1 4194304 11747 0 0 0 10049 151 0 0 20 0 1 0 199089100 107712512 16576 134679101440 4194304 5384485 140728346689616 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 7532544 140728346694677 140728346694754 140728346694754 140728346701771 0
/proc/1062725/statm: 26297 16576 1472 291 0 17831 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 105188 KiB
Current children cumulated memory: 66304 KiB
[startup+162.3 s]
/proc/loadavg: 4.05 3.59 3.70 6/245 1063032
/proc/meminfo: memFree=127451560/131655788 swapFree=131071996/131071996
[pid=1062725] ppid=1062713 vsize=106760 memory=72788 CPUtime=161.85 cores=4,6
/proc/1062725/stat : 1062725 (pb-oll-rs) R 1062713 1062725 1062548 0 -1 4194304 12200 0 0 0 15968 217 0 0 20 0 1 0 199089100 109322240 18197 134679101440 4194304 5384485 140728346689616 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 7532544 140728346694677 140728346694754 140728346694754 140728346701771 0
/proc/1062725/statm: 26690 18197 1472 291 0 18224 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 106760 KiB
Current children cumulated memory: 72788 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 3.68 3.73 6/247 1063212
/proc/meminfo: memFree=127432904/131655788 swapFree=131071996/131071996
[pid=1062725] ppid=1062713 vsize=115548 memory=79156 CPUtime=221.71 cores=4,6
/proc/1062725/stat : 1062725 (pb-oll-rs) R 1062713 1062725 1062548 0 -1 4194304 13863 0 0 0 21912 259 0 0 20 0 1 0 199089100 118321152 19789 134679101440 4194304 5384485 140728346689616 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 7532544 140728346694677 140728346694754 140728346694754 140728346701771 0
/proc/1062725/statm: 28887 19789 1472 291 0 20421 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 115548 KiB
Current children cumulated memory: 79156 KiB
[startup+282.3 s]
/proc/loadavg: 4.17 3.79 3.76 6/247 1063223
/proc/meminfo: memFree=127412440/131655788 swapFree=131071996/131071996
[pid=1062725] ppid=1062713 vsize=120428 memory=85552 CPUtime=281.57 cores=4,6
/proc/1062725/stat : 1062725 (pb-oll-rs) R 1062713 1062725 1062548 0 -1 4194304 14980 0 0 0 27879 278 0 0 20 0 1 0 199089100 123318272 21388 134679101440 4194304 5384485 140728346689616 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 7532544 140728346694677 140728346694754 140728346694754 140728346701771 0
/proc/1062725/statm: 30107 21388 1472 291 0 21641 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 120428 KiB
Current children cumulated memory: 85552 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 3.84 3.79 6/243 1063235
/proc/meminfo: memFree=127385724/131655788 swapFree=131071996/131071996
[pid=1062725] ppid=1062713 vsize=146076 memory=92860 CPUtime=341.42 cores=4,6
/proc/1062725/stat : 1062725 (pb-oll-rs) R 1062713 1062725 1062548 0 -1 4194304 17097 0 0 0 33846 296 0 0 20 0 1 0 199089100 149581824 23215 134679101440 4194304 5384485 140728346689616 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 7532544 140728346694677 140728346694754 140728346694754 140728346701771 0
/proc/1062725/statm: 36519 23215 1472 291 0 28053 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 146076 KiB
Current children cumulated memory: 92860 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 3.89 3.81 6/243 1063256
/proc/meminfo: memFree=127371436/131655788 swapFree=131071996/131071996
[pid=1062725] ppid=1062713 vsize=146972 memory=96508 CPUtime=401.26 cores=4,6
/proc/1062725/stat : 1062725 (pb-oll-rs) R 1062713 1062725 1062548 0 -1 4194304 17688 0 0 0 39806 320 0 0 20 0 1 0 199089100 150499328 24127 134679101440 4194304 5384485 140728346689616 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 7532544 140728346694677 140728346694754 140728346694754 140728346701771 0
/proc/1062725/statm: 36743 24127 1472 291 0 28277 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 146972 KiB
Current children cumulated memory: 96508 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 3.93 3.83 6/244 1063268
/proc/meminfo: memFree=127365600/131655788 swapFree=131071996/131071996
[pid=1062725] ppid=1062713 vsize=147260 memory=96692 CPUtime=461.11 cores=4,6
/proc/1062725/stat : 1062725 (pb-oll-rs) R 1062713 1062725 1062548 0 -1 4194304 17766 0 0 0 45759 352 0 0 20 0 1 0 199089100 150794240 24173 134679101440 4194304 5384485 140728346689616 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 7532544 140728346694677 140728346694754 140728346694754 140728346701771 0
/proc/1062725/statm: 36815 24173 1472 291 0 28349 0
################
# More data... #
################
Current children cumulated memory: 143724 KiB
[startup+2862.3 s]
/proc/loadavg: 4.15 4.12 4.06 6/244 1064312
/proc/meminfo: memFree=127063320/131655788 swapFree=131071996/131071996
[pid=1062725] ppid=1062713 vsize=204256 memory=144556 CPUtime=2854.95 cores=4,6
/proc/1062725/stat : 1062725 (pb-oll-rs) R 1062713 1062725 1062548 0 -1 4194304 27127 0 0 0 284632 863 0 0 20 0 1 0 199089100 209158144 36139 134679101440 4194304 5384485 140728346689616 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 7532544 140728346694677 140728346694754 140728346694754 140728346701771 0
/proc/1062725/statm: 51064 36139 1472 291 0 42598 0
Current children cumulated CPU time: 2854.95 s
Current children cumulated vsize: 204256 KiB
Current children cumulated memory: 144556 KiB
[startup+2922.3 s]
/proc/loadavg: 4.18 4.13 4.07 6/244 1064322
/proc/meminfo: memFree=127061020/131655788 swapFree=131071996/131071996
[pid=1062725] ppid=1062713 vsize=204256 memory=146164 CPUtime=2914.81 cores=4,6
/proc/1062725/stat : 1062725 (pb-oll-rs) R 1062713 1062725 1062548 0 -1 4194304 27180 0 0 0 290606 875 0 0 20 0 1 0 199089100 209158144 36541 134679101440 4194304 5384485 140728346689616 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 7532544 140728346694677 140728346694754 140728346694754 140728346701771 0
/proc/1062725/statm: 51064 36541 1472 291 0 42598 0
Current children cumulated CPU time: 2914.81 s
Current children cumulated vsize: 204256 KiB
Current children cumulated memory: 146164 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.12 4.07 6/243 1064333
/proc/meminfo: memFree=127059852/131655788 swapFree=131071996/131071996
[pid=1062725] ppid=1062713 vsize=204256 memory=146164 CPUtime=2974.66 cores=4,6
/proc/1062725/stat : 1062725 (pb-oll-rs) R 1062713 1062725 1062548 0 -1 4194304 27234 0 0 0 296582 884 0 0 20 0 1 0 199089100 209158144 36541 134679101440 4194304 5384485 140728346689616 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 7532544 140728346694677 140728346694754 140728346694754 140728346701771 0
/proc/1062725/statm: 51064 36541 1472 291 0 42598 0
Current children cumulated CPU time: 2974.66 s
Current children cumulated vsize: 204256 KiB
Current children cumulated memory: 146164 KiB
[startup+3042.3 s]
/proc/loadavg: 4.14 4.12 4.08 6/243 1064344
/proc/meminfo: memFree=127056036/131655788 swapFree=131071996/131071996
[pid=1062725] ppid=1062713 vsize=204512 memory=146168 CPUtime=3034.51 cores=4,6
/proc/1062725/stat : 1062725 (pb-oll-rs) R 1062713 1062725 1062548 0 -1 4194304 27290 0 0 0 302559 892 0 0 20 0 1 0 199089100 209420288 36542 134679101440 4194304 5384485 140728346689616 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 7532544 140728346694677 140728346694754 140728346694754 140728346701771 0
/proc/1062725/statm: 51128 36542 1472 291 0 42662 0
Current children cumulated CPU time: 3034.51 s
Current children cumulated vsize: 204512 KiB
Current children cumulated memory: 146168 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.13 4.08 6/242 1064355
/proc/meminfo: memFree=127049656/131655788 swapFree=131071996/131071996
[pid=1062725] ppid=1062713 vsize=205000 memory=146644 CPUtime=3094.37 cores=4,6
/proc/1062725/stat : 1062725 (pb-oll-rs) R 1062713 1062725 1062548 0 -1 4194304 27460 0 0 0 308529 908 0 0 20 0 1 0 199089100 209920000 36661 134679101440 4194304 5384485 140728346689616 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 7532544 140728346694677 140728346694754 140728346694754 140728346701771 0
/proc/1062725/statm: 51250 36661 1472 291 0 42784 0
Current children cumulated CPU time: 3094.37 s
Current children cumulated vsize: 205000 KiB
Current children cumulated memory: 146644 KiB
[startup+3162.3 s]
/proc/loadavg: 4.17 4.13 4.09 6/242 1064365
/proc/meminfo: memFree=127044564/131655788 swapFree=131071996/131071996
[pid=1062725] ppid=1062713 vsize=205000 memory=146656 CPUtime=3154.21 cores=4,6
/proc/1062725/stat : 1062725 (pb-oll-rs) R 1062713 1062725 1062548 0 -1 4194304 27512 0 0 0 314502 919 0 0 20 0 1 0 199089100 209920000 36664 134679101440 4194304 5384485 140728346689616 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 7532544 140728346694677 140728346694754 140728346694754 140728346701771 0
/proc/1062725/statm: 51250 36664 1472 291 0 42784 0
Current children cumulated CPU time: 3154.21 s
Current children cumulated vsize: 205000 KiB
Current children cumulated memory: 146656 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.14 4.09 6/242 1064375
/proc/meminfo: memFree=127039736/131655788 swapFree=131071996/131071996
[pid=1062725] ppid=1062713 vsize=205000 memory=146656 CPUtime=3214.07 cores=4,6
/proc/1062725/stat : 1062725 (pb-oll-rs) R 1062713 1062725 1062548 0 -1 4194304 27566 0 0 0 320476 931 0 0 20 0 1 0 199089100 209920000 36664 134679101440 4194304 5384485 140728346689616 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 7532544 140728346694677 140728346694754 140728346694754 140728346701771 0
/proc/1062725/statm: 51250 36664 1472 291 0 42784 0
Current children cumulated CPU time: 3214.07 s
Current children cumulated vsize: 205000 KiB
Current children cumulated memory: 146656 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.14 4.09 6/242 1064386
/proc/meminfo: memFree=127038028/131655788 swapFree=131071996/131071996
[pid=1062725] ppid=1062713 vsize=205000 memory=146656 CPUtime=3273.92 cores=4,6
/proc/1062725/stat : 1062725 (pb-oll-rs) R 1062713 1062725 1062548 0 -1 4194304 27621 0 0 0 326451 941 0 0 20 0 1 0 199089100 209920000 36664 134679101440 4194304 5384485 140728346689616 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 7532544 140728346694677 140728346694754 140728346694754 140728346701771 0
/proc/1062725/statm: 51250 36664 1472 291 0 42784 0
Current children cumulated CPU time: 3273.92 s
Current children cumulated vsize: 205000 KiB
Current children cumulated memory: 146656 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.14 4.09 6/245 1064401
/proc/meminfo: memFree=127030256/131655788 swapFree=131071996/131071996
[pid=1062725] ppid=1062713 vsize=205000 memory=146656 CPUtime=3333.77 cores=4,6
/proc/1062725/stat : 1062725 (pb-oll-rs) R 1062713 1062725 1062548 0 -1 4194304 27677 0 0 0 332426 951 0 0 20 0 1 0 199089100 209920000 36664 134679101440 4194304 5384485 140728346689616 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 7532544 140728346694677 140728346694754 140728346694754 140728346701771 0
/proc/1062725/statm: 51250 36664 1472 291 0 42784 0
Current children cumulated CPU time: 3333.77 s
Current children cumulated vsize: 205000 KiB
Current children cumulated memory: 146656 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.14 4.09 6/245 1064411
/proc/meminfo: memFree=127026176/131655788 swapFree=131071996/131071996
[pid=1062725] ppid=1062713 vsize=205000 memory=146656 CPUtime=3393.62 cores=4,6
/proc/1062725/stat : 1062725 (pb-oll-rs) R 1062713 1062725 1062548 0 -1 4194304 27735 0 0 0 338402 960 0 0 20 0 1 0 199089100 209920000 36664 134679101440 4194304 5384485 140728346689616 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 7532544 140728346694677 140728346694754 140728346694754 140728346701771 0
/proc/1062725/statm: 51250 36664 1472 291 0 42784 0
Current children cumulated CPU time: 3393.62 s
Current children cumulated vsize: 205000 KiB
Current children cumulated memory: 146656 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.15 4.09 6/244 1064422
/proc/meminfo: memFree=127012772/131655788 swapFree=131071996/131071996
[pid=1062725] ppid=1062713 vsize=205000 memory=146656 CPUtime=3453.47 cores=4,6
/proc/1062725/stat : 1062725 (pb-oll-rs) R 1062713 1062725 1062548 0 -1 4194304 27794 0 0 0 344379 968 0 0 20 0 1 0 199089100 209920000 36664 134679101440 4194304 5384485 140728346689616 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 7532544 140728346694677 140728346694754 140728346694754 140728346701771 0
/proc/1062725/statm: 51250 36664 1472 291 0 42784 0
Current children cumulated CPU time: 3453.47 s
Current children cumulated vsize: 205000 KiB
Current children cumulated memory: 146656 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.14 4.09 6/244 1064432
/proc/meminfo: memFree=127011336/131655788 swapFree=131071996/131071996
[pid=1062725] ppid=1062713 vsize=205000 memory=146660 CPUtime=3513.32 cores=4,6
/proc/1062725/stat : 1062725 (pb-oll-rs) R 1062713 1062725 1062548 0 -1 4194304 27855 0 0 0 350357 975 0 0 20 0 1 0 199089100 209920000 36665 134679101440 4194304 5384485 140728346689616 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 7532544 140728346694677 140728346694754 140728346694754 140728346701771 0
/proc/1062725/statm: 51250 36665 1472 291 0 42784 0
Current children cumulated CPU time: 3513.32 s
Current children cumulated vsize: 205000 KiB
Current children cumulated memory: 146660 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.12 4.09 6/245 1064444
/proc/meminfo: memFree=127007232/131655788 swapFree=131071996/131071996
[pid=1062725] ppid=1062713 vsize=205000 memory=146664 CPUtime=3573.17 cores=4,6
/proc/1062725/stat : 1062725 (pb-oll-rs) R 1062713 1062725 1062548 0 -1 4194304 27917 0 0 0 356334 983 0 0 20 0 1 0 199089100 209920000 36666 134679101440 4194304 5384485 140728346689616 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 7532544 140728346694677 140728346694754 140728346694754 140728346701771 0
/proc/1062725/statm: 51250 36666 1472 291 0 42784 0
Current children cumulated CPU time: 3573.17 s
Current children cumulated vsize: 205000 KiB
Current children cumulated memory: 146664 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.2 s]
/proc/loadavg: 4.11 4.13 4.09 6/245 1064449
/proc/meminfo: memFree=127004532/131655788 swapFree=131071996/131071996
[pid=1062725] ppid=1062713 vsize=205000 memory=146664 CPUtime=3600.01 cores=4,6
/proc/1062725/stat : 1062725 (pb-oll-rs) R 1062713 1062725 1062548 0 -1 4194304 27918 0 0 0 359014 987 0 0 20 0 1 0 199089100 209920000 36666 134679101440 4194304 5384485 140728346689616 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 7532544 140728346694677 140728346694754 140728346694754 140728346701771 0
/proc/1062725/statm: 51250 36666 1472 291 0 42784 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 205000 KiB
Current children cumulated memory: 146664 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.21 s]
# the end of solver process 1062725 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.15 s, system=9.87454 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.21
CPU time (s): 3600.02
CPU user time (s): 3590.15
CPU system time (s): 9.87454
CPU usage (%): 99.7455
Max. virtual memory (cumulated for all children) (KiB): 205044
Max. memory (cumulated for all children) (KiB): 146664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.15
system time used= 9.87454
maximum resident set size= 146744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27935
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= 52
involuntary context switches= 2221
# summary of solver processes directly reported to runsolver:
# pid: 1062725
# total CPU time (s): 3600.02
# total CPU user time (s): 3590.15
# total CPU system time (s): 9.87454
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.1365 second user time and 35.2183 second system time
The end
Begin job on nodeC005 at 2024-07-20 11:55:15
IDJOB=4454301
IDBENCH=147543
IDSOLVER=3082
FILE ID=nodeC005/4454301-1721469303
RUNJOBID= nodeC005-1721469315-1062595
SLURM_JOB_ID= 7545729
Free space on /tmp= 723784 MiB
SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_22.opb.PB06.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454301-1721469303/watcher-4454301-1721469303 -o /tmp/evaluation-result-4454301-1721469303/solver-4454301-1721469303 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721469315-1062595 --watchdog 3760 pb-oll-rs HOME/instance-4454301-1721469303.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 79a11fcf881101c51e0b67ee01609c80
RANDOM SEED=1611870262
nodeC005.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 : 1783.062
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 : 6983.53
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 : 1197.178
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.35
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.181
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 : 6983.53
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.184
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.35
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 : 1197.182
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 : 6983.53
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 : 1197.180
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.35
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.180
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 : 6983.53
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.183
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.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 127727204 kB
MemAvailable: 129900808 kB
Buffers: 567156 kB
Cached: 2433152 kB
SwapCached: 0 kB
Active: 1189348 kB
Inactive: 2137548 kB
Active(anon): 3324 kB
Inactive(anon): 369160 kB
Active(file): 1186024 kB
Inactive(file): 1768388 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 7988 kB
Writeback: 0 kB
AnonPages: 325880 kB
Mapped: 109052 kB
Shmem: 45896 kB
KReclaimable: 118780 kB
Slab: 228792 kB
SReclaimable: 118780 kB
SUnreclaim: 110012 kB
KernelStack: 3740 kB
PageTables: 10500 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 683728 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 62656 kB
HardwareCorrupted: 0 kB
AnonHugePages: 296960 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: 303944 kB
DirectMap2M: 40495104 kB
DirectMap1G: 95420416 kB
Free space on /tmp at the end= 723776 MiB
End job on nodeC005 at 2024-07-20 12:55:24