0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 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.000938
0.00/0.01 c stratification level: 0
0.00/0.02 c bounds - >= 55 @ 0.001905
0.00/0.02 c bounds - >= 56 @ 0.001905
0.00/0.02 c bounds - >= 57 @ 0.001905
0.00/0.02 c bounds - >= 58 @ 0.001905
0.00/0.02 c bounds - >= 59 @ 0.001915
0.00/0.02 c bounds - >= 60 @ 0.001926
0.00/0.02 c bounds - >= 61 @ 0.001926
0.00/0.02 c bounds - >= 62 @ 0.001926
0.00/0.02 c bounds - >= 63 @ 0.001926
0.00/0.02 c bounds - >= 64 @ 0.001926
0.00/0.02 c bounds - >= 65 @ 0.001926
0.00/0.02 c bounds - >= 66 @ 0.001926
0.00/0.02 c bounds - >= 67 @ 0.001926
0.00/0.02 c bounds - >= 68 @ 0.001926
0.00/0.02 c bounds - >= 69 @ 0.001953
0.00/0.02 c bounds - >= 70 @ 0.002042
0.00/0.02 c bounds - >= 71 @ 0.002147
0.00/0.02 c bounds - >= 72 @ 0.002253
0.00/0.02 c bounds - >= 73 @ 0.002361
0.00/0.02 c bounds - >= 74 @ 0.002471
0.00/0.02 c bounds - >= 75 @ 0.002583
0.00/0.02 c bounds - >= 76 @ 0.00269
0.00/0.02 c bounds - >= 77 @ 0.002799
0.00/0.02 c bounds - >= 78 @ 0.002891
0.00/0.02 c bounds - >= 79 @ 0.002973
0.00/0.02 c bounds - >= 80 @ 0.003081
0.00/0.02 c bounds - >= 81 @ 0.003194
0.00/0.02 c bounds - >= 82 @ 0.003307
0.00/0.02 c bounds - >= 83 @ 0.00342
0.00/0.02 c bounds - >= 84 @ 0.003534
0.00/0.02 c bounds - >= 85 @ 0.00365
0.00/0.02 c bounds - >= 86 @ 0.00378
0.00/0.02 c bounds - >= 87 @ 0.00386
0.00/0.02 c bounds - >= 88 @ 0.003982
0.00/0.02 c bounds - >= 89 @ 0.004096
0.00/0.02 c bounds - >= 90 @ 0.004217
0.00/0.02 c bounds - >= 91 @ 0.004328
0.00/0.02 c bounds - >= 92 @ 0.004443
0.00/0.02 c bounds - >= 93 @ 0.004557
0.00/0.02 c bounds - >= 94 @ 0.004667
0.00/0.02 c bounds - >= 95 @ 0.00478
0.00/0.02 c bounds - >= 96 @ 0.004858
0.00/0.02 c bounds - >= 97 @ 0.004975
0.00/0.02 c bounds - >= 98 @ 0.005093
0.00/0.02 c bounds - >= 99 @ 0.005207
0.00/0.02 c bounds - >= 100 @ 0.005326
0.00/0.02 c bounds - >= 101 @ 0.005442
0.00/0.02 c bounds - >= 102 @ 0.00557
0.00/0.02 c bounds - >= 103 @ 0.00569
0.00/0.02 c bounds - >= 104 @ 0.005787
0.00/0.02 c bounds - >= 105 @ 0.0058
0.00/0.02 c bounds - >= 106 @ 0.0058
0.00/0.02 c bounds - >= 107 @ 0.0058
0.00/0.02 c bounds - >= 108 @ 0.0058
0.00/0.02 c bounds - >= 109 @ 0.0058
0.00/0.02 c bounds - >= 110 @ 0.0058
0.00/0.02 c bounds - >= 111 @ 0.0058
0.00/0.02 c bounds - >= 112 @ 0.005804
0.00/0.02 c bounds - >= 113 @ 0.005825
0.00/0.02 c bounds - >= 114 @ 0.005825
0.00/0.02 c bounds - >= 115 @ 0.005825
0.00/0.02 c bounds - >= 116 @ 0.005825
0.00/0.02 c bounds - >= 117 @ 0.005825
0.00/0.02 c bounds - >= 118 @ 0.005825
0.00/0.02 c bounds - >= 119 @ 0.005825
0.00/0.02 c bounds - >= 120 @ 0.005843
0.00/0.02 c bounds - >= 121 @ 0.005843
0.00/0.02 c bounds - >= 122 @ 0.005843
0.00/0.02 c bounds - >= 123 @ 0.005843
0.00/0.02 c bounds - >= 124 @ 0.005843
0.00/0.02 c bounds - >= 125 @ 0.005843
0.00/0.02 c bounds - >= 126 @ 0.005846
0.00/0.02 c bounds - >= 127 @ 0.00601
0.00/0.02 c bounds - >= 128 @ 0.006166
0.00/0.02 c bounds - >= 129 @ 0.006331
0.00/0.02 c finalizing WCE round: reformulating cores
38.47/38.60 c #Conflicts: 1000 | #Constraints: 1627
38.47/38.60 c #Conflicts: 2000 | #Constraints: 2629
38.47/38.60 c INPROCESSING
38.47/38.60 c GARBAGE COLLECT
38.47/38.60 c #Conflicts: 3000 | #Constraints: 2556
38.47/38.60 c #Conflicts: 4000 | #Constraints: 3558
38.47/38.60 c INPROCESSING
38.47/38.60 c GARBAGE COLLECT
38.47/38.60 c #Conflicts: 5000 | #Constraints: 2968
38.47/38.60 c #Conflicts: 6000 | #Constraints: 3970
38.47/38.60 c INPROCESSING
38.47/38.60 c GARBAGE COLLECT
38.47/38.60 c #Conflicts: 7000 | #Constraints: 2973
38.47/38.60 c #Conflicts: 8000 | #Constraints: 3975
38.47/38.60 c #Conflicts: 9000 | #Constraints: 4979
38.47/38.60 c INPROCESSING
38.47/38.60 c GARBAGE COLLECT
38.47/38.60 c #Conflicts: 10000 | #Constraints: 3677
38.47/38.60 c #Conflicts: 11000 | #Constraints: 4679
38.47/38.60 c #Conflicts: 12000 | #Constraints: 5681
38.47/38.60 c INPROCESSING
38.47/38.60 c GARBAGE COLLECT
38.47/38.60 c #Conflicts: 13000 | #Constraints: 4138
38.47/38.60 c #Conflicts: 14000 | #Constraints: 5140
38.47/38.60 c #Conflicts: 15000 | #Constraints: 6142
38.47/38.60 c INPROCESSING
38.47/38.60 c GARBAGE COLLECT
38.47/38.60 c #Conflicts: 16000 | #Constraints: 4368
38.47/38.60 c #Conflicts: 17000 | #Constraints: 5370
38.47/38.60 c #Conflicts: 18000 | #Constraints: 6372
38.47/38.60 c INPROCESSING
38.47/38.60 c GARBAGE COLLECT
38.47/38.60 c #Conflicts: 19000 | #Constraints: 4388
38.47/38.60 c #Conflicts: 20000 | #Constraints: 5390
38.47/38.60 c #Conflicts: 21000 | #Constraints: 6392
38.47/38.60 c INPROCESSING
38.47/38.60 c GARBAGE COLLECT
38.47/38.60 c #Conflicts: 22000 | #Constraints: 4196
38.47/38.60 c #Conflicts: 23000 | #Constraints: 5198
38.47/38.60 c #Conflicts: 24000 | #Constraints: 6202
38.47/38.60 c #Conflicts: 25000 | #Constraints: 7204
38.47/38.60 c INPROCESSING
38.47/38.60 c GARBAGE COLLECT
38.47/38.60 c #Conflicts: 26000 | #Constraints: 4812
38.47/38.60 c #Conflicts: 27000 | #Constraints: 5814
38.47/38.60 c #Conflicts: 28000 | #Constraints: 6816
38.47/38.60 c #Conflicts: 29000 | #Constraints: 7820
38.47/38.60 c INPROCESSING
38.47/38.60 c GARBAGE COLLECT
38.47/38.60 c #Conflicts: 30000 | #Constraints: 5226
38.47/38.60 c #Conflicts: 31000 | #Constraints: 6228
38.47/38.60 c #Conflicts: 32000 | #Constraints: 7230
38.47/38.60 c #Conflicts: 33000 | #Constraints: 8234
38.47/38.60 c INPROCESSING
38.47/38.60 c GARBAGE COLLECT
38.47/38.60 c #Conflicts: 34000 | #Constraints: 5435
38.47/38.60 c #Conflicts: 35000 | #Constraints: 6437
38.47/38.60 c #Conflicts: 36000 | #Constraints: 7439
38.47/38.60 c #Conflicts: 37000 | #Constraints: 8443
38.47/38.60 c INPROCESSING
38.47/38.60 c GARBAGE COLLECT
38.47/38.60 c #Conflicts: 38000 | #Constraints: 5446
38.47/38.60 c #Conflicts: 39000 | #Constraints: 6448
38.47/38.60 c #Conflicts: 40000 | #Constraints: 7450
38.47/38.60 c #Conflicts: 41000 | #Constraints: 8454
38.47/38.60 c INPROCESSING
38.47/38.60 c GARBAGE COLLECT
38.47/38.60 c #Conflicts: 42000 | #Constraints: 5263
38.47/38.60 c #Conflicts: 43000 | #Constraints: 6265
38.47/38.60 c #Conflicts: 44000 | #Constraints: 7269
38.47/38.60 c #Conflicts: 45000 | #Constraints: 8271
38.47/38.60 c #Conflicts: 46000 | #Constraints: 9273
38.47/38.60 c INPROCESSING
38.47/38.60 c GARBAGE COLLECT
38.47/38.60 c #Conflicts: 47000 | #Constraints: 5876
38.47/38.60 c #Conflicts: 48000 | #Constraints: 6878
38.47/38.60 c #Conflicts: 49000 | #Constraints: 7880
38.47/38.60 c #Conflicts: 50000 | #Constraints: 8884
38.47/38.60 c #Conflicts: 51000 | #Constraints: 9886
38.47/38.60 c INPROCESSING
38.47/38.60 c GARBAGE COLLECT
38.47/38.60 c #Conflicts: 52000 | #Constraints: 6289
38.47/38.60 c #Conflicts: 53000 | #Constraints: 7291
38.47/38.60 c #Conflicts: 54000 | #Constraints: 8293
38.47/38.60 c #Conflicts: 55000 | #Constraints: 9297
38.47/38.60 c #Conflicts: 56000 | #Constraints: 10299
38.47/38.60 c INPROCESSING
38.47/38.60 c GARBAGE COLLECT
38.47/38.60 c #Conflicts: 57000 | #Constraints: 6496
38.47/38.60 c #Conflicts: 58000 | #Constraints: 7498
38.47/38.60 c #Conflicts: 59000 | #Constraints: 8500
38.47/38.60 c bounds 218 >= 129 @ 37.0662
38.47/38.60 c bounds 218 >= 130 @ 37.0809
38.47/38.60 c bounds 218 >= 131 @ 37.0834
38.47/38.60 c bounds 218 >= 132 @ 37.0861
38.47/38.60 c bounds 218 >= 133 @ 37.089
38.47/38.60 c bounds 218 >= 134 @ 37.0985
38.47/38.60 c bounds 218 >= 135 @ 37.1046
38.47/38.60 c bounds 218 >= 136 @ 37.1123
38.47/38.60 c bounds 218 >= 137 @ 37.1251
38.47/38.60 c finalizing WCE round: reformulating cores
49.34/49.56 c #Conflicts: 60000 | #Constraints: 9608
49.34/49.56 c #Conflicts: 61000 | #Constraints: 10613
49.34/49.56 c INPROCESSING
49.34/49.56 c GARBAGE COLLECT
49.34/49.56 c #Conflicts: 62000 | #Constraints: 6588
49.34/49.56 c #Conflicts: 63000 | #Constraints: 7590
49.34/49.56 c #Conflicts: 64000 | #Constraints: 8592
49.34/49.56 c #Conflicts: 65000 | #Constraints: 9596
49.34/49.56 c bounds 216 >= 137 @ 43.2626
49.34/49.56 c bounds 216 >= 138 @ 43.2927
49.34/49.56 c bounds 216 >= 139 @ 43.3297
49.34/49.56 c bounds 216 >= 140 @ 43.3863
49.34/49.56 c #Conflicts: 66000 | #Constraints: 10683
49.34/49.56 c bounds 216 >= 141 @ 44.6083
49.34/49.56 c INPROCESSING
49.34/49.56 c GARBAGE COLLECT
49.34/49.56 c finalizing WCE round: reformulating cores
159.82/160.33 c #Conflicts: 67000 | #Constraints: 6545
159.82/160.33 c #Conflicts: 68000 | #Constraints: 7550
159.82/160.33 c bounds 214 >= 141 @ 50.9517
159.82/160.33 c bounds 214 >= 142 @ 51.0305
159.82/160.33 c #Conflicts: 69000 | #Constraints: 8583
159.82/160.33 c bounds 214 >= 143 @ 52.5403
159.82/160.33 c #Conflicts: 70000 | #Constraints: 9680
159.82/160.33 c #Conflicts: 71000 | #Constraints: 10680
159.82/160.33 c #Conflicts: 72000 | #Constraints: 11680
159.82/160.33 c INPROCESSING
159.82/160.33 c GARBAGE COLLECT
159.82/160.33 c #Conflicts: 73000 | #Constraints: 7249
159.82/160.33 c #Conflicts: 74000 | #Constraints: 8249
159.82/160.33 c #Conflicts: 75000 | #Constraints: 9249
159.82/160.33 c #Conflicts: 76000 | #Constraints: 10249
159.82/160.33 c #Conflicts: 77000 | #Constraints: 11249
159.82/160.33 c #Conflicts: 78000 | #Constraints: 12249
159.82/160.33 c INPROCESSING
159.82/160.33 c GARBAGE COLLECT
159.82/160.33 c #Conflicts: 79000 | #Constraints: 7653
159.82/160.33 c #Conflicts: 80000 | #Constraints: 8653
159.82/160.33 c #Conflicts: 81000 | #Constraints: 9653
159.82/160.33 c #Conflicts: 82000 | #Constraints: 10653
159.82/160.33 c #Conflicts: 83000 | #Constraints: 11653
159.82/160.33 c #Conflicts: 84000 | #Constraints: 12653
159.82/160.33 c INPROCESSING
159.82/160.33 c GARBAGE COLLECT
159.82/160.33 c #Conflicts: 85000 | #Constraints: 7860
159.82/160.33 c #Conflicts: 86000 | #Constraints: 8860
159.82/160.33 c #Conflicts: 87000 | #Constraints: 9860
159.82/160.33 c #Conflicts: 88000 | #Constraints: 10860
159.82/160.33 c #Conflicts: 89000 | #Constraints: 11860
159.82/160.33 c #Conflicts: 90000 | #Constraints: 12860
159.82/160.33 c INPROCESSING
159.82/160.33 c GARBAGE COLLECT
159.82/160.33 c #Conflicts: 91000 | #Constraints: 7861
159.82/160.33 c #Conflicts: 92000 | #Constraints: 8861
159.82/160.33 c #Conflicts: 93000 | #Constraints: 9861
159.82/160.33 c #Conflicts: 94000 | #Constraints: 10861
159.82/160.33 c #Conflicts: 95000 | #Constraints: 11861
159.82/160.33 c #Conflicts: 96000 | #Constraints: 12861
159.82/160.33 c INPROCESSING
159.82/160.33 c GARBAGE COLLECT
159.82/160.33 c #Conflicts: 97000 | #Constraints: 7662
159.82/160.33 c #Conflicts: 98000 | #Constraints: 8662
159.82/160.33 c #Conflicts: 99000 | #Constraints: 9662
159.82/160.33 c #Conflicts: 100000 | #Constraints: 10662
159.82/160.33 c #Conflicts: 101000 | #Constraints: 11662
159.82/160.33 c #Conflicts: 102000 | #Constraints: 12662
159.82/160.33 c #Conflicts: 103000 | #Constraints: 13662
159.82/160.33 c INPROCESSING
159.82/160.33 c GARBAGE COLLECT
159.82/160.33 c #Conflicts: 104000 | #Constraints: 8276
159.82/160.33 c #Conflicts: 105000 | #Constraints: 9276
159.82/160.33 c #Conflicts: 106000 | #Constraints: 10276
159.82/160.33 c #Conflicts: 107000 | #Constraints: 11276
159.82/160.33 c #Conflicts: 108000 | #Constraints: 12276
159.82/160.33 c #Conflicts: 109000 | #Constraints: 13276
159.82/160.33 c #Conflicts: 110000 | #Constraints: 14276
159.82/160.33 c INPROCESSING
159.82/160.33 c GARBAGE COLLECT
159.82/160.33 c #Conflicts: 111000 | #Constraints: 8666
159.82/160.33 c #Conflicts: 112000 | #Constraints: 9666
159.82/160.33 c #Conflicts: 113000 | #Constraints: 10666
159.82/160.33 c #Conflicts: 114000 | #Constraints: 11666
159.82/160.33 c #Conflicts: 115000 | #Constraints: 12666
159.82/160.33 c #Conflicts: 116000 | #Constraints: 13666
159.82/160.33 c #Conflicts: 117000 | #Constraints: 14666
159.82/160.33 c INPROCESSING
159.82/160.33 c GARBAGE COLLECT
159.82/160.33 c #Conflicts: 118000 | #Constraints: 8878
159.82/160.33 c #Conflicts: 119000 | #Constraints: 9878
159.82/160.33 c #Conflicts: 120000 | #Constraints: 10878
159.82/160.33 c #Conflicts: 121000 | #Constraints: 11878
159.82/160.33 c #Conflicts: 122000 | #Constraints: 12878
159.82/160.33 c #Conflicts: 123000 | #Constraints: 13878
159.82/160.33 c #Conflicts: 124000 | #Constraints: 14878
159.82/160.33 c INPROCESSING
159.82/160.33 c GARBAGE COLLECT
159.82/160.33 c #Conflicts: 125000 | #Constraints: 8869
159.82/160.33 c #Conflicts: 126000 | #Constraints: 9869
159.82/160.33 c #Conflicts: 127000 | #Constraints: 10869
159.82/160.33 c #Conflicts: 128000 | #Constraints: 11869
159.82/160.33 c #Conflicts: 129000 | #Constraints: 12869
159.82/160.33 c #Conflicts: 130000 | #Constraints: 13869
159.82/160.33 c #Conflicts: 131000 | #Constraints: 14869
159.82/160.33 c INPROCESSING
159.82/160.33 c GARBAGE COLLECT
159.82/160.33 c #Conflicts: 132000 | #Constraints: 8671
159.82/160.33 c #Conflicts: 133000 | #Constraints: 9671
159.82/160.33 c #Conflicts: 134000 | #Constraints: 10671
159.82/160.33 c #Conflicts: 135000 | #Constraints: 11671
159.82/160.33 c #Conflicts: 136000 | #Constraints: 12671
159.82/160.33 c #Conflicts: 137000 | #Constraints: 13671
552.49/554.15 c #Conflicts: 138000 | #Constraints: 14671
552.49/554.15 c #Conflicts: 139000 | #Constraints: 15671
552.49/554.15 c INPROCESSING
552.49/554.15 c GARBAGE COLLECT
552.49/554.15 c #Conflicts: 140000 | #Constraints: 9275
552.49/554.15 c #Conflicts: 141000 | #Constraints: 10275
552.49/554.15 c bounds 214 >= 144 @ 166.902
552.49/554.15 c #Conflicts: 142000 | #Constraints: 11354
552.49/554.15 c #Conflicts: 143000 | #Constraints: 12354
552.49/554.15 c #Conflicts: 144000 | #Constraints: 13354
552.49/554.15 c #Conflicts: 145000 | #Constraints: 14354
552.49/554.15 c #Conflicts: 146000 | #Constraints: 15354
552.49/554.15 c #Conflicts: 147000 | #Constraints: 16354
552.49/554.15 c INPROCESSING
552.49/554.15 c GARBAGE COLLECT
552.49/554.15 c #Conflicts: 148000 | #Constraints: 9720
552.49/554.15 c #Conflicts: 149000 | #Constraints: 10720
552.49/554.15 c #Conflicts: 150000 | #Constraints: 11720
552.49/554.15 c #Conflicts: 151000 | #Constraints: 12720
552.49/554.15 c #Conflicts: 152000 | #Constraints: 13720
552.49/554.15 c #Conflicts: 153000 | #Constraints: 14720
552.49/554.15 c #Conflicts: 154000 | #Constraints: 15720
552.49/554.15 c #Conflicts: 155000 | #Constraints: 16720
552.49/554.15 c #Conflicts: 156000 | #Constraints: 17720
552.49/554.15 c #Conflicts: 157000 | #Constraints: 18720
552.49/554.15 c #Conflicts: 158000 | #Constraints: 19720
552.49/554.15 c #Conflicts: 159000 | #Constraints: 20720
552.49/554.15 c #Conflicts: 160000 | #Constraints: 21720
552.49/554.15 c #Conflicts: 161000 | #Constraints: 22720
552.49/554.15 c #Conflicts: 162000 | #Constraints: 23720
552.49/554.15 c #Conflicts: 163000 | #Constraints: 24720
552.49/554.15 c #Conflicts: 164000 | #Constraints: 25720
552.49/554.15 c #Conflicts: 165000 | #Constraints: 26720
552.49/554.15 c #Conflicts: 166000 | #Constraints: 27720
552.49/554.15 c #Conflicts: 167000 | #Constraints: 28720
552.49/554.15 c #Conflicts: 168000 | #Constraints: 29720
552.49/554.15 c #Conflicts: 169000 | #Constraints: 30720
552.49/554.15 c #Conflicts: 170000 | #Constraints: 31720
552.49/554.15 c #Conflicts: 171000 | #Constraints: 32720
552.49/554.15 c #Conflicts: 172000 | #Constraints: 33720
552.49/554.15 c #Conflicts: 173000 | #Constraints: 34720
552.49/554.15 c #Conflicts: 174000 | #Constraints: 35720
552.49/554.15 c #Conflicts: 175000 | #Constraints: 36720
552.49/554.15 c #Conflicts: 176000 | #Constraints: 37720
552.49/554.15 c #Conflicts: 177000 | #Constraints: 38720
552.49/554.15 c #Conflicts: 178000 | #Constraints: 39720
552.49/554.15 c #Conflicts: 179000 | #Constraints: 40720
552.49/554.15 c #Conflicts: 180000 | #Constraints: 41720
552.49/554.15 c #Conflicts: 181000 | #Constraints: 42720
552.49/554.15 c #Conflicts: 182000 | #Constraints: 43720
552.49/554.15 c INPROCESSING
552.49/554.15 c GARBAGE COLLECT
552.49/554.15 c #Conflicts: 183000 | #Constraints: 22948
552.49/554.15 c #Conflicts: 184000 | #Constraints: 23948
552.49/554.15 c #Conflicts: 185000 | #Constraints: 24948
552.49/554.15 c #Conflicts: 186000 | #Constraints: 25948
552.49/554.15 c #Conflicts: 187000 | #Constraints: 26948
552.49/554.15 c #Conflicts: 188000 | #Constraints: 27948
552.49/554.15 c #Conflicts: 189000 | #Constraints: 28948
552.49/554.15 c #Conflicts: 190000 | #Constraints: 29948
552.49/554.15 c #Conflicts: 191000 | #Constraints: 30948
552.49/554.15 c #Conflicts: 192000 | #Constraints: 31948
552.49/554.15 c INPROCESSING
552.49/554.15 c GARBAGE COLLECT
552.49/554.15 c #Conflicts: 193000 | #Constraints: 17541
552.49/554.15 c #Conflicts: 194000 | #Constraints: 18541
552.49/554.15 c #Conflicts: 195000 | #Constraints: 19541
552.49/554.15 c #Conflicts: 196000 | #Constraints: 20541
552.49/554.15 c #Conflicts: 197000 | #Constraints: 21541
552.49/554.15 c #Conflicts: 198000 | #Constraints: 22541
552.49/554.15 c #Conflicts: 199000 | #Constraints: 23541
552.49/554.15 c #Conflicts: 200000 | #Constraints: 24541
552.49/554.15 c #Conflicts: 201000 | #Constraints: 25541
552.49/554.15 c #Conflicts: 202000 | #Constraints: 26541
552.49/554.15 c #Conflicts: 203000 | #Constraints: 27541
552.49/554.15 c #Conflicts: 204000 | #Constraints: 28541
552.49/554.15 c #Conflicts: 205000 | #Constraints: 29541
552.49/554.15 c #Conflicts: 206000 | #Constraints: 30541
552.49/554.15 c #Conflicts: 207000 | #Constraints: 31541
552.49/554.15 c #Conflicts: 208000 | #Constraints: 32541
552.49/554.15 c #Conflicts: 209000 | #Constraints: 33541
552.49/554.15 c #Conflicts: 210000 | #Constraints: 34541
552.49/554.15 c #Conflicts: 211000 | #Constraints: 35541
552.49/554.15 c #Conflicts: 212000 | #Constraints: 36541
552.49/554.15 c #Conflicts: 213000 | #Constraints: 37541
1299.78/1303.53 c #Conflicts: 214000 | #Constraints: 38541
1299.78/1303.53 c #Conflicts: 215000 | #Constraints: 39541
1299.78/1303.53 c #Conflicts: 216000 | #Constraints: 40541
1299.78/1303.53 c #Conflicts: 217000 | #Constraints: 41541
1299.78/1303.53 c #Conflicts: 218000 | #Constraints: 42541
1299.78/1303.53 c #Conflicts: 219000 | #Constraints: 43541
1299.78/1303.53 c #Conflicts: 220000 | #Constraints: 44541
1299.78/1303.53 c #Conflicts: 221000 | #Constraints: 45541
1299.78/1303.53 c #Conflicts: 222000 | #Constraints: 46541
1299.78/1303.53 c #Conflicts: 223000 | #Constraints: 47541
1299.78/1303.53 c #Conflicts: 224000 | #Constraints: 48541
1299.78/1303.53 c #Conflicts: 225000 | #Constraints: 49541
1299.78/1303.53 c #Conflicts: 226000 | #Constraints: 50541
1299.78/1303.53 c #Conflicts: 227000 | #Constraints: 51541
1299.78/1303.53 c #Conflicts: 228000 | #Constraints: 52541
1299.78/1303.53 c #Conflicts: 229000 | #Constraints: 53541
1299.78/1303.53 c #Conflicts: 230000 | #Constraints: 54541
1299.78/1303.53 c #Conflicts: 231000 | #Constraints: 55541
1299.78/1303.53 c INPROCESSING
1299.78/1303.53 c GARBAGE COLLECT
1299.78/1303.53 c #Conflicts: 232000 | #Constraints: 29322
1299.78/1303.53 c #Conflicts: 233000 | #Constraints: 30322
1299.78/1303.53 c #Conflicts: 234000 | #Constraints: 31322
1299.78/1303.53 c #Conflicts: 235000 | #Constraints: 32322
1299.78/1303.53 c #Conflicts: 236000 | #Constraints: 33322
1299.78/1303.53 c #Conflicts: 237000 | #Constraints: 34322
1299.78/1303.53 c #Conflicts: 238000 | #Constraints: 35322
1299.78/1303.53 c #Conflicts: 239000 | #Constraints: 36322
1299.78/1303.53 c #Conflicts: 240000 | #Constraints: 37322
1299.78/1303.53 c #Conflicts: 241000 | #Constraints: 38322
1299.78/1303.53 c INPROCESSING
1299.78/1303.53 c GARBAGE COLLECT
1299.78/1303.53 c #Conflicts: 242000 | #Constraints: 20513
1299.78/1303.53 c #Conflicts: 243000 | #Constraints: 21513
1299.78/1303.53 c #Conflicts: 244000 | #Constraints: 22513
1299.78/1303.53 c #Conflicts: 245000 | #Constraints: 23513
1299.78/1303.53 c #Conflicts: 246000 | #Constraints: 24513
1299.78/1303.53 c #Conflicts: 247000 | #Constraints: 25513
1299.78/1303.53 c #Conflicts: 248000 | #Constraints: 26513
1299.78/1303.53 c #Conflicts: 249000 | #Constraints: 27513
1299.78/1303.53 c #Conflicts: 250000 | #Constraints: 28513
1299.78/1303.53 c #Conflicts: 251000 | #Constraints: 29513
1299.78/1303.53 c #Conflicts: 252000 | #Constraints: 30513
1299.78/1303.53 c #Conflicts: 253000 | #Constraints: 31513
1299.78/1303.53 c #Conflicts: 254000 | #Constraints: 32513
1299.78/1303.53 c #Conflicts: 255000 | #Constraints: 33513
1299.78/1303.53 c #Conflicts: 256000 | #Constraints: 34513
1299.78/1303.53 c #Conflicts: 257000 | #Constraints: 35513
1299.78/1303.53 c #Conflicts: 258000 | #Constraints: 36513
1299.78/1303.53 c #Conflicts: 259000 | #Constraints: 37513
1299.78/1303.53 c #Conflicts: 260000 | #Constraints: 38513
1299.78/1303.53 c #Conflicts: 261000 | #Constraints: 39513
1299.78/1303.53 c #Conflicts: 262000 | #Constraints: 40513
1299.78/1303.53 c #Conflicts: 263000 | #Constraints: 41513
1299.78/1303.53 c #Conflicts: 264000 | #Constraints: 42513
1299.78/1303.53 c #Conflicts: 265000 | #Constraints: 43513
1299.78/1303.53 c #Conflicts: 266000 | #Constraints: 44513
1299.78/1303.53 c #Conflicts: 267000 | #Constraints: 45513
1299.78/1303.53 c #Conflicts: 268000 | #Constraints: 46513
1299.78/1303.53 c #Conflicts: 269000 | #Constraints: 47513
1299.78/1303.53 c #Conflicts: 270000 | #Constraints: 48513
1299.78/1303.53 c #Conflicts: 271000 | #Constraints: 49513
1299.78/1303.53 c #Conflicts: 272000 | #Constraints: 50513
1299.78/1303.53 c #Conflicts: 273000 | #Constraints: 51513
1299.78/1303.53 c #Conflicts: 274000 | #Constraints: 52513
1299.78/1303.53 c #Conflicts: 275000 | #Constraints: 53513
1299.78/1303.53 c #Conflicts: 276000 | #Constraints: 54513
1299.78/1303.53 c #Conflicts: 277000 | #Constraints: 55513
1299.78/1303.53 c #Conflicts: 278000 | #Constraints: 56513
1299.78/1303.53 c #Conflicts: 279000 | #Constraints: 57513
1299.78/1303.53 c #Conflicts: 280000 | #Constraints: 58513
1299.78/1303.53 c #Conflicts: 281000 | #Constraints: 59513
1299.78/1303.53 c #Conflicts: 282000 | #Constraints: 60513
1299.78/1303.53 c #Conflicts: 283000 | #Constraints: 61513
1299.78/1303.53 c INPROCESSING
1299.78/1303.53 c GARBAGE COLLECT
1299.78/1303.53 c #Conflicts: 284000 | #Constraints: 32059
1299.78/1303.53 c #Conflicts: 285000 | #Constraints: 33059
1299.78/1303.53 c #Conflicts: 286000 | #Constraints: 34059
1299.78/1303.53 c #Conflicts: 287000 | #Constraints: 35059
1299.78/1303.53 c #Conflicts: 288000 | #Constraints: 36059
1299.78/1303.53 c #Conflicts: 289000 | #Constraints: 37059
1299.78/1303.53 c #Conflicts: 290000 | #Constraints: 38059
2133.49/2139.62 c #Conflicts: 291000 | #Constraints: 39059
2133.49/2139.62 c #Conflicts: 292000 | #Constraints: 40059
2133.49/2139.62 c #Conflicts: 293000 | #Constraints: 41059
2133.49/2139.62 c #Conflicts: 294000 | #Constraints: 42059
2133.49/2139.62 c #Conflicts: 295000 | #Constraints: 43059
2133.49/2139.62 c INPROCESSING
2133.49/2139.62 c GARBAGE COLLECT
2133.49/2139.62 c #Conflicts: 296000 | #Constraints: 23951
2133.49/2139.62 c #Conflicts: 297000 | #Constraints: 24951
2133.49/2139.62 c #Conflicts: 298000 | #Constraints: 25951
2133.49/2139.62 c #Conflicts: 299000 | #Constraints: 26951
2133.49/2139.62 c #Conflicts: 300000 | #Constraints: 27951
2133.49/2139.62 c #Conflicts: 301000 | #Constraints: 28951
2133.49/2139.62 c #Conflicts: 302000 | #Constraints: 29951
2133.49/2139.62 c #Conflicts: 303000 | #Constraints: 30951
2133.49/2139.62 c #Conflicts: 304000 | #Constraints: 31951
2133.49/2139.62 c #Conflicts: 305000 | #Constraints: 32951
2133.49/2139.62 c #Conflicts: 306000 | #Constraints: 33951
2133.49/2139.62 c #Conflicts: 307000 | #Constraints: 34951
2133.49/2139.62 c #Conflicts: 308000 | #Constraints: 35951
2133.49/2139.62 c #Conflicts: 309000 | #Constraints: 36951
2133.49/2139.62 c #Conflicts: 310000 | #Constraints: 37951
2133.49/2139.62 c #Conflicts: 311000 | #Constraints: 38951
2133.49/2139.62 c #Conflicts: 312000 | #Constraints: 39951
2133.49/2139.62 c #Conflicts: 313000 | #Constraints: 40951
2133.49/2139.62 c #Conflicts: 314000 | #Constraints: 41951
2133.49/2139.62 c #Conflicts: 315000 | #Constraints: 42951
2133.49/2139.62 c #Conflicts: 316000 | #Constraints: 43951
2133.49/2139.62 c #Conflicts: 317000 | #Constraints: 44951
2133.49/2139.62 c #Conflicts: 318000 | #Constraints: 45951
2133.49/2139.62 c #Conflicts: 319000 | #Constraints: 46951
2133.49/2139.62 c #Conflicts: 320000 | #Constraints: 47951
2133.49/2139.62 c #Conflicts: 321000 | #Constraints: 48951
2133.49/2139.62 c #Conflicts: 322000 | #Constraints: 49951
2133.49/2139.62 c #Conflicts: 323000 | #Constraints: 50951
2133.49/2139.62 c #Conflicts: 324000 | #Constraints: 51951
2133.49/2139.62 c #Conflicts: 325000 | #Constraints: 52951
2133.49/2139.62 c #Conflicts: 326000 | #Constraints: 53951
2133.49/2139.62 c #Conflicts: 327000 | #Constraints: 54951
2133.49/2139.62 c #Conflicts: 328000 | #Constraints: 55951
2133.49/2139.62 c #Conflicts: 329000 | #Constraints: 56951
2133.49/2139.62 c #Conflicts: 330000 | #Constraints: 57951
2133.49/2139.62 c #Conflicts: 331000 | #Constraints: 58951
2133.49/2139.62 c #Conflicts: 332000 | #Constraints: 59951
2133.49/2139.62 c #Conflicts: 333000 | #Constraints: 60951
2133.49/2139.62 c #Conflicts: 334000 | #Constraints: 61951
2133.49/2139.62 c #Conflicts: 335000 | #Constraints: 62951
2133.49/2139.62 c #Conflicts: 336000 | #Constraints: 63951
2133.49/2139.62 c #Conflicts: 337000 | #Constraints: 64951
2133.49/2139.62 c #Conflicts: 338000 | #Constraints: 65951
2133.49/2139.62 c #Conflicts: 339000 | #Constraints: 66951
2133.49/2139.62 c #Conflicts: 340000 | #Constraints: 67951
2133.49/2139.62 c INPROCESSING
2133.49/2139.62 c GARBAGE COLLECT
2133.49/2139.62 c #Conflicts: 341000 | #Constraints: 35324
2133.49/2139.62 c #Conflicts: 342000 | #Constraints: 36324
2133.49/2139.62 c #Conflicts: 343000 | #Constraints: 37324
2133.49/2139.62 c #Conflicts: 344000 | #Constraints: 38324
2133.49/2139.62 c #Conflicts: 345000 | #Constraints: 39324
2133.49/2139.62 c #Conflicts: 346000 | #Constraints: 40324
2133.49/2139.62 c #Conflicts: 347000 | #Constraints: 41324
2133.49/2139.62 c #Conflicts: 348000 | #Constraints: 42324
2133.49/2139.62 c #Conflicts: 349000 | #Constraints: 43324
2133.49/2139.62 c #Conflicts: 350000 | #Constraints: 44324
2133.49/2139.62 c #Conflicts: 351000 | #Constraints: 45324
2133.49/2139.62 c #Conflicts: 352000 | #Constraints: 46324
2133.49/2139.62 c #Conflicts: 353000 | #Constraints: 47324
2133.49/2139.62 c INPROCESSING
2133.49/2139.62 c GARBAGE COLLECT
2133.49/2139.62 c #Conflicts: 354000 | #Constraints: 28794
2133.49/2139.62 c #Conflicts: 355000 | #Constraints: 29794
2133.49/2139.62 c #Conflicts: 356000 | #Constraints: 30794
2133.49/2139.62 c #Conflicts: 357000 | #Constraints: 31794
2133.49/2139.62 c #Conflicts: 358000 | #Constraints: 32794
2133.49/2139.62 c #Conflicts: 359000 | #Constraints: 33794
2133.49/2139.62 c #Conflicts: 360000 | #Constraints: 34794
2133.49/2139.62 c #Conflicts: 361000 | #Constraints: 35794
2133.49/2139.62 c #Conflicts: 362000 | #Constraints: 36794
2133.49/2139.62 c #Conflicts: 363000 | #Constraints: 37794
2133.49/2139.62 c #Conflicts: 364000 | #Constraints: 38794
2133.49/2139.62 c #Conflicts: 365000 | #Constraints: 39794
2133.49/2139.62 c #Conflicts: 366000 | #Constraints: 40794
2133.49/2139.62 c #Conflicts: 367000 | #Constraints: 41794
3234.65/3244.18 c #Conflicts: 368000 | #Constraints: 42794
3234.65/3244.18 c #Conflicts: 369000 | #Constraints: 43794
3234.65/3244.18 c #Conflicts: 370000 | #Constraints: 44794
3234.65/3244.18 c #Conflicts: 371000 | #Constraints: 45794
3234.65/3244.18 c #Conflicts: 372000 | #Constraints: 46794
3234.65/3244.18 c #Conflicts: 373000 | #Constraints: 47794
3234.65/3244.18 c #Conflicts: 374000 | #Constraints: 48794
3234.65/3244.18 c #Conflicts: 375000 | #Constraints: 49794
3234.65/3244.18 c #Conflicts: 376000 | #Constraints: 50794
3234.65/3244.18 c #Conflicts: 377000 | #Constraints: 51794
3234.65/3244.18 c #Conflicts: 378000 | #Constraints: 52794
3234.65/3244.18 c #Conflicts: 379000 | #Constraints: 53794
3234.65/3244.18 c #Conflicts: 380000 | #Constraints: 54794
3234.65/3244.18 c #Conflicts: 381000 | #Constraints: 55794
3234.65/3244.18 c #Conflicts: 382000 | #Constraints: 56794
3234.65/3244.18 c #Conflicts: 383000 | #Constraints: 57794
3234.65/3244.18 c #Conflicts: 384000 | #Constraints: 58794
3234.65/3244.18 c #Conflicts: 385000 | #Constraints: 59794
3234.65/3244.18 c #Conflicts: 386000 | #Constraints: 60794
3234.65/3244.18 c #Conflicts: 387000 | #Constraints: 61794
3234.65/3244.18 c #Conflicts: 388000 | #Constraints: 62794
3234.65/3244.18 c #Conflicts: 389000 | #Constraints: 63794
3234.65/3244.18 c #Conflicts: 390000 | #Constraints: 64794
3234.65/3244.18 c #Conflicts: 391000 | #Constraints: 65794
3234.65/3244.18 c #Conflicts: 392000 | #Constraints: 66794
3234.65/3244.18 c #Conflicts: 393000 | #Constraints: 67794
3234.65/3244.18 c #Conflicts: 394000 | #Constraints: 68794
3234.65/3244.18 c #Conflicts: 395000 | #Constraints: 69794
3234.65/3244.18 c #Conflicts: 396000 | #Constraints: 70794
3234.65/3244.18 c #Conflicts: 397000 | #Constraints: 71794
3234.65/3244.18 c #Conflicts: 398000 | #Constraints: 72794
3234.65/3244.18 c #Conflicts: 399000 | #Constraints: 73794
3234.65/3244.18 c #Conflicts: 400000 | #Constraints: 74794
3234.65/3244.18 c #Conflicts: 401000 | #Constraints: 75794
3234.65/3244.18 c INPROCESSING
3234.65/3244.18 c GARBAGE COLLECT
3234.65/3244.18 c #Conflicts: 402000 | #Constraints: 39097
3234.65/3244.18 c #Conflicts: 403000 | #Constraints: 40097
3234.65/3244.18 c #Conflicts: 404000 | #Constraints: 41097
3234.65/3244.18 c #Conflicts: 405000 | #Constraints: 42097
3234.65/3244.18 c #Conflicts: 406000 | #Constraints: 43097
3234.65/3244.18 c #Conflicts: 407000 | #Constraints: 44097
3234.65/3244.18 c #Conflicts: 408000 | #Constraints: 45097
3234.65/3244.18 c #Conflicts: 409000 | #Constraints: 46097
3234.65/3244.18 c #Conflicts: 410000 | #Constraints: 47097
3234.65/3244.18 c #Conflicts: 411000 | #Constraints: 48097
3234.65/3244.18 c #Conflicts: 412000 | #Constraints: 49097
3234.65/3244.18 c #Conflicts: 413000 | #Constraints: 50097
3234.65/3244.18 c #Conflicts: 414000 | #Constraints: 51097
3234.65/3244.18 c #Conflicts: 415000 | #Constraints: 52097
3234.65/3244.18 c #Conflicts: 416000 | #Constraints: 53097
3234.65/3244.18 c INPROCESSING
3234.65/3244.18 c GARBAGE COLLECT
3234.65/3244.18 c #Conflicts: 417000 | #Constraints: 34026
3234.65/3244.18 c #Conflicts: 418000 | #Constraints: 35026
3234.65/3244.18 c #Conflicts: 419000 | #Constraints: 36026
3234.65/3244.18 c #Conflicts: 420000 | #Constraints: 37026
3234.65/3244.18 c #Conflicts: 421000 | #Constraints: 38026
3234.65/3244.18 c #Conflicts: 422000 | #Constraints: 39026
3234.65/3244.18 c #Conflicts: 423000 | #Constraints: 40026
3234.65/3244.18 c #Conflicts: 424000 | #Constraints: 41026
3234.65/3244.18 c #Conflicts: 425000 | #Constraints: 42026
3234.65/3244.18 c #Conflicts: 426000 | #Constraints: 43026
3234.65/3244.18 c #Conflicts: 427000 | #Constraints: 44026
3234.65/3244.18 c #Conflicts: 428000 | #Constraints: 45026
3234.65/3244.18 c #Conflicts: 429000 | #Constraints: 46026
3234.65/3244.18 c #Conflicts: 430000 | #Constraints: 47026
3234.65/3244.18 c #Conflicts: 431000 | #Constraints: 48026
3234.65/3244.18 c #Conflicts: 432000 | #Constraints: 49026
3234.65/3244.18 c #Conflicts: 433000 | #Constraints: 50026
3234.65/3244.18 c #Conflicts: 434000 | #Constraints: 51026
3234.65/3244.18 c #Conflicts: 435000 | #Constraints: 52026
3234.65/3244.18 c #Conflicts: 436000 | #Constraints: 53026
3234.65/3244.18 c #Conflicts: 437000 | #Constraints: 54026
3234.65/3244.18 c #Conflicts: 438000 | #Constraints: 55026
3234.65/3244.18 c #Conflicts: 439000 | #Constraints: 56026
3234.65/3244.18 c #Conflicts: 440000 | #Constraints: 57026
3234.65/3244.18 c #Conflicts: 441000 | #Constraints: 58026
3234.65/3244.18 c #Conflicts: 442000 | #Constraints: 59026
3234.65/3244.18 c #Conflicts: 443000 | #Constraints: 60026
3234.65/3244.18 c #Conflicts: 444000 | #Constraints: 61026
3600.06/3610.70 c #Conflicts: 445000 | #Constraints: 62026
3600.06/3610.70 c #Conflicts: 446000 | #Constraints: 63026
3600.06/3610.70 c #Conflicts: 447000 | #Constraints: 64026
3600.06/3610.70 c #Conflicts: 448000 | #Constraints: 65026
3600.06/3610.70 c #Conflicts: 449000 | #Constraints: 66026
3600.06/3610.70 c #Conflicts: 450000 | #Constraints: 67026
3600.06/3610.70 c #Conflicts: 451000 | #Constraints: 68026
3600.06/3610.70 c #Conflicts: 452000 | #Constraints: 69026
3600.06/3610.70 c #Conflicts: 453000 | #Constraints: 70026
3600.06/3610.70 c #Conflicts: 454000 | #Constraints: 71026
3600.06/3610.70 c #Conflicts: 455000 | #Constraints: 72026
3600.06/3610.70 c #Conflicts: 456000 | #Constraints: 73026
3600.06/3610.70 c #Conflicts: 457000 | #Constraints: 74026
3600.06/3610.70 c #Conflicts: 458000 | #Constraints: 75026
3600.06/3610.70 c #Conflicts: 459000 | #Constraints: 76026
3600.06/3610.70 c #Conflicts: 460000 | #Constraints: 77026
3600.06/3610.70 c #Conflicts: 461000 | #Constraints: 78026
3600.06/3610.70 c #Conflicts: 462000 | #Constraints: 79026
3600.06/3610.70 c Program interrupted by user.
3600.06/3610.70 c cpu time 3591.17 s
3600.06/3610.70 c deterministic time 284336149036 2.84e+11
3600.06/3610.70 c optimization time 772.684 s
3600.06/3610.70 c total solve time 2818.48 s
3600.06/3610.70 c core-guided solve time 2818.48 s
3600.06/3610.70 c propagation time 3239.62 s
3600.06/3610.70 c conflict analysis time 335.92 s
3600.06/3610.70 c propagations 68564724
3600.06/3610.70 c resolve steps 5264010
3600.06/3610.70 c decisions 6892920
3600.06/3610.70 c conflicts 462268
3600.06/3610.70 c restarts 1022
3600.06/3610.70 c inprocessing phases 40
3600.06/3610.70 c input clauses 214
3600.06/3610.70 c input cardinalities 411
3600.06/3610.70 c input general constraints 649
3600.06/3610.70 c input average constraint length 43.81
3600.06/3610.70 c input average constraint degree 21.32
3600.06/3610.70 c learned clauses 92891
3600.06/3610.70 c learned cardinalities 1641
3600.06/3610.70 c learned general constraints 367754
3600.06/3610.70 c learned average constraint length 135.10
3600.06/3610.70 c learned average constraint degree 2750284.44
3600.06/3610.70 c watched constraints 305639
3600.06/3610.70 c counting constraints 62764
3600.06/3610.70 c gcd simplifications 32108
3600.06/3610.70 c detected cardinalities 1366
3600.06/3610.70 c weakened non-implied lits 6139927
3600.06/3610.70 c weakened non-implying lits 17887
3600.06/3610.70 c original variables 470
3600.06/3610.70 c clausal propagations 14956537
3600.06/3610.70 c cardinality propagations 934898
3600.06/3610.70 c watched propagations 11730403
3600.06/3610.70 c counting propagations 40548067
3600.06/3610.70 c watch lookups 69792863182
3600.06/3610.70 c watch backjump lookups 66903943258
3600.06/3610.70 c watch checks 133516278884
3600.06/3610.70 c propagation checks 13730446397
3600.06/3610.70 c constraint additions 241239955
3600.06/3610.70 c trail pops 75919715
3600.06/3610.70 c formula constraints 470
3600.06/3610.70 c learned constraints 462286
3600.06/3610.70 c bound constraints 99
3600.06/3610.70 c core-guided constraints 705
3600.06/3610.70 c encountered formula constraints 798511
3600.06/3610.70 c encountered learned constraints 3986318
3600.06/3610.70 c encountered bound constraints 118
3600.06/3610.70 c encountered core-guided constraints 941331
3600.06/3610.70 c LP total time 0 s
3600.06/3610.70 c LP solve time 0 s
3600.06/3610.70 c LP constraints added 0
3600.06/3610.70 c LP constraints removed 0
3600.06/3610.70 c LP pivots internal 0
3600.06/3610.70 c LP pivots root 0
3600.06/3610.70 c LP calls 0
3600.06/3610.70 c LP optimalities 0
3600.06/3610.70 c LP no pivot count 0
3600.06/3610.70 c LP infeasibilities 0
3600.06/3610.70 c LP valid Farkas constraints 0
3600.06/3610.70 c LP learned Farkas constraints 0
3600.06/3610.70 c LP basis resets 0
3600.06/3610.70 c LP cycling count 0
3600.06/3610.70 c LP singular count 0
3600.06/3610.70 c LP no primal count 0
3600.06/3610.70 c LP no farkas count 0
3600.06/3610.70 c LP other issue count 0
3600.06/3610.70 c LP Gomory cuts 0
3600.06/3610.70 c LP learned cuts 0
3600.06/3610.70 c LP deleted cuts 0
3600.06/3610.70 c LP encountered Gomory constraints 0
3600.06/3610.70 c LP encountered Farkas constraints 0
3600.06/3610.70 c LP encountered learned Farkas constraints 0
3600.06/3610.70 c CG auxiliary variables introduced 300
3600.06/3610.70 c CG solutions found 3
3600.06/3610.70 c CG cores constructed 90
3600.06/3610.70 c CG core cardinality constraints returned 0
3600.06/3610.70 c CG unit cores 0
3600.06/3610.70 c CG single cores 90
3600.06/3610.70 c CG blocks removed during cardinality reduction 0
3600.06/3610.70 c CG first core best 0
3600.06/3610.70 c CG decision core best 0
3600.06/3610.70 c CG core reduction tie 0
3600.06/3610.70 c CG core degree average 1.00
3600.06/3610.70 c CG core slack average 5.90
3600.06/3610.70 c CG exhausted 0
3600.06/3610.70 c CG exhaust time 44.1885 s
3600.06/3610.70 c CG trimmed 11
3600.06/3610.70 c CG trim time 0.018705 s
3600.06/3610.70 c CG minimized 0
3600.06/3610.70 c CG minimize time 0 s
3600.06/3610.70 c CG am1 prop time 0.029775 s
3600.06/3610.70 c CG # am1s reformulated 54
3600.06/3610.70 c CG lower bound derived from am1s 54
3600.06/3610.70 c CG # clausal cores 31
3600.06/3610.70 c CG # cardinality cores 0
3600.06/3610.70 c CG # pb cores 59
3600.06/3610.70 c CG # pb reforms 0
3600.06/3610.70 c CG # cores discarded because of pb reform 0
3600.06/3610.70 d LOWERBOUND 144
3600.06/3610.70 d NCORES 90
3600.06/3610.70 d NPBCORES 59
3600.06/3610.70 d NPBREFORM 0
3600.06/3610.70 d NTRIMMED 11
3600.06/3610.70 d NEXHAUSTED 0
3600.06/3610.70 d NAM1S 54
3600.06/3610.70 d AM1LB 54
3600.06/3610.70 o 214
3600.06/3610.70 s SATISFIABLE
3600.06/3610.70 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: 63665 MiB (61593 MiB free)
memory of node 1: 64507 MiB (60781 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489226-1751346144/watcher-4489226-1751346144 -o /tmp/evaluation-result-4489226-1751346144/solver-4489226-1751346144 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751338915-50528 --watchdog 3760 pb-oll-rs HOME/instance-4489226-1751346144.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=51853, runsolver pid=51850
Current StackSize limit: 8192 KiB
[startup+0.100067 s]*
/proc/loadavg: 4.08 4.13 4.10 5/263 51854
/proc/meminfo: memFree=125311460/131249996 swapFree=33010684/33010684
[pid=51853] ppid=51850 vsize=22272 memory=10316 CPUtime=0.09 cores=5,7
/proc/51853/stat : 51853 (pb-oll-rs) R 51850 51853 50515 0 -1 4194304 928 0 0 0 7 2 0 0 20 0 1 0 50292190 22806528 2579 18446744073709551615 4218880 5211445 140725555096336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 37470208 140725555104156 140725555104233 140725555104233 140725555109835 0
/proc/51853/statm: 5568 2579 1344 243 0 1817 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 22272 KiB
Current children cumulated memory: 10316 KiB
[startup+0.205704 s]*
/proc/loadavg: 4.08 4.13 4.10 5/263 51854
/proc/meminfo: memFree=125310452/131249996 swapFree=33010684/33010684
[pid=51853] ppid=51850 vsize=24040 memory=14172 CPUtime=0.19 cores=5,7
/proc/51853/stat : 51853 (pb-oll-rs) R 51850 51853 50515 0 -1 4194304 1355 0 0 0 17 2 0 0 20 0 1 0 50292190 24616960 3543 18446744073709551615 4218880 5211445 140725555096336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 37470208 140725555104156 140725555104233 140725555104233 140725555109835 0
/proc/51853/statm: 6010 3543 1344 243 0 2259 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 24040 KiB
Current children cumulated memory: 14172 KiB
[startup+0.305612 s]*
/proc/loadavg: 4.08 4.13 4.10 5/263 51854
/proc/meminfo: memFree=125308436/131249996 swapFree=33010684/33010684
[pid=51853] ppid=51850 vsize=24888 memory=14812 CPUtime=0.29 cores=5,7
/proc/51853/stat : 51853 (pb-oll-rs) R 51850 51853 50515 0 -1 4194304 1529 0 0 0 27 2 0 0 20 0 1 0 50292190 25485312 3703 18446744073709551615 4218880 5211445 140725555096336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 37470208 140725555104156 140725555104233 140725555104233 140725555109835 0
/proc/51853/statm: 6222 3703 1344 243 0 2471 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 24888 KiB
Current children cumulated memory: 14812 KiB
[startup+0.700188 s]
/proc/loadavg: 4.08 4.13 4.10 5/263 51854
/proc/meminfo: memFree=125306924/131249996 swapFree=33010684/33010684
[pid=51853] ppid=51850 vsize=29164 memory=17116 CPUtime=0.68 cores=5,7
/proc/51853/stat : 51853 (pb-oll-rs) R 51850 51853 50515 0 -1 4194304 2120 0 0 0 65 3 0 0 20 0 1 0 50292190 29863936 4279 18446744073709551615 4218880 5211445 140725555096336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 37470208 140725555104156 140725555104233 140725555104233 140725555109835 0
/proc/51853/statm: 7291 4279 1344 243 0 3540 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 29164 KiB
Current children cumulated memory: 17116 KiB
[startup+1.50018 s]
/proc/loadavg: 4.08 4.13 4.10 5/263 51854
/proc/meminfo: memFree=125300876/131249996 swapFree=33010684/33010684
[pid=51853] ppid=51850 vsize=36608 memory=22492 CPUtime=1.47 cores=5,7
/proc/51853/stat : 51853 (pb-oll-rs) R 51850 51853 50515 0 -1 4194304 3448 0 0 0 142 5 0 0 20 0 1 0 50292190 37486592 5623 18446744073709551615 4218880 5211445 140725555096336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 37470208 140725555104156 140725555104233 140725555104233 140725555109835 0
/proc/51853/statm: 9152 5623 1344 243 0 5401 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 36608 KiB
Current children cumulated memory: 22492 KiB
[startup+3.10555 s]
/proc/loadavg: 4.08 4.13 4.10 5/263 51854
/proc/meminfo: memFree=125289148/131249996 swapFree=33010684/33010684
[pid=51853] ppid=51850 vsize=42496 memory=31096 CPUtime=3.08 cores=5,7
/proc/51853/stat : 51853 (pb-oll-rs) R 51850 51853 50515 0 -1 4194304 5096 0 0 0 299 9 0 0 20 0 1 0 50292190 43515904 7774 18446744073709551615 4218880 5211445 140725555096336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 37470208 140725555104156 140725555104233 140725555104233 140725555109835 0
/proc/51853/statm: 10624 7774 1344 243 0 6873 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 42496 KiB
Current children cumulated memory: 31096 KiB
[startup+6.30017 s]
/proc/loadavg: 4.07 4.12 4.10 5/263 51854
/proc/meminfo: memFree=125287888/131249996 swapFree=33010684/33010684
[pid=51853] ppid=51850 vsize=51504 memory=36404 CPUtime=6.27 cores=5,7
/proc/51853/stat : 51853 (pb-oll-rs) R 51850 51853 50515 0 -1 4194304 5916 0 0 0 611 16 0 0 20 0 1 0 50292190 52740096 9101 18446744073709551615 4218880 5211445 140725555096336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 37470208 140725555104156 140725555104233 140725555104233 140725555109835 0
/proc/51853/statm: 12876 9101 1344 243 0 9125 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 51504 KiB
Current children cumulated memory: 36404 KiB
[startup+12.7002 s]
/proc/loadavg: 4.07 4.12 4.10 5/263 51854
/proc/meminfo: memFree=125270092/131249996 swapFree=33010684/33010684
[pid=51853] ppid=51850 vsize=59344 memory=44136 CPUtime=12.65 cores=5,7
/proc/51853/stat : 51853 (pb-oll-rs) R 51850 51853 50515 0 -1 4194304 7320 0 0 0 1238 27 0 0 20 0 1 0 50292190 60768256 11034 18446744073709551615 4218880 5211445 140725555096336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 37470208 140725555104156 140725555104233 140725555104233 140725555109835 0
/proc/51853/statm: 14836 11034 1344 243 0 11085 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 59344 KiB
Current children cumulated memory: 44136 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 4.13 4.10 5/264 51902
/proc/meminfo: memFree=125905632/131249996 swapFree=33010684/33010684
[pid=51853] ppid=51850 vsize=75820 memory=51176 CPUtime=25.4 cores=5,7
/proc/51853/stat : 51853 (pb-oll-rs) R 51850 51853 50515 0 -1 4194304 9110 0 0 0 2497 43 0 0 20 0 1 0 50292190 77639680 12794 18446744073709551615 4218880 5211445 140725555096336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 37470208 140725555104156 140725555104233 140725555104233 140725555109835 0
/proc/51853/statm: 18955 12794 1344 243 0 15204 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 75820 KiB
Current children cumulated memory: 51176 KiB
[startup+51.1056 s]
/proc/loadavg: 4.08 4.12 4.09 5/263 51903
/proc/meminfo: memFree=125883084/131249996 swapFree=33010684/33010684
[pid=51853] ppid=51850 vsize=81072 memory=60936 CPUtime=50.93 cores=5,7
/proc/51853/stat : 51853 (pb-oll-rs) R 51850 51853 50515 0 -1 4194304 10510 0 0 0 5022 71 0 0 20 0 1 0 50292190 83017728 15234 18446744073709551615 4218880 5211445 140725555096336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 37470208 140725555104156 140725555104233 140725555104233 140725555109835 0
/proc/51853/statm: 20268 15234 1344 243 0 16517 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 81072 KiB
Current children cumulated memory: 60936 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/263 51905
/proc/meminfo: memFree=125873984/131249996 swapFree=33010684/33010684
[pid=51853] ppid=51850 vsize=86100 memory=65160 CPUtime=101.99 cores=5,7
/proc/51853/stat : 51853 (pb-oll-rs) R 51850 51853 50515 0 -1 4194304 11595 0 0 0 10070 129 0 0 20 0 1 0 50292190 88166400 16290 18446744073709551615 4218880 5211445 140725555096336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 37470208 140725555104156 140725555104233 140725555104233 140725555109835 0
/proc/51853/statm: 21525 16290 1344 243 0 17774 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 86100 KiB
Current children cumulated memory: 65160 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/263 51952
/proc/meminfo: memFree=126602732/131249996 swapFree=33010684/33010684
[pid=51853] ppid=51850 vsize=87540 memory=66440 CPUtime=161.81 cores=5,7
/proc/51853/stat : 51853 (pb-oll-rs) R 51850 51853 50515 0 -1 4194304 11962 0 0 0 15994 187 0 0 20 0 1 0 50292190 89640960 16610 18446744073709551615 4218880 5211445 140725555096336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 37470208 140725555104156 140725555104233 140725555104233 140725555109835 0
/proc/51853/statm: 21885 16610 1344 243 0 18134 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 87540 KiB
Current children cumulated memory: 66440 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/265 52004
/proc/meminfo: memFree=126666524/131249996 swapFree=33010684/33010684
[pid=51853] ppid=51850 vsize=92908 memory=73736 CPUtime=221.61 cores=5,7
/proc/51853/stat : 51853 (pb-oll-rs) R 51850 51853 50515 0 -1 4194304 13090 0 0 0 21918 243 0 0 20 0 1 0 50292190 95137792 18434 18446744073709551615 4218880 5211445 140725555096336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 37470208 140725555104156 140725555104233 140725555104233 140725555109835 0
/proc/51853/statm: 23227 18434 1344 243 0 19476 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 92908 KiB
Current children cumulated memory: 73736 KiB
[startup+282.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/265 52006
/proc/meminfo: memFree=126624720/131249996 swapFree=33010684/33010684
[pid=51853] ppid=51850 vsize=100468 memory=82952 CPUtime=281.43 cores=5,7
/proc/51853/stat : 51853 (pb-oll-rs) R 51850 51853 50515 0 -1 4194304 14426 0 0 0 27878 265 0 0 20 0 1 0 50292190 102879232 20738 18446744073709551615 4218880 5211445 140725555096336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 37470208 140725555104156 140725555104233 140725555104233 140725555109835 0
/proc/51853/statm: 25117 20738 1344 243 0 21366 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 100468 KiB
Current children cumulated memory: 82952 KiB
[startup+342.3 s]
/proc/loadavg: 4.21 4.14 4.10 5/265 52007
/proc/meminfo: memFree=126566428/131249996 swapFree=33010684/33010684
[pid=51853] ppid=51850 vsize=107760 memory=91440 CPUtime=341.26 cores=5,7
/proc/51853/stat : 51853 (pb-oll-rs) R 51850 51853 50515 0 -1 4194304 16771 0 0 0 33845 281 0 0 20 0 1 0 50292190 110346240 22860 18446744073709551615 4218880 5211445 140725555096336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 37470208 140725555104156 140725555104233 140725555104233 140725555109835 0
/proc/51853/statm: 26940 22860 1344 243 0 23189 0
Current children cumulated CPU time: 341.26 s
Current children cumulated vsize: 107760 KiB
Current children cumulated memory: 91440 KiB
[startup+402.3 s]
/proc/loadavg: 4.22 4.17 4.11 5/265 52009
/proc/meminfo: memFree=126500212/131249996 swapFree=33010684/33010684
[pid=51853] ppid=51850 vsize=127992 memory=95876 CPUtime=401.1 cores=5,7
/proc/51853/stat : 51853 (pb-oll-rs) R 51850 51853 50515 0 -1 4194304 17589 0 0 0 39805 305 0 0 20 0 1 0 50292190 131063808 23969 18446744073709551615 4218880 5211445 140725555096336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 37470208 140725555104156 140725555104233 140725555104233 140725555109835 0
/proc/51853/statm: 31998 23969 1344 243 0 28247 0
Current children cumulated CPU time: 401.1 s
Current children cumulated vsize: 127992 KiB
Current children cumulated memory: 95876 KiB
[startup+462.3 s]
/proc/loadavg: 4.18 4.17 4.11 5/265 52011
/proc/meminfo: memFree=126532804/131249996 swapFree=33010684/33010684
[pid=51853] ppid=51850 vsize=128360 memory=96004 CPUtime=460.94 cores=5,7
/proc/51853/stat : 51853 (pb-oll-rs) R 51850 51853 50515 0 -1 4194304 17651 0 0 0 45759 335 0 0 20 0 1 0 50292190 131440640 24001 18446744073709551615 4218880 5211445 140725555096336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 37470208 140725555104156 140725555104233 140725555104233 140725555109835 0
/proc/51853/statm: 32090 24001 1344 243 0 28339 0
Current children cumulated CPU time: 460.94 s
################
# More data... #
################
Current children cumulated memory: 145920 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 52129
/proc/meminfo: memFree=126381376/131249996 swapFree=33010684/33010684
[pid=51853] ppid=51850 vsize=186040 memory=146304 CPUtime=2913.86 cores=5,7
/proc/51853/stat : 51853 (pb-oll-rs) R 51850 51853 50515 0 -1 4194304 25382 0 0 0 290599 787 0 0 20 0 1 0 50292190 190504960 36576 18446744073709551615 4218880 5211445 140725555096336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 37470208 140725555104156 140725555104233 140725555104233 140725555109835 0
/proc/51853/statm: 46510 36576 1344 243 0 42759 0
Current children cumulated CPU time: 2913.86 s
Current children cumulated vsize: 186040 KiB
Current children cumulated memory: 146304 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 52131
/proc/meminfo: memFree=126378756/131249996 swapFree=33010684/33010684
[pid=51853] ppid=51850 vsize=186040 memory=146304 CPUtime=2973.67 cores=5,7
/proc/51853/stat : 51853 (pb-oll-rs) R 51850 51853 50515 0 -1 4194304 25384 0 0 0 296571 796 0 0 20 0 1 0 50292190 190504960 36576 18446744073709551615 4218880 5211445 140725555096336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 37470208 140725555104156 140725555104233 140725555104233 140725555109835 0
/proc/51853/statm: 46510 36576 1344 243 0 42759 0
Current children cumulated CPU time: 2973.67 s
Current children cumulated vsize: 186040 KiB
Current children cumulated memory: 146304 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 52135
/proc/meminfo: memFree=126368456/131249996 swapFree=33010684/33010684
[pid=51853] ppid=51850 vsize=186040 memory=147200 CPUtime=3033.49 cores=5,7
/proc/51853/stat : 51853 (pb-oll-rs) R 51850 51853 50515 0 -1 4194304 25387 0 0 0 302541 808 0 0 20 0 1 0 50292190 190504960 36800 18446744073709551615 4218880 5211445 140725555096336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 37470208 140725555104156 140725555104233 140725555104233 140725555109835 0
/proc/51853/statm: 46510 36800 1344 243 0 42759 0
Current children cumulated CPU time: 3033.49 s
Current children cumulated vsize: 186040 KiB
Current children cumulated memory: 147200 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/262 52137
/proc/meminfo: memFree=126357112/131249996 swapFree=33010684/33010684
[pid=51853] ppid=51850 vsize=186040 memory=148864 CPUtime=3093.3 cores=5,7
/proc/51853/stat : 51853 (pb-oll-rs) R 51850 51853 50515 0 -1 4194304 25389 0 0 0 308509 821 0 0 20 0 1 0 50292190 190504960 37216 18446744073709551615 4218880 5211445 140725555096336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 37470208 140725555104156 140725555104233 140725555104233 140725555109835 0
/proc/51853/statm: 46510 37216 1344 243 0 42759 0
Current children cumulated CPU time: 3093.3 s
Current children cumulated vsize: 186040 KiB
Current children cumulated memory: 148864 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/262 52139
/proc/meminfo: memFree=126349608/131249996 swapFree=33010684/33010684
[pid=51853] ppid=51850 vsize=186040 memory=148864 CPUtime=3153.1 cores=5,7
/proc/51853/stat : 51853 (pb-oll-rs) R 51850 51853 50515 0 -1 4194304 25390 0 0 0 314480 830 0 0 20 0 1 0 50292190 190504960 37216 18446744073709551615 4218880 5211445 140725555096336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 37470208 140725555104156 140725555104233 140725555104233 140725555109835 0
/proc/51853/statm: 46510 37216 1344 243 0 42759 0
Current children cumulated CPU time: 3153.1 s
Current children cumulated vsize: 186040 KiB
Current children cumulated memory: 148864 KiB
[startup+3222.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 52147
/proc/meminfo: memFree=126351276/131249996 swapFree=33010684/33010684
[pid=51853] ppid=51850 vsize=186040 memory=148864 CPUtime=3212.91 cores=5,7
/proc/51853/stat : 51853 (pb-oll-rs) R 51850 51853 50515 0 -1 4194304 25392 0 0 0 320452 839 0 0 20 0 1 0 50292190 190504960 37216 18446744073709551615 4218880 5211445 140725555096336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 37470208 140725555104156 140725555104233 140725555104233 140725555109835 0
/proc/51853/statm: 46510 37216 1344 243 0 42759 0
Current children cumulated CPU time: 3212.91 s
Current children cumulated vsize: 186040 KiB
Current children cumulated memory: 148864 KiB
[startup+3282.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 52149
/proc/meminfo: memFree=126348928/131249996 swapFree=33010684/33010684
[pid=51853] ppid=51850 vsize=186040 memory=148864 CPUtime=3272.72 cores=5,7
/proc/51853/stat : 51853 (pb-oll-rs) R 51850 51853 50515 0 -1 4194304 25393 0 0 0 326424 848 0 0 20 0 1 0 50292190 190504960 37216 18446744073709551615 4218880 5211445 140725555096336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 37470208 140725555104156 140725555104233 140725555104233 140725555109835 0
/proc/51853/statm: 46510 37216 1344 243 0 42759 0
Current children cumulated CPU time: 3272.72 s
Current children cumulated vsize: 186040 KiB
Current children cumulated memory: 148864 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/264 52151
/proc/meminfo: memFree=126332600/131249996 swapFree=33010684/33010684
[pid=51853] ppid=51850 vsize=186040 memory=148864 CPUtime=3332.53 cores=5,7
/proc/51853/stat : 51853 (pb-oll-rs) R 51850 51853 50515 0 -1 4194304 25395 0 0 0 332398 855 0 0 20 0 1 0 50292190 190504960 37216 18446744073709551615 4218880 5211445 140725555096336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 37470208 140725555104156 140725555104233 140725555104233 140725555109835 0
/proc/51853/statm: 46510 37216 1344 243 0 42759 0
Current children cumulated CPU time: 3332.53 s
Current children cumulated vsize: 186040 KiB
Current children cumulated memory: 148864 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 52153
/proc/meminfo: memFree=126321292/131249996 swapFree=33010684/33010684
[pid=51853] ppid=51850 vsize=186040 memory=148864 CPUtime=3392.34 cores=5,7
/proc/51853/stat : 51853 (pb-oll-rs) R 51850 51853 50515 0 -1 4194304 25397 0 0 0 338370 864 0 0 20 0 1 0 50292190 190504960 37216 18446744073709551615 4218880 5211445 140725555096336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 37470208 140725555104156 140725555104233 140725555104233 140725555109835 0
/proc/51853/statm: 46510 37216 1344 243 0 42759 0
Current children cumulated CPU time: 3392.34 s
Current children cumulated vsize: 186040 KiB
Current children cumulated memory: 148864 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/264 52155
/proc/meminfo: memFree=126313824/131249996 swapFree=33010684/33010684
[pid=51853] ppid=51850 vsize=186040 memory=148992 CPUtime=3452.15 cores=5,7
/proc/51853/stat : 51853 (pb-oll-rs) R 51850 51853 50515 0 -1 4194304 25400 0 0 0 344343 872 0 0 20 0 1 0 50292190 190504960 37248 18446744073709551615 4218880 5211445 140725555096336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 37470208 140725555104156 140725555104233 140725555104233 140725555109835 0
/proc/51853/statm: 46510 37248 1344 243 0 42759 0
Current children cumulated CPU time: 3452.15 s
Current children cumulated vsize: 186040 KiB
Current children cumulated memory: 148992 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 52170
/proc/meminfo: memFree=126313076/131249996 swapFree=33010684/33010684
[pid=51853] ppid=51850 vsize=187072 memory=149504 CPUtime=3511.95 cores=5,7
/proc/51853/stat : 51853 (pb-oll-rs) R 51850 51853 50515 0 -1 4194304 25544 0 0 0 350317 878 0 0 20 0 1 0 50292190 191561728 37376 18446744073709551615 4218880 5211445 140725555096336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 37470208 140725555104156 140725555104233 140725555104233 140725555109835 0
/proc/51853/statm: 46768 37376 1344 243 0 43017 0
Current children cumulated CPU time: 3511.95 s
Current children cumulated vsize: 187072 KiB
Current children cumulated memory: 149504 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 52172
/proc/meminfo: memFree=126329128/131249996 swapFree=33010684/33010684
[pid=51853] ppid=51850 vsize=187588 memory=150016 CPUtime=3571.76 cores=5,7
/proc/51853/stat : 51853 (pb-oll-rs) R 51850 51853 50515 0 -1 4194304 25666 0 0 0 356290 886 0 0 20 0 1 0 50292190 192090112 37504 18446744073709551615 4218880 5211445 140725555096336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 37470208 140725555104156 140725555104233 140725555104233 140725555109835 0
/proc/51853/statm: 46897 37504 1344 243 0 43146 0
Current children cumulated CPU time: 3571.76 s
Current children cumulated vsize: 187588 KiB
Current children cumulated memory: 150016 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.7 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 52173
/proc/meminfo: memFree=126327632/131249996 swapFree=33010684/33010684
[pid=51853] ppid=51850 vsize=190168 memory=153444 CPUtime=3600.06 cores=5,7
/proc/51853/stat : 51853 (pb-oll-rs) R 51850 51853 50515 0 -1 4194304 26016 0 0 0 359116 890 0 0 20 0 1 0 50292190 194732032 38361 18446744073709551615 4218880 5211445 140725555096336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 37470208 140725555104156 140725555104233 140725555104233 140725555109835 0
/proc/51853/statm: 47542 38361 1344 243 0 43791 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 190168 KiB
Current children cumulated memory: 153444 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.7 s]
# the end of solver process 51853 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.17 s, system=8.90996 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.7 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 52173
/proc/meminfo: memFree=126327632/131249996 swapFree=33010684/33010684
[pid=51853] ppid=51850 vsize=190168 memory=153444 CPUtime=3600.06 cores=5,7
/proc/51853/stat : 51853 (pb-oll-rs) R 51850 51853 50515 0 -1 4194304 26016 0 0 0 359116 890 0 0 20 0 1 0 50292190 194732032 38361 18446744073709551615 4218880 5211445 140725555096336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 37470208 140725555104156 140725555104233 140725555104233 140725555109835 0
/proc/51853/statm: 47542 38361 1344 243 0 43791 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 190168 KiB
Current children cumulated memory: 153444 KiB
Child status: 0
Real time (s): 3610.7
CPU time (s): 3600.08
CPU user time (s): 3591.17
CPU system time (s): 8.90996
CPU usage (%): 99.7057
Max. virtual memory (cumulated for all children) (KiB): 190168
Max. memory (cumulated for all children) (KiB): 153444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.17
system time used= 8.90996
maximum resident set size= 153700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26030
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= 136
involuntary context switches= 19429
# summary of solver processes directly reported to runsolver:
# pid: 51853
# total CPU time (s): 3600.08
# total CPU user time (s): 3591.17
# total CPU system time (s): 8.90996
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.64992 second user time and 16.1449 second system time
The end
Begin job on nodeC017 at 2025-07-01 07:02:24
IDJOB=4489226
IDBENCH=147543
IDSOLVER=3345
FILE ID=nodeC017/4489226-1751346144
RUNJOBID= nodeC017-1751338915-50528
SLURM_JOB_ID= 9594401
Free space on /tmp= 433012 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
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 -w /tmp/evaluation-result-4489226-1751346144/watcher-4489226-1751346144 -o /tmp/evaluation-result-4489226-1751346144/solver-4489226-1751346144 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751338915-50528 --watchdog 3760 pb-oll-rs HOME/instance-4489226-1751346144.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 79a11fcf881101c51e0b67ee01609c80
RANDOM SEED=1312783235
nodeC017 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.035
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.061
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3644.635
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.199
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.559
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.191
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.022
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3604.505
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 125312296 kB
MemAvailable: 128169896 kB
Buffers: 2380 kB
Cached: 3628160 kB
SwapCached: 0 kB
Active: 1983316 kB
Inactive: 3322500 kB
Active(anon): 1693344 kB
Inactive(anon): 12 kB
Active(file): 289972 kB
Inactive(file): 3322488 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 1620 kB
Writeback: 0 kB
AnonPages: 1672584 kB
Mapped: 107096 kB
Shmem: 18080 kB
KReclaimable: 168360 kB
Slab: 257348 kB
SReclaimable: 168360 kB
SUnreclaim: 88988 kB
KernelStack: 4256 kB
PageTables: 6328 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 2141192 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1533952 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 176852 kB
DirectMap2M: 6934528 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 433008 MiB
End job on nodeC017 at 2025-07-01 08:02:35