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.00 c [STEP] solving
0.00/0.00 c #variables 470 #constraints 470
0.00/0.00 c SMALL=int, LARGE=long long
0.00/0.00 c bounds - >= 0 @ 0.001688
0.00/0.00 c stratification level: 0
0.00/0.01 c bounds - >= 55 @ 0.003265
0.00/0.01 c bounds - >= 56 @ 0.003476
0.00/0.01 c bounds - >= 57 @ 0.003567
0.00/0.01 c bounds - >= 58 @ 0.003655
0.00/0.01 c bounds - >= 59 @ 0.003744
0.00/0.01 c bounds - >= 60 @ 0.003834
0.00/0.01 c bounds - >= 61 @ 0.003958
0.00/0.01 c bounds - >= 62 @ 0.004066
0.00/0.01 c bounds - >= 63 @ 0.004163
0.00/0.01 c bounds - >= 64 @ 0.004278
0.00/0.01 c bounds - >= 65 @ 0.004369
0.00/0.01 c bounds - >= 66 @ 0.004469
0.00/0.01 c bounds - >= 67 @ 0.004562
0.00/0.01 c bounds - >= 68 @ 0.004654
0.00/0.01 c bounds - >= 69 @ 0.00475
0.00/0.01 c bounds - >= 70 @ 0.004851
0.00/0.01 c bounds - >= 71 @ 0.004969
0.00/0.01 c bounds - >= 72 @ 0.005075
0.00/0.01 c bounds - >= 73 @ 0.005181
0.00/0.01 c bounds - >= 74 @ 0.005304
0.00/0.01 c bounds - >= 75 @ 0.005412
0.00/0.01 c bounds - >= 76 @ 0.005514
0.00/0.01 c bounds - >= 77 @ 0.005621
0.00/0.01 c bounds - >= 78 @ 0.005726
0.00/0.01 c bounds - >= 79 @ 0.005831
0.00/0.01 c bounds - >= 80 @ 0.005954
0.00/0.01 c bounds - >= 81 @ 0.006067
0.00/0.01 c bounds - >= 82 @ 0.006176
0.00/0.01 c bounds - >= 83 @ 0.006303
0.00/0.01 c bounds - >= 84 @ 0.006415
0.00/0.01 c bounds - >= 85 @ 0.006528
0.00/0.01 c bounds - >= 86 @ 0.006654
0.00/0.01 c bounds - >= 87 @ 0.006761
0.00/0.01 c bounds - >= 88 @ 0.006877
0.00/0.01 c bounds - >= 89 @ 0.006991
0.00/0.01 c bounds - >= 90 @ 0.007112
0.00/0.01 c bounds - >= 91 @ 0.007238
0.00/0.01 c bounds - >= 92 @ 0.007348
0.00/0.01 c bounds - >= 93 @ 0.00746
0.00/0.01 c bounds - >= 94 @ 0.007567
0.00/0.01 c bounds - >= 95 @ 0.007678
0.00/0.01 c bounds - >= 96 @ 0.00779
0.00/0.01 c bounds - >= 97 @ 0.007906
0.00/0.01 c bounds - >= 98 @ 0.008025
0.00/0.01 c bounds - >= 99 @ 0.008155
0.00/0.01 c bounds - >= 100 @ 0.008269
0.00/0.01 c bounds - >= 101 @ 0.008381
0.00/0.01 c bounds - >= 102 @ 0.008505
0.00/0.01 c bounds - >= 103 @ 0.008625
0.00/0.01 c bounds - >= 104 @ 0.008735
0.00/0.01 c bounds - >= 105 @ 0.008853
0.00/0.01 c bounds - >= 106 @ 0.008988
0.00/0.01 c bounds - >= 107 @ 0.009102
0.00/0.01 c bounds - >= 108 @ 0.009244
0.00/0.01 c bounds - >= 109 @ 0.009363
0.00/0.01 c bounds - >= 110 @ 0.009482
0.00/0.01 c bounds - >= 111 @ 0.009599
0.00/0.01 c bounds - >= 112 @ 0.009726
0.00/0.01 c bounds - >= 113 @ 0.009849
0.00/0.01 c bounds - >= 114 @ 0.010003
0.00/0.01 c bounds - >= 115 @ 0.010131
0.00/0.01 c bounds - >= 116 @ 0.010265
0.00/0.01 c bounds - >= 117 @ 0.010396
0.00/0.01 c bounds - >= 118 @ 0.010532
0.00/0.01 c bounds - >= 119 @ 0.010673
0.00/0.01 c bounds - >= 120 @ 0.010808
0.00/0.01 c bounds - >= 121 @ 0.010962
0.00/0.01 c bounds - >= 122 @ 0.011103
0.00/0.01 c bounds - >= 123 @ 0.011271
0.00/0.01 c bounds - >= 124 @ 0.011407
0.00/0.01 c bounds - >= 125 @ 0.011576
0.00/0.01 c bounds - >= 126 @ 0.011719
0.00/0.01 c bounds - >= 127 @ 0.011893
0.00/0.01 c bounds - >= 128 @ 0.012032
0.00/0.01 c bounds - >= 129 @ 0.012175
0.00/0.01 c finalizing WCE round: reformulating cores
33.79/33.93 c #Conflicts: 1000 | #Constraints: 1627
33.79/33.93 c #Conflicts: 2000 | #Constraints: 2629
33.79/33.93 c INPROCESSING
33.79/33.93 c GARBAGE COLLECT
33.79/33.93 c #Conflicts: 3000 | #Constraints: 2556
33.79/33.93 c #Conflicts: 4000 | #Constraints: 3558
33.79/33.93 c INPROCESSING
33.79/33.93 c GARBAGE COLLECT
33.79/33.93 c #Conflicts: 5000 | #Constraints: 2968
33.79/33.93 c #Conflicts: 6000 | #Constraints: 3970
33.79/33.93 c INPROCESSING
33.79/33.93 c GARBAGE COLLECT
33.79/33.93 c #Conflicts: 7000 | #Constraints: 2973
33.79/33.93 c #Conflicts: 8000 | #Constraints: 3975
33.79/33.93 c #Conflicts: 9000 | #Constraints: 4979
33.79/33.93 c INPROCESSING
33.79/33.93 c GARBAGE COLLECT
33.79/33.93 c #Conflicts: 10000 | #Constraints: 3677
33.79/33.93 c #Conflicts: 11000 | #Constraints: 4679
33.79/33.93 c #Conflicts: 12000 | #Constraints: 5681
33.79/33.93 c INPROCESSING
33.79/33.93 c GARBAGE COLLECT
33.79/33.93 c #Conflicts: 13000 | #Constraints: 4138
33.79/33.93 c #Conflicts: 14000 | #Constraints: 5140
33.79/33.93 c #Conflicts: 15000 | #Constraints: 6142
33.79/33.93 c INPROCESSING
33.79/33.93 c GARBAGE COLLECT
33.79/33.93 c #Conflicts: 16000 | #Constraints: 4368
33.79/33.93 c #Conflicts: 17000 | #Constraints: 5370
33.79/33.93 c #Conflicts: 18000 | #Constraints: 6372
33.79/33.93 c INPROCESSING
33.79/33.93 c GARBAGE COLLECT
33.79/33.93 c #Conflicts: 19000 | #Constraints: 4388
33.79/33.93 c #Conflicts: 20000 | #Constraints: 5390
33.79/33.93 c #Conflicts: 21000 | #Constraints: 6392
33.79/33.93 c INPROCESSING
33.79/33.93 c GARBAGE COLLECT
33.79/33.93 c #Conflicts: 22000 | #Constraints: 4196
33.79/33.93 c #Conflicts: 23000 | #Constraints: 5198
33.79/33.93 c #Conflicts: 24000 | #Constraints: 6202
33.79/33.93 c #Conflicts: 25000 | #Constraints: 7204
33.79/33.93 c INPROCESSING
33.79/33.93 c GARBAGE COLLECT
33.79/33.93 c #Conflicts: 26000 | #Constraints: 4812
33.79/33.93 c #Conflicts: 27000 | #Constraints: 5814
33.79/33.93 c #Conflicts: 28000 | #Constraints: 6816
33.79/33.93 c #Conflicts: 29000 | #Constraints: 7820
33.79/33.93 c INPROCESSING
33.79/33.93 c GARBAGE COLLECT
33.79/33.93 c #Conflicts: 30000 | #Constraints: 5226
33.79/33.93 c #Conflicts: 31000 | #Constraints: 6228
33.79/33.93 c #Conflicts: 32000 | #Constraints: 7230
33.79/33.93 c #Conflicts: 33000 | #Constraints: 8234
33.79/33.93 c INPROCESSING
33.79/33.93 c GARBAGE COLLECT
33.79/33.93 c #Conflicts: 34000 | #Constraints: 5435
33.79/33.93 c #Conflicts: 35000 | #Constraints: 6437
33.79/33.93 c #Conflicts: 36000 | #Constraints: 7439
33.79/33.93 c #Conflicts: 37000 | #Constraints: 8443
33.79/33.93 c INPROCESSING
33.79/33.93 c GARBAGE COLLECT
33.79/33.93 c #Conflicts: 38000 | #Constraints: 5446
33.79/33.93 c #Conflicts: 39000 | #Constraints: 6448
33.79/33.93 c #Conflicts: 40000 | #Constraints: 7450
33.79/33.93 c #Conflicts: 41000 | #Constraints: 8454
33.79/33.93 c INPROCESSING
33.79/33.93 c GARBAGE COLLECT
33.79/33.93 c #Conflicts: 42000 | #Constraints: 5263
33.79/33.93 c #Conflicts: 43000 | #Constraints: 6265
33.79/33.93 c #Conflicts: 44000 | #Constraints: 7269
33.79/33.93 c #Conflicts: 45000 | #Constraints: 8271
33.79/33.93 c #Conflicts: 46000 | #Constraints: 9273
33.79/33.93 c INPROCESSING
33.79/33.93 c GARBAGE COLLECT
33.79/33.93 c #Conflicts: 47000 | #Constraints: 5876
33.79/33.93 c #Conflicts: 48000 | #Constraints: 6878
33.79/33.93 c #Conflicts: 49000 | #Constraints: 7880
33.79/33.93 c #Conflicts: 50000 | #Constraints: 8884
33.79/33.93 c #Conflicts: 51000 | #Constraints: 9886
33.79/33.93 c INPROCESSING
33.79/33.93 c GARBAGE COLLECT
33.79/33.93 c #Conflicts: 52000 | #Constraints: 6289
33.79/33.93 c #Conflicts: 53000 | #Constraints: 7291
33.79/33.93 c #Conflicts: 54000 | #Constraints: 8293
33.79/33.93 c #Conflicts: 55000 | #Constraints: 9297
33.79/33.93 c #Conflicts: 56000 | #Constraints: 10299
33.79/33.93 c INPROCESSING
33.79/33.93 c GARBAGE COLLECT
33.79/33.93 c #Conflicts: 57000 | #Constraints: 6496
33.79/33.93 c #Conflicts: 58000 | #Constraints: 7498
33.79/33.93 c #Conflicts: 59000 | #Constraints: 8500
33.79/33.93 c bounds 218 >= 129 @ 32.5056
33.79/33.93 c bounds 218 >= 130 @ 32.5188
33.79/33.93 c bounds 218 >= 131 @ 32.5211
33.79/33.93 c bounds 218 >= 132 @ 32.5234
33.79/33.93 c bounds 218 >= 133 @ 32.526
33.79/33.93 c bounds 218 >= 134 @ 32.5357
33.79/33.93 c bounds 218 >= 135 @ 32.5409
33.79/33.93 c bounds 218 >= 136 @ 32.5475
33.79/33.93 c bounds 218 >= 137 @ 32.5592
33.79/33.93 c finalizing WCE round: reformulating cores
43.67/43.80 c #Conflicts: 60000 | #Constraints: 9608
43.67/43.80 c #Conflicts: 61000 | #Constraints: 10613
43.67/43.80 c INPROCESSING
43.67/43.80 c GARBAGE COLLECT
43.67/43.80 c #Conflicts: 62000 | #Constraints: 6588
43.67/43.80 c #Conflicts: 63000 | #Constraints: 7590
43.67/43.80 c #Conflicts: 64000 | #Constraints: 8592
43.67/43.80 c #Conflicts: 65000 | #Constraints: 9596
43.67/43.80 c bounds 216 >= 137 @ 38.015
43.67/43.80 c bounds 216 >= 138 @ 38.0426
43.67/43.80 c bounds 216 >= 139 @ 38.0783
43.67/43.80 c bounds 216 >= 140 @ 38.1289
43.67/43.80 c #Conflicts: 66000 | #Constraints: 10683
43.67/43.80 c bounds 216 >= 141 @ 39.2588
43.67/43.80 c INPROCESSING
43.67/43.80 c GARBAGE COLLECT
43.67/43.80 c finalizing WCE round: reformulating cores
142.09/142.53 c #Conflicts: 67000 | #Constraints: 6545
142.09/142.53 c #Conflicts: 68000 | #Constraints: 7550
142.09/142.53 c bounds 214 >= 141 @ 44.9394
142.09/142.53 c bounds 214 >= 142 @ 45.0083
142.09/142.53 c #Conflicts: 69000 | #Constraints: 8583
142.09/142.53 c bounds 214 >= 143 @ 46.3462
142.09/142.53 c #Conflicts: 70000 | #Constraints: 9680
142.09/142.53 c #Conflicts: 71000 | #Constraints: 10680
142.09/142.53 c #Conflicts: 72000 | #Constraints: 11680
142.09/142.53 c INPROCESSING
142.09/142.53 c GARBAGE COLLECT
142.09/142.53 c #Conflicts: 73000 | #Constraints: 7249
142.09/142.53 c #Conflicts: 74000 | #Constraints: 8249
142.09/142.53 c #Conflicts: 75000 | #Constraints: 9249
142.09/142.53 c #Conflicts: 76000 | #Constraints: 10249
142.09/142.53 c #Conflicts: 77000 | #Constraints: 11249
142.09/142.53 c #Conflicts: 78000 | #Constraints: 12249
142.09/142.53 c INPROCESSING
142.09/142.53 c GARBAGE COLLECT
142.09/142.53 c #Conflicts: 79000 | #Constraints: 7653
142.09/142.53 c #Conflicts: 80000 | #Constraints: 8653
142.09/142.53 c #Conflicts: 81000 | #Constraints: 9653
142.09/142.53 c #Conflicts: 82000 | #Constraints: 10653
142.09/142.53 c #Conflicts: 83000 | #Constraints: 11653
142.09/142.53 c #Conflicts: 84000 | #Constraints: 12653
142.09/142.53 c INPROCESSING
142.09/142.53 c GARBAGE COLLECT
142.09/142.53 c #Conflicts: 85000 | #Constraints: 7860
142.09/142.53 c #Conflicts: 86000 | #Constraints: 8860
142.09/142.53 c #Conflicts: 87000 | #Constraints: 9860
142.09/142.53 c #Conflicts: 88000 | #Constraints: 10860
142.09/142.53 c #Conflicts: 89000 | #Constraints: 11860
142.09/142.53 c #Conflicts: 90000 | #Constraints: 12860
142.09/142.53 c INPROCESSING
142.09/142.53 c GARBAGE COLLECT
142.09/142.53 c #Conflicts: 91000 | #Constraints: 7861
142.09/142.53 c #Conflicts: 92000 | #Constraints: 8861
142.09/142.53 c #Conflicts: 93000 | #Constraints: 9861
142.09/142.53 c #Conflicts: 94000 | #Constraints: 10861
142.09/142.53 c #Conflicts: 95000 | #Constraints: 11861
142.09/142.53 c #Conflicts: 96000 | #Constraints: 12861
142.09/142.53 c INPROCESSING
142.09/142.53 c GARBAGE COLLECT
142.09/142.53 c #Conflicts: 97000 | #Constraints: 7662
142.09/142.53 c #Conflicts: 98000 | #Constraints: 8662
142.09/142.53 c #Conflicts: 99000 | #Constraints: 9662
142.09/142.53 c #Conflicts: 100000 | #Constraints: 10662
142.09/142.53 c #Conflicts: 101000 | #Constraints: 11662
142.09/142.53 c #Conflicts: 102000 | #Constraints: 12662
142.09/142.53 c #Conflicts: 103000 | #Constraints: 13662
142.09/142.53 c INPROCESSING
142.09/142.53 c GARBAGE COLLECT
142.09/142.53 c #Conflicts: 104000 | #Constraints: 8276
142.09/142.53 c #Conflicts: 105000 | #Constraints: 9276
142.09/142.53 c #Conflicts: 106000 | #Constraints: 10276
142.09/142.53 c #Conflicts: 107000 | #Constraints: 11276
142.09/142.53 c #Conflicts: 108000 | #Constraints: 12276
142.09/142.53 c #Conflicts: 109000 | #Constraints: 13276
142.09/142.53 c #Conflicts: 110000 | #Constraints: 14276
142.09/142.53 c INPROCESSING
142.09/142.53 c GARBAGE COLLECT
142.09/142.53 c #Conflicts: 111000 | #Constraints: 8666
142.09/142.53 c #Conflicts: 112000 | #Constraints: 9666
142.09/142.53 c #Conflicts: 113000 | #Constraints: 10666
142.09/142.53 c #Conflicts: 114000 | #Constraints: 11666
142.09/142.53 c #Conflicts: 115000 | #Constraints: 12666
142.09/142.53 c #Conflicts: 116000 | #Constraints: 13666
142.09/142.53 c #Conflicts: 117000 | #Constraints: 14666
142.09/142.53 c INPROCESSING
142.09/142.53 c GARBAGE COLLECT
142.09/142.53 c #Conflicts: 118000 | #Constraints: 8878
142.09/142.53 c #Conflicts: 119000 | #Constraints: 9878
142.09/142.53 c #Conflicts: 120000 | #Constraints: 10878
142.09/142.53 c #Conflicts: 121000 | #Constraints: 11878
142.09/142.53 c #Conflicts: 122000 | #Constraints: 12878
142.09/142.53 c #Conflicts: 123000 | #Constraints: 13878
142.09/142.53 c #Conflicts: 124000 | #Constraints: 14878
142.09/142.53 c INPROCESSING
142.09/142.53 c GARBAGE COLLECT
142.09/142.53 c #Conflicts: 125000 | #Constraints: 8869
142.09/142.53 c #Conflicts: 126000 | #Constraints: 9869
142.09/142.53 c #Conflicts: 127000 | #Constraints: 10869
142.09/142.53 c #Conflicts: 128000 | #Constraints: 11869
142.09/142.53 c #Conflicts: 129000 | #Constraints: 12869
142.09/142.53 c #Conflicts: 130000 | #Constraints: 13869
142.09/142.53 c #Conflicts: 131000 | #Constraints: 14869
142.09/142.53 c INPROCESSING
142.09/142.53 c GARBAGE COLLECT
142.09/142.53 c #Conflicts: 132000 | #Constraints: 8671
142.09/142.53 c #Conflicts: 133000 | #Constraints: 9671
142.09/142.53 c #Conflicts: 134000 | #Constraints: 10671
142.09/142.53 c #Conflicts: 135000 | #Constraints: 11671
142.09/142.53 c #Conflicts: 136000 | #Constraints: 12671
142.09/142.53 c #Conflicts: 137000 | #Constraints: 13671
544.31/545.79 c #Conflicts: 138000 | #Constraints: 14671
544.31/545.79 c #Conflicts: 139000 | #Constraints: 15671
544.31/545.79 c INPROCESSING
544.31/545.79 c GARBAGE COLLECT
544.31/545.79 c #Conflicts: 140000 | #Constraints: 9275
544.31/545.79 c #Conflicts: 141000 | #Constraints: 10275
544.31/545.79 c bounds 214 >= 144 @ 147.699
544.31/545.79 c #Conflicts: 142000 | #Constraints: 11354
544.31/545.79 c #Conflicts: 143000 | #Constraints: 12354
544.31/545.79 c #Conflicts: 144000 | #Constraints: 13354
544.31/545.79 c #Conflicts: 145000 | #Constraints: 14354
544.31/545.79 c #Conflicts: 146000 | #Constraints: 15354
544.31/545.79 c #Conflicts: 147000 | #Constraints: 16354
544.31/545.79 c INPROCESSING
544.31/545.79 c GARBAGE COLLECT
544.31/545.79 c #Conflicts: 148000 | #Constraints: 9720
544.31/545.79 c #Conflicts: 149000 | #Constraints: 10720
544.31/545.79 c #Conflicts: 150000 | #Constraints: 11720
544.31/545.79 c #Conflicts: 151000 | #Constraints: 12720
544.31/545.79 c #Conflicts: 152000 | #Constraints: 13720
544.31/545.79 c #Conflicts: 153000 | #Constraints: 14720
544.31/545.79 c #Conflicts: 154000 | #Constraints: 15720
544.31/545.79 c #Conflicts: 155000 | #Constraints: 16720
544.31/545.79 c #Conflicts: 156000 | #Constraints: 17720
544.31/545.79 c #Conflicts: 157000 | #Constraints: 18720
544.31/545.79 c #Conflicts: 158000 | #Constraints: 19720
544.31/545.79 c #Conflicts: 159000 | #Constraints: 20720
544.31/545.79 c #Conflicts: 160000 | #Constraints: 21720
544.31/545.79 c #Conflicts: 161000 | #Constraints: 22720
544.31/545.79 c #Conflicts: 162000 | #Constraints: 23720
544.31/545.79 c #Conflicts: 163000 | #Constraints: 24720
544.31/545.79 c #Conflicts: 164000 | #Constraints: 25720
544.31/545.79 c #Conflicts: 165000 | #Constraints: 26720
544.31/545.79 c #Conflicts: 166000 | #Constraints: 27720
544.31/545.79 c #Conflicts: 167000 | #Constraints: 28720
544.31/545.79 c #Conflicts: 168000 | #Constraints: 29720
544.31/545.79 c #Conflicts: 169000 | #Constraints: 30720
544.31/545.79 c #Conflicts: 170000 | #Constraints: 31720
544.31/545.79 c #Conflicts: 171000 | #Constraints: 32720
544.31/545.79 c #Conflicts: 172000 | #Constraints: 33720
544.31/545.79 c #Conflicts: 173000 | #Constraints: 34720
544.31/545.79 c #Conflicts: 174000 | #Constraints: 35720
544.31/545.79 c #Conflicts: 175000 | #Constraints: 36720
544.31/545.79 c #Conflicts: 176000 | #Constraints: 37720
544.31/545.79 c #Conflicts: 177000 | #Constraints: 38720
544.31/545.79 c #Conflicts: 178000 | #Constraints: 39720
544.31/545.79 c #Conflicts: 179000 | #Constraints: 40720
544.31/545.79 c #Conflicts: 180000 | #Constraints: 41720
544.31/545.79 c #Conflicts: 181000 | #Constraints: 42720
544.31/545.79 c #Conflicts: 182000 | #Constraints: 43720
544.31/545.79 c INPROCESSING
544.31/545.79 c GARBAGE COLLECT
544.31/545.79 c #Conflicts: 183000 | #Constraints: 22948
544.31/545.79 c #Conflicts: 184000 | #Constraints: 23948
544.31/545.79 c #Conflicts: 185000 | #Constraints: 24948
544.31/545.79 c #Conflicts: 186000 | #Constraints: 25948
544.31/545.79 c #Conflicts: 187000 | #Constraints: 26948
544.31/545.79 c #Conflicts: 188000 | #Constraints: 27948
544.31/545.79 c #Conflicts: 189000 | #Constraints: 28948
544.31/545.79 c #Conflicts: 190000 | #Constraints: 29948
544.31/545.79 c #Conflicts: 191000 | #Constraints: 30948
544.31/545.79 c #Conflicts: 192000 | #Constraints: 31948
544.31/545.79 c INPROCESSING
544.31/545.79 c GARBAGE COLLECT
544.31/545.79 c #Conflicts: 193000 | #Constraints: 17541
544.31/545.79 c #Conflicts: 194000 | #Constraints: 18541
544.31/545.79 c #Conflicts: 195000 | #Constraints: 19541
544.31/545.79 c #Conflicts: 196000 | #Constraints: 20541
544.31/545.79 c #Conflicts: 197000 | #Constraints: 21541
544.31/545.79 c #Conflicts: 198000 | #Constraints: 22541
544.31/545.79 c #Conflicts: 199000 | #Constraints: 23541
544.31/545.79 c #Conflicts: 200000 | #Constraints: 24541
544.31/545.79 c #Conflicts: 201000 | #Constraints: 25541
544.31/545.79 c #Conflicts: 202000 | #Constraints: 26541
544.31/545.79 c #Conflicts: 203000 | #Constraints: 27541
544.31/545.79 c #Conflicts: 204000 | #Constraints: 28541
544.31/545.79 c #Conflicts: 205000 | #Constraints: 29541
544.31/545.79 c #Conflicts: 206000 | #Constraints: 30541
544.31/545.79 c #Conflicts: 207000 | #Constraints: 31541
544.31/545.79 c #Conflicts: 208000 | #Constraints: 32541
544.31/545.79 c #Conflicts: 209000 | #Constraints: 33541
544.31/545.79 c #Conflicts: 210000 | #Constraints: 34541
544.31/545.79 c #Conflicts: 211000 | #Constraints: 35541
544.31/545.79 c #Conflicts: 212000 | #Constraints: 36541
544.31/545.79 c #Conflicts: 213000 | #Constraints: 37541
1332.50/1336.04 c #Conflicts: 214000 | #Constraints: 38541
1332.50/1336.04 c #Conflicts: 215000 | #Constraints: 39541
1332.50/1336.04 c #Conflicts: 216000 | #Constraints: 40541
1332.50/1336.04 c #Conflicts: 217000 | #Constraints: 41541
1332.50/1336.04 c #Conflicts: 218000 | #Constraints: 42541
1332.50/1336.04 c #Conflicts: 219000 | #Constraints: 43541
1332.50/1336.04 c #Conflicts: 220000 | #Constraints: 44541
1332.50/1336.04 c #Conflicts: 221000 | #Constraints: 45541
1332.50/1336.04 c #Conflicts: 222000 | #Constraints: 46541
1332.50/1336.04 c #Conflicts: 223000 | #Constraints: 47541
1332.50/1336.04 c #Conflicts: 224000 | #Constraints: 48541
1332.50/1336.04 c #Conflicts: 225000 | #Constraints: 49541
1332.50/1336.04 c #Conflicts: 226000 | #Constraints: 50541
1332.50/1336.04 c #Conflicts: 227000 | #Constraints: 51541
1332.50/1336.04 c #Conflicts: 228000 | #Constraints: 52541
1332.50/1336.04 c #Conflicts: 229000 | #Constraints: 53541
1332.50/1336.04 c #Conflicts: 230000 | #Constraints: 54541
1332.50/1336.04 c #Conflicts: 231000 | #Constraints: 55541
1332.50/1336.04 c INPROCESSING
1332.50/1336.04 c GARBAGE COLLECT
1332.50/1336.04 c #Conflicts: 232000 | #Constraints: 29322
1332.50/1336.04 c #Conflicts: 233000 | #Constraints: 30322
1332.50/1336.04 c #Conflicts: 234000 | #Constraints: 31322
1332.50/1336.04 c #Conflicts: 235000 | #Constraints: 32322
1332.50/1336.04 c #Conflicts: 236000 | #Constraints: 33322
1332.50/1336.04 c #Conflicts: 237000 | #Constraints: 34322
1332.50/1336.04 c #Conflicts: 238000 | #Constraints: 35322
1332.50/1336.04 c #Conflicts: 239000 | #Constraints: 36322
1332.50/1336.04 c #Conflicts: 240000 | #Constraints: 37322
1332.50/1336.04 c #Conflicts: 241000 | #Constraints: 38322
1332.50/1336.04 c INPROCESSING
1332.50/1336.04 c GARBAGE COLLECT
1332.50/1336.04 c #Conflicts: 242000 | #Constraints: 20513
1332.50/1336.04 c #Conflicts: 243000 | #Constraints: 21513
1332.50/1336.04 c #Conflicts: 244000 | #Constraints: 22513
1332.50/1336.04 c #Conflicts: 245000 | #Constraints: 23513
1332.50/1336.04 c #Conflicts: 246000 | #Constraints: 24513
1332.50/1336.04 c #Conflicts: 247000 | #Constraints: 25513
1332.50/1336.04 c #Conflicts: 248000 | #Constraints: 26513
1332.50/1336.04 c #Conflicts: 249000 | #Constraints: 27513
1332.50/1336.04 c #Conflicts: 250000 | #Constraints: 28513
1332.50/1336.04 c #Conflicts: 251000 | #Constraints: 29513
1332.50/1336.04 c #Conflicts: 252000 | #Constraints: 30513
1332.50/1336.04 c #Conflicts: 253000 | #Constraints: 31513
1332.50/1336.04 c #Conflicts: 254000 | #Constraints: 32513
1332.50/1336.04 c #Conflicts: 255000 | #Constraints: 33513
1332.50/1336.04 c #Conflicts: 256000 | #Constraints: 34513
1332.50/1336.04 c #Conflicts: 257000 | #Constraints: 35513
1332.50/1336.04 c #Conflicts: 258000 | #Constraints: 36513
1332.50/1336.04 c #Conflicts: 259000 | #Constraints: 37513
1332.50/1336.04 c #Conflicts: 260000 | #Constraints: 38513
1332.50/1336.04 c #Conflicts: 261000 | #Constraints: 39513
1332.50/1336.04 c #Conflicts: 262000 | #Constraints: 40513
1332.50/1336.04 c #Conflicts: 263000 | #Constraints: 41513
1332.50/1336.04 c #Conflicts: 264000 | #Constraints: 42513
1332.50/1336.04 c #Conflicts: 265000 | #Constraints: 43513
1332.50/1336.04 c #Conflicts: 266000 | #Constraints: 44513
1332.50/1336.04 c #Conflicts: 267000 | #Constraints: 45513
1332.50/1336.04 c #Conflicts: 268000 | #Constraints: 46513
1332.50/1336.04 c #Conflicts: 269000 | #Constraints: 47513
1332.50/1336.04 c #Conflicts: 270000 | #Constraints: 48513
1332.50/1336.04 c #Conflicts: 271000 | #Constraints: 49513
1332.50/1336.04 c #Conflicts: 272000 | #Constraints: 50513
1332.50/1336.04 c #Conflicts: 273000 | #Constraints: 51513
1332.50/1336.04 c #Conflicts: 274000 | #Constraints: 52513
1332.50/1336.04 c #Conflicts: 275000 | #Constraints: 53513
1332.50/1336.04 c #Conflicts: 276000 | #Constraints: 54513
1332.50/1336.04 c #Conflicts: 277000 | #Constraints: 55513
1332.50/1336.04 c #Conflicts: 278000 | #Constraints: 56513
1332.50/1336.04 c #Conflicts: 279000 | #Constraints: 57513
1332.50/1336.04 c #Conflicts: 280000 | #Constraints: 58513
1332.50/1336.04 c #Conflicts: 281000 | #Constraints: 59513
1332.50/1336.04 c #Conflicts: 282000 | #Constraints: 60513
1332.50/1336.04 c #Conflicts: 283000 | #Constraints: 61513
1332.50/1336.04 c INPROCESSING
1332.50/1336.04 c GARBAGE COLLECT
1332.50/1336.04 c #Conflicts: 284000 | #Constraints: 32059
1332.50/1336.04 c #Conflicts: 285000 | #Constraints: 33059
1332.50/1336.04 c #Conflicts: 286000 | #Constraints: 34059
1332.50/1336.04 c #Conflicts: 287000 | #Constraints: 35059
1332.50/1336.04 c #Conflicts: 288000 | #Constraints: 36059
1332.50/1336.04 c #Conflicts: 289000 | #Constraints: 37059
1332.50/1336.04 c #Conflicts: 290000 | #Constraints: 38059
2202.86/2208.55 c #Conflicts: 291000 | #Constraints: 39059
2202.86/2208.55 c #Conflicts: 292000 | #Constraints: 40059
2202.86/2208.55 c #Conflicts: 293000 | #Constraints: 41059
2202.86/2208.55 c #Conflicts: 294000 | #Constraints: 42059
2202.86/2208.55 c #Conflicts: 295000 | #Constraints: 43059
2202.86/2208.55 c INPROCESSING
2202.86/2208.55 c GARBAGE COLLECT
2202.86/2208.55 c #Conflicts: 296000 | #Constraints: 23951
2202.86/2208.55 c #Conflicts: 297000 | #Constraints: 24951
2202.86/2208.55 c #Conflicts: 298000 | #Constraints: 25951
2202.86/2208.55 c #Conflicts: 299000 | #Constraints: 26951
2202.86/2208.55 c #Conflicts: 300000 | #Constraints: 27951
2202.86/2208.55 c #Conflicts: 301000 | #Constraints: 28951
2202.86/2208.55 c #Conflicts: 302000 | #Constraints: 29951
2202.86/2208.55 c #Conflicts: 303000 | #Constraints: 30951
2202.86/2208.55 c #Conflicts: 304000 | #Constraints: 31951
2202.86/2208.55 c #Conflicts: 305000 | #Constraints: 32951
2202.86/2208.55 c #Conflicts: 306000 | #Constraints: 33951
2202.86/2208.55 c #Conflicts: 307000 | #Constraints: 34951
2202.86/2208.55 c #Conflicts: 308000 | #Constraints: 35951
2202.86/2208.55 c #Conflicts: 309000 | #Constraints: 36951
2202.86/2208.55 c #Conflicts: 310000 | #Constraints: 37951
2202.86/2208.55 c #Conflicts: 311000 | #Constraints: 38951
2202.86/2208.55 c #Conflicts: 312000 | #Constraints: 39951
2202.86/2208.55 c #Conflicts: 313000 | #Constraints: 40951
2202.86/2208.55 c #Conflicts: 314000 | #Constraints: 41951
2202.86/2208.55 c #Conflicts: 315000 | #Constraints: 42951
2202.86/2208.55 c #Conflicts: 316000 | #Constraints: 43951
2202.86/2208.55 c #Conflicts: 317000 | #Constraints: 44951
2202.86/2208.55 c #Conflicts: 318000 | #Constraints: 45951
2202.86/2208.55 c #Conflicts: 319000 | #Constraints: 46951
2202.86/2208.55 c #Conflicts: 320000 | #Constraints: 47951
2202.86/2208.55 c #Conflicts: 321000 | #Constraints: 48951
2202.86/2208.55 c #Conflicts: 322000 | #Constraints: 49951
2202.86/2208.55 c #Conflicts: 323000 | #Constraints: 50951
2202.86/2208.55 c #Conflicts: 324000 | #Constraints: 51951
2202.86/2208.55 c #Conflicts: 325000 | #Constraints: 52951
2202.86/2208.55 c #Conflicts: 326000 | #Constraints: 53951
2202.86/2208.55 c #Conflicts: 327000 | #Constraints: 54951
2202.86/2208.55 c #Conflicts: 328000 | #Constraints: 55951
2202.86/2208.55 c #Conflicts: 329000 | #Constraints: 56951
2202.86/2208.55 c #Conflicts: 330000 | #Constraints: 57951
2202.86/2208.55 c #Conflicts: 331000 | #Constraints: 58951
2202.86/2208.55 c #Conflicts: 332000 | #Constraints: 59951
2202.86/2208.55 c #Conflicts: 333000 | #Constraints: 60951
2202.86/2208.55 c #Conflicts: 334000 | #Constraints: 61951
2202.86/2208.55 c #Conflicts: 335000 | #Constraints: 62951
2202.86/2208.55 c #Conflicts: 336000 | #Constraints: 63951
2202.86/2208.55 c #Conflicts: 337000 | #Constraints: 64951
2202.86/2208.55 c #Conflicts: 338000 | #Constraints: 65951
2202.86/2208.55 c #Conflicts: 339000 | #Constraints: 66951
2202.86/2208.55 c #Conflicts: 340000 | #Constraints: 67951
2202.86/2208.55 c INPROCESSING
2202.86/2208.55 c GARBAGE COLLECT
2202.86/2208.55 c #Conflicts: 341000 | #Constraints: 35324
2202.86/2208.55 c #Conflicts: 342000 | #Constraints: 36324
2202.86/2208.55 c #Conflicts: 343000 | #Constraints: 37324
2202.86/2208.55 c #Conflicts: 344000 | #Constraints: 38324
2202.86/2208.55 c #Conflicts: 345000 | #Constraints: 39324
2202.86/2208.55 c #Conflicts: 346000 | #Constraints: 40324
2202.86/2208.55 c #Conflicts: 347000 | #Constraints: 41324
2202.86/2208.55 c #Conflicts: 348000 | #Constraints: 42324
2202.86/2208.55 c #Conflicts: 349000 | #Constraints: 43324
2202.86/2208.55 c #Conflicts: 350000 | #Constraints: 44324
2202.86/2208.55 c #Conflicts: 351000 | #Constraints: 45324
2202.86/2208.55 c #Conflicts: 352000 | #Constraints: 46324
2202.86/2208.55 c #Conflicts: 353000 | #Constraints: 47324
2202.86/2208.55 c INPROCESSING
2202.86/2208.55 c GARBAGE COLLECT
2202.86/2208.55 c #Conflicts: 354000 | #Constraints: 28794
2202.86/2208.55 c #Conflicts: 355000 | #Constraints: 29794
2202.86/2208.55 c #Conflicts: 356000 | #Constraints: 30794
2202.86/2208.55 c #Conflicts: 357000 | #Constraints: 31794
2202.86/2208.55 c #Conflicts: 358000 | #Constraints: 32794
2202.86/2208.55 c #Conflicts: 359000 | #Constraints: 33794
2202.86/2208.55 c #Conflicts: 360000 | #Constraints: 34794
2202.86/2208.55 c #Conflicts: 361000 | #Constraints: 35794
2202.86/2208.55 c #Conflicts: 362000 | #Constraints: 36794
2202.86/2208.55 c #Conflicts: 363000 | #Constraints: 37794
2202.86/2208.55 c #Conflicts: 364000 | #Constraints: 38794
2202.86/2208.55 c #Conflicts: 365000 | #Constraints: 39794
2202.86/2208.55 c #Conflicts: 366000 | #Constraints: 40794
2202.86/2208.55 c #Conflicts: 367000 | #Constraints: 41794
3344.01/3352.49 c #Conflicts: 368000 | #Constraints: 42794
3344.01/3352.49 c #Conflicts: 369000 | #Constraints: 43794
3344.01/3352.49 c #Conflicts: 370000 | #Constraints: 44794
3344.01/3352.49 c #Conflicts: 371000 | #Constraints: 45794
3344.01/3352.49 c #Conflicts: 372000 | #Constraints: 46794
3344.01/3352.49 c #Conflicts: 373000 | #Constraints: 47794
3344.01/3352.49 c #Conflicts: 374000 | #Constraints: 48794
3344.01/3352.49 c #Conflicts: 375000 | #Constraints: 49794
3344.01/3352.49 c #Conflicts: 376000 | #Constraints: 50794
3344.01/3352.49 c #Conflicts: 377000 | #Constraints: 51794
3344.01/3352.49 c #Conflicts: 378000 | #Constraints: 52794
3344.01/3352.49 c #Conflicts: 379000 | #Constraints: 53794
3344.01/3352.49 c #Conflicts: 380000 | #Constraints: 54794
3344.01/3352.49 c #Conflicts: 381000 | #Constraints: 55794
3344.01/3352.49 c #Conflicts: 382000 | #Constraints: 56794
3344.01/3352.49 c #Conflicts: 383000 | #Constraints: 57794
3344.01/3352.49 c #Conflicts: 384000 | #Constraints: 58794
3344.01/3352.49 c #Conflicts: 385000 | #Constraints: 59794
3344.01/3352.49 c #Conflicts: 386000 | #Constraints: 60794
3344.01/3352.49 c #Conflicts: 387000 | #Constraints: 61794
3344.01/3352.49 c #Conflicts: 388000 | #Constraints: 62794
3344.01/3352.49 c #Conflicts: 389000 | #Constraints: 63794
3344.01/3352.49 c #Conflicts: 390000 | #Constraints: 64794
3344.01/3352.49 c #Conflicts: 391000 | #Constraints: 65794
3344.01/3352.49 c #Conflicts: 392000 | #Constraints: 66794
3344.01/3352.49 c #Conflicts: 393000 | #Constraints: 67794
3344.01/3352.49 c #Conflicts: 394000 | #Constraints: 68794
3344.01/3352.49 c #Conflicts: 395000 | #Constraints: 69794
3344.01/3352.49 c #Conflicts: 396000 | #Constraints: 70794
3344.01/3352.49 c #Conflicts: 397000 | #Constraints: 71794
3344.01/3352.49 c #Conflicts: 398000 | #Constraints: 72794
3344.01/3352.49 c #Conflicts: 399000 | #Constraints: 73794
3344.01/3352.49 c #Conflicts: 400000 | #Constraints: 74794
3344.01/3352.49 c #Conflicts: 401000 | #Constraints: 75794
3344.01/3352.49 c INPROCESSING
3344.01/3352.49 c GARBAGE COLLECT
3344.01/3352.49 c #Conflicts: 402000 | #Constraints: 39097
3344.01/3352.49 c #Conflicts: 403000 | #Constraints: 40097
3344.01/3352.49 c #Conflicts: 404000 | #Constraints: 41097
3344.01/3352.49 c #Conflicts: 405000 | #Constraints: 42097
3344.01/3352.49 c #Conflicts: 406000 | #Constraints: 43097
3344.01/3352.49 c #Conflicts: 407000 | #Constraints: 44097
3344.01/3352.49 c #Conflicts: 408000 | #Constraints: 45097
3344.01/3352.49 c #Conflicts: 409000 | #Constraints: 46097
3344.01/3352.49 c #Conflicts: 410000 | #Constraints: 47097
3344.01/3352.49 c #Conflicts: 411000 | #Constraints: 48097
3344.01/3352.49 c #Conflicts: 412000 | #Constraints: 49097
3344.01/3352.49 c #Conflicts: 413000 | #Constraints: 50097
3344.01/3352.49 c #Conflicts: 414000 | #Constraints: 51097
3344.01/3352.49 c #Conflicts: 415000 | #Constraints: 52097
3344.01/3352.49 c #Conflicts: 416000 | #Constraints: 53097
3344.01/3352.49 c INPROCESSING
3344.01/3352.49 c GARBAGE COLLECT
3344.01/3352.49 c #Conflicts: 417000 | #Constraints: 34026
3344.01/3352.49 c #Conflicts: 418000 | #Constraints: 35026
3344.01/3352.49 c #Conflicts: 419000 | #Constraints: 36026
3344.01/3352.49 c #Conflicts: 420000 | #Constraints: 37026
3344.01/3352.49 c #Conflicts: 421000 | #Constraints: 38026
3344.01/3352.49 c #Conflicts: 422000 | #Constraints: 39026
3344.01/3352.49 c #Conflicts: 423000 | #Constraints: 40026
3344.01/3352.49 c #Conflicts: 424000 | #Constraints: 41026
3344.01/3352.49 c #Conflicts: 425000 | #Constraints: 42026
3344.01/3352.49 c #Conflicts: 426000 | #Constraints: 43026
3344.01/3352.49 c #Conflicts: 427000 | #Constraints: 44026
3344.01/3352.49 c #Conflicts: 428000 | #Constraints: 45026
3344.01/3352.49 c #Conflicts: 429000 | #Constraints: 46026
3344.01/3352.49 c #Conflicts: 430000 | #Constraints: 47026
3344.01/3352.49 c #Conflicts: 431000 | #Constraints: 48026
3344.01/3352.49 c #Conflicts: 432000 | #Constraints: 49026
3344.01/3352.49 c #Conflicts: 433000 | #Constraints: 50026
3344.01/3352.49 c #Conflicts: 434000 | #Constraints: 51026
3344.01/3352.49 c #Conflicts: 435000 | #Constraints: 52026
3344.01/3352.49 c #Conflicts: 436000 | #Constraints: 53026
3344.01/3352.49 c #Conflicts: 437000 | #Constraints: 54026
3344.01/3352.49 c #Conflicts: 438000 | #Constraints: 55026
3344.01/3352.49 c #Conflicts: 439000 | #Constraints: 56026
3344.01/3352.49 c #Conflicts: 440000 | #Constraints: 57026
3344.01/3352.49 c #Conflicts: 441000 | #Constraints: 58026
3344.01/3352.49 c #Conflicts: 442000 | #Constraints: 59026
3344.01/3352.49 c #Conflicts: 443000 | #Constraints: 60026
3344.01/3352.49 c #Conflicts: 444000 | #Constraints: 61026
3600.06/3609.10 c #Conflicts: 445000 | #Constraints: 62026
3600.06/3609.10 c #Conflicts: 446000 | #Constraints: 63026
3600.06/3609.10 c #Conflicts: 447000 | #Constraints: 64026
3600.06/3609.10 c #Conflicts: 448000 | #Constraints: 65026
3600.06/3609.10 c #Conflicts: 449000 | #Constraints: 66026
3600.06/3609.10 c #Conflicts: 450000 | #Constraints: 67026
3600.06/3609.10 c #Conflicts: 451000 | #Constraints: 68026
3600.06/3609.10 c #Conflicts: 452000 | #Constraints: 69026
3600.06/3609.10 c #Conflicts: 453000 | #Constraints: 70026
3600.06/3609.10 c #Conflicts: 454000 | #Constraints: 71026
3600.06/3609.10 c #Conflicts: 455000 | #Constraints: 72026
3600.06/3609.10 c #Conflicts: 456000 | #Constraints: 73026
3600.06/3609.10 c Program interrupted by user.
3600.06/3609.10 c cpu time 3590.39 s
3600.06/3609.10 c deterministic time 276067317475 2.76e+11
3600.06/3609.10 c optimization time 671.293 s
3600.06/3609.10 c total solve time 2919.09 s
3600.06/3609.10 c core-guided solve time 2919.09 s
3600.06/3609.10 c propagation time 3246.98 s
3600.06/3609.10 c conflict analysis time 328.004 s
3600.06/3609.10 c propagations 67670223
3600.06/3609.10 c resolve steps 5194669
3600.06/3609.10 c decisions 6807568
3600.06/3609.10 c conflicts 456581
3600.06/3609.10 c restarts 1021
3600.06/3609.10 c inprocessing phases 40
3600.06/3609.10 c input clauses 214
3600.06/3609.10 c input cardinalities 411
3600.06/3609.10 c input general constraints 649
3600.06/3609.10 c input average constraint length 43.81
3600.06/3609.10 c input average constraint degree 21.32
3600.06/3609.10 c learned clauses 91739
3600.06/3609.10 c learned cardinalities 1641
3600.06/3609.10 c learned general constraints 363219
3600.06/3609.10 c learned average constraint length 135.51
3600.06/3609.10 c learned average constraint degree 2747508.62
3600.06/3609.10 c watched constraints 301533
3600.06/3609.10 c counting constraints 62335
3600.06/3609.10 c gcd simplifications 31861
3600.06/3609.10 c detected cardinalities 1366
3600.06/3609.10 c weakened non-implied lits 6097754
3600.06/3609.10 c weakened non-implying lits 17686
3600.06/3609.10 c original variables 470
3600.06/3609.10 c clausal propagations 14748479
3600.06/3609.10 c cardinality propagations 925923
3600.06/3609.10 c watched propagations 11570234
3600.06/3609.10 c counting propagations 40032000
3600.06/3609.10 c watch lookups 67866803425
3600.06/3609.10 c watch backjump lookups 65074261489
3600.06/3609.10 c watch checks 129360273831
3600.06/3609.10 c propagation checks 13377824442
3600.06/3609.10 c constraint additions 238742302
3600.06/3609.10 c trail pops 74934194
3600.06/3609.10 c formula constraints 470
3600.06/3609.10 c learned constraints 456599
3600.06/3609.10 c bound constraints 99
3600.06/3609.10 c core-guided constraints 705
3600.06/3609.10 c encountered formula constraints 790308
3600.06/3609.10 c encountered learned constraints 3931530
3600.06/3609.10 c encountered bound constraints 118
3600.06/3609.10 c encountered core-guided constraints 929294
3600.06/3609.10 c LP total time 0 s
3600.06/3609.10 c LP solve time 0 s
3600.06/3609.10 c LP constraints added 0
3600.06/3609.10 c LP constraints removed 0
3600.06/3609.10 c LP pivots internal 0
3600.06/3609.10 c LP pivots root 0
3600.06/3609.10 c LP calls 0
3600.06/3609.10 c LP optimalities 0
3600.06/3609.10 c LP no pivot count 0
3600.06/3609.10 c LP infeasibilities 0
3600.06/3609.10 c LP valid Farkas constraints 0
3600.06/3609.10 c LP learned Farkas constraints 0
3600.06/3609.10 c LP basis resets 0
3600.06/3609.10 c LP cycling count 0
3600.06/3609.10 c LP singular count 0
3600.06/3609.10 c LP no primal count 0
3600.06/3609.10 c LP no farkas count 0
3600.06/3609.10 c LP other issue count 0
3600.06/3609.10 c LP Gomory cuts 0
3600.06/3609.10 c LP learned cuts 0
3600.06/3609.10 c LP deleted cuts 0
3600.06/3609.10 c LP encountered Gomory constraints 0
3600.06/3609.10 c LP encountered Farkas constraints 0
3600.06/3609.10 c LP encountered learned Farkas constraints 0
3600.06/3609.10 c CG auxiliary variables introduced 300
3600.06/3609.10 c CG solutions found 3
3600.06/3609.10 c CG cores constructed 90
3600.06/3609.10 c CG core cardinality constraints returned 0
3600.06/3609.10 c CG unit cores 0
3600.06/3609.10 c CG single cores 90
3600.06/3609.10 c CG blocks removed during cardinality reduction 0
3600.06/3609.10 c CG first core best 0
3600.06/3609.10 c CG decision core best 0
3600.06/3609.10 c CG core reduction tie 0
3600.06/3609.10 c CG core degree average 1.00
3600.06/3609.10 c CG core slack average 5.90
3600.06/3609.10 c CG exhausted 0
3600.06/3609.10 c CG exhaust time 38.7738 s
3600.06/3609.10 c CG trimmed 11
3600.06/3609.10 c CG trim time 0.01969 s
3600.06/3609.10 c CG minimized 0
3600.06/3609.10 c CG minimize time 0 s
3600.06/3609.10 c CG am1 prop time 0.028737 s
3600.06/3609.10 c CG # am1s reformulated 54
3600.06/3609.10 c CG lower bound derived from am1s 54
3600.06/3609.10 c CG # clausal cores 31
3600.06/3609.10 c CG # cardinality cores 0
3600.06/3609.10 c CG # pb cores 59
3600.06/3609.10 c CG # pb reforms 0
3600.06/3609.10 c CG # cores discarded because of pb reform 0
3600.06/3609.10 d LOWERBOUND 144
3600.06/3609.10 d NCORES 90
3600.06/3609.10 d NPBCORES 59
3600.06/3609.10 d NPBREFORM 0
3600.06/3609.10 d NTRIMMED 11
3600.06/3609.10 d NEXHAUSTED 0
3600.06/3609.10 d NAM1S 54
3600.06/3609.10 d AM1LB 54
3600.06/3609.10 o 214
3600.06/3609.10 s SATISFIABLE
3600.06/3609.10 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: 63931 MiB (59059 MiB free)
memory of node 1: 64510 MiB (62465 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435859-1721093467/watcher-4435859-1721093467 -o /tmp/evaluation-result-4435859-1721093467/solver-4435859-1721093467 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721093479-828364 --watchdog 3760 pb-oll-rs HOME/instance-4435859-1721093467.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=828422, runsolver pid=828409
[startup+0.100596 s]*
/proc/loadavg: 2.77 3.83 4.12 9/261 828427
/proc/meminfo: memFree=124416664/131524600 swapFree=131071996/131071996
[pid=828422] ppid=828409 vsize=41236 memory=11544 CPUtime=0.09 cores=4,6
/proc/828422/stat : 828422 (pb-oll-rs) R 828409 828422 828353 0 -1 4194304 1161 0 0 0 9 0 0 0 20 0 1 0 161506945 42225664 2886 134679101440 4194304 5384005 140736021797104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 9375744 140736021799959 140736021800036 140736021800036 140736021807051 0
/proc/828422/statm: 10309 2886 1397 291 0 1843 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41236 KiB
Current children cumulated memory: 11544 KiB
[startup+0.206483 s]*
/proc/loadavg: 2.77 3.83 4.12 6/261 828427
/proc/meminfo: memFree=124407500/131524600 swapFree=131071996/131071996
[pid=828422] ppid=828409 vsize=43136 memory=13392 CPUtime=0.19 cores=4,6
/proc/828422/stat : 828422 (pb-oll-rs) R 828409 828422 828353 0 -1 4194304 1641 0 0 0 18 1 0 0 20 0 1 0 161506945 44171264 3348 134679101440 4194304 5384005 140736021797104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 9375744 140736021799959 140736021800036 140736021800036 140736021807051 0
/proc/828422/statm: 10784 3348 1397 291 0 2318 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 43136 KiB
Current children cumulated memory: 13392 KiB
[startup+0.306271 s]*
/proc/loadavg: 2.77 3.83 4.12 7/261 828427
/proc/meminfo: memFree=124399152/131524600 swapFree=131071996/131071996
[pid=828422] ppid=828409 vsize=44416 memory=15504 CPUtime=0.3 cores=4,6
/proc/828422/stat : 828422 (pb-oll-rs) R 828409 828422 828353 0 -1 4194304 2153 0 0 0 28 2 0 0 20 0 1 0 161506945 45481984 3876 134679101440 4194304 5384005 140736021797104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 9375744 140736021799959 140736021800036 140736021800036 140736021807051 0
/proc/828422/statm: 11104 3876 1397 291 0 2638 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 44416 KiB
Current children cumulated memory: 15504 KiB
[startup+0.700187 s]
/proc/loadavg: 2.77 3.83 4.12 7/261 828427
/proc/meminfo: memFree=124392488/131524600 swapFree=131071996/131071996
[pid=828422] ppid=828409 vsize=48116 memory=17888 CPUtime=0.68 cores=4,6
/proc/828422/stat : 828422 (pb-oll-rs) R 828409 828422 828353 0 -1 4194304 2729 0 0 0 65 3 0 0 20 0 1 0 161506945 49270784 4472 134679101440 4194304 5384005 140736021797104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 9375744 140736021799959 140736021800036 140736021800036 140736021807051 0
/proc/828422/statm: 12029 4472 1461 291 0 3563 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 48116 KiB
Current children cumulated memory: 17888 KiB
[startup+1.50021 s]
/proc/loadavg: 2.77 3.83 4.12 8/261 828427
/proc/meminfo: memFree=124369408/131524600 swapFree=131071996/131071996
[pid=828422] ppid=828409 vsize=57304 memory=25916 CPUtime=1.48 cores=4,6
/proc/828422/stat : 828422 (pb-oll-rs) R 828409 828422 828353 0 -1 4194304 4202 0 0 0 142 6 0 0 20 0 1 0 161506945 58679296 6479 134679101440 4194304 5384005 140736021797104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 9375744 140736021799959 140736021800036 140736021800036 140736021807051 0
/proc/828422/statm: 14326 6479 1461 291 0 5860 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 57304 KiB
Current children cumulated memory: 25916 KiB
[startup+3.1065 s]
/proc/loadavg: 2.77 3.83 4.12 8/261 828427
/proc/meminfo: memFree=124337104/131524600 swapFree=131071996/131071996
[pid=828422] ppid=828409 vsize=61144 memory=30928 CPUtime=3.08 cores=4,6
/proc/828422/stat : 828422 (pb-oll-rs) R 828409 828422 828353 0 -1 4194304 5469 0 0 0 298 10 0 0 20 0 1 0 161506945 62611456 7732 134679101440 4194304 5384005 140736021797104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 9375744 140736021799959 140736021800036 140736021800036 140736021807051 0
/proc/828422/statm: 15286 7732 1461 291 0 6820 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 61144 KiB
Current children cumulated memory: 30928 KiB
[startup+6.3002 s]
/proc/loadavg: 3.11 3.89 4.13 8/261 828429
/proc/meminfo: memFree=124315320/131524600 swapFree=131071996/131071996
[pid=828422] ppid=828409 vsize=72004 memory=38708 CPUtime=6.27 cores=4,6
/proc/828422/stat : 828422 (pb-oll-rs) R 828409 828422 828353 0 -1 4194304 6373 0 0 0 611 16 0 0 20 0 1 0 161506945 73732096 9677 134679101440 4194304 5384005 140736021797104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 9375744 140736021799959 140736021800036 140736021800036 140736021807051 0
/proc/828422/statm: 18001 9677 1461 291 0 9535 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 72004 KiB
Current children cumulated memory: 38708 KiB
[startup+12.7002 s]
/proc/loadavg: 3.18 3.89 4.13 8/261 828429
/proc/meminfo: memFree=124282096/131524600 swapFree=131071996/131071996
[pid=828422] ppid=828409 vsize=78852 memory=45740 CPUtime=12.66 cores=4,6
/proc/828422/stat : 828422 (pb-oll-rs) R 828409 828422 828353 0 -1 4194304 7645 0 0 0 1236 30 0 0 20 0 1 0 161506945 80744448 11435 134679101440 4194304 5384005 140736021797104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 9375744 140736021799959 140736021800036 140736021800036 140736021807051 0
/proc/828422/statm: 19713 11435 1461 291 0 11247 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 78852 KiB
Current children cumulated memory: 45740 KiB
[startup+25.5002 s]
/proc/loadavg: 3.66 3.96 4.15 8/261 828432
/proc/meminfo: memFree=124242552/131524600 swapFree=131071996/131071996
[pid=828422] ppid=828409 vsize=96288 memory=54508 CPUtime=25.41 cores=4,6
/proc/828422/stat : 828422 (pb-oll-rs) R 828409 828422 828353 0 -1 4194304 9331 0 0 0 2492 49 0 0 20 0 1 0 161506945 98598912 13627 134679101440 4194304 5384005 140736021797104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 9375744 140736021799959 140736021800036 140736021800036 140736021807051 0
/proc/828422/statm: 24072 13627 1461 291 0 15606 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 96288 KiB
Current children cumulated memory: 54508 KiB
[startup+51.1068 s]
/proc/loadavg: 4.05 4.03 4.17 8/261 828435
/proc/meminfo: memFree=124203812/131524600 swapFree=131071996/131071996
[pid=828422] ppid=828409 vsize=100000 memory=62244 CPUtime=50.95 cores=4,6
/proc/828422/stat : 828422 (pb-oll-rs) R 828409 828422 828353 0 -1 4194304 10226 0 0 0 5020 75 0 0 20 0 1 0 161506945 102400000 15561 134679101440 4194304 5384005 140736021797104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 9375744 140736021799959 140736021800036 140736021800036 140736021807051 0
/proc/828422/statm: 25000 15561 1461 291 0 16534 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 100000 KiB
Current children cumulated memory: 62244 KiB
[startup+102.3 s]
/proc/loadavg: 4.53 4.18 4.21 8/260 828444
/proc/meminfo: memFree=124183132/131524600 swapFree=131071996/131071996
[pid=828422] ppid=828409 vsize=105380 memory=67264 CPUtime=101.99 cores=4,6
/proc/828422/stat : 828422 (pb-oll-rs) R 828409 828422 828353 0 -1 4194304 11406 0 0 0 10057 142 0 0 20 0 1 0 161506945 107909120 16816 134679101440 4194304 5384005 140736021797104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 9375744 140736021799959 140736021800036 140736021800036 140736021807051 0
/proc/828422/statm: 26345 16816 1461 291 0 17879 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 105380 KiB
Current children cumulated memory: 67264 KiB
[startup+162.3 s]
/proc/loadavg: 4.52 4.25 4.23 8/259 828455
/proc/meminfo: memFree=124160508/131524600 swapFree=131071996/131071996
[pid=828422] ppid=828409 vsize=106760 memory=73284 CPUtime=161.85 cores=4,6
/proc/828422/stat : 828422 (pb-oll-rs) R 828409 828422 828353 0 -1 4194304 11806 0 0 0 15975 210 0 0 20 0 1 0 161506945 109322240 18321 134679101440 4194304 5384005 140736021797104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 9375744 140736021799959 140736021800036 140736021800036 140736021807051 0
/proc/828422/statm: 26690 18321 1461 291 0 18224 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 106760 KiB
Current children cumulated memory: 73284 KiB
[startup+222.3 s]
/proc/loadavg: 4.31 4.24 4.23 8/258 828482
/proc/meminfo: memFree=124146708/131524600 swapFree=131071996/131071996
[pid=828422] ppid=828409 vsize=115944 memory=79920 CPUtime=221.71 cores=4,6
/proc/828422/stat : 828422 (pb-oll-rs) R 828409 828422 828353 0 -1 4194304 13543 0 0 0 21926 245 0 0 20 0 1 0 161506945 118726656 19980 134679101440 4194304 5384005 140736021797104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 9375744 140736021799959 140736021800036 140736021800036 140736021807051 0
/proc/828422/statm: 28986 19980 1461 291 0 20520 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 115944 KiB
Current children cumulated memory: 79920 KiB
[startup+282.3 s]
/proc/loadavg: 4.22 4.23 4.23 8/255 828492
/proc/meminfo: memFree=124122532/131524600 swapFree=131071996/131071996
[pid=828422] ppid=828409 vsize=122488 memory=86940 CPUtime=281.57 cores=4,6
/proc/828422/stat : 828422 (pb-oll-rs) R 828409 828422 828353 0 -1 4194304 14976 0 0 0 27895 262 0 0 20 0 1 0 161506945 125427712 21735 134679101440 4194304 5384005 140736021797104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 9375744 140736021799959 140736021800036 140736021800036 140736021807051 0
/proc/828422/statm: 30622 21735 1461 291 0 22156 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 122488 KiB
Current children cumulated memory: 86940 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.20 4.22 8/254 828502
/proc/meminfo: memFree=124096604/131524600 swapFree=131071996/131071996
[pid=828422] ppid=828409 vsize=146588 memory=94132 CPUtime=341.43 cores=4,6
/proc/828422/stat : 828422 (pb-oll-rs) R 828409 828422 828353 0 -1 4194304 16870 0 0 0 33865 278 0 0 20 0 1 0 161506945 150106112 23533 134679101440 4194304 5384005 140736021797104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 9375744 140736021799959 140736021800036 140736021800036 140736021807051 0
/proc/828422/statm: 36647 23533 1461 291 0 28181 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 146588 KiB
Current children cumulated memory: 94132 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.18 4.20 8/254 828513
/proc/meminfo: memFree=124082124/131524600 swapFree=131071996/131071996
[pid=828422] ppid=828409 vsize=146972 memory=96976 CPUtime=401.29 cores=4,6
/proc/828422/stat : 828422 (pb-oll-rs) R 828409 828422 828353 0 -1 4194304 17261 0 0 0 39823 306 0 0 20 0 1 0 161506945 150499328 24244 134679101440 4194304 5384005 140736021797104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 9375744 140736021799959 140736021800036 140736021800036 140736021807051 0
/proc/828422/statm: 36743 24244 1461 291 0 28277 0
Current children cumulated CPU time: 401.29 s
Current children cumulated vsize: 146972 KiB
Current children cumulated memory: 96976 KiB
[startup+462.3 s]
/proc/loadavg: 4.20 4.19 4.20 8/254 828523
/proc/meminfo: memFree=124074576/131524600 swapFree=131071996/131071996
[pid=828422] ppid=828409 vsize=147260 memory=97160 CPUtime=461.13 cores=4,6
/proc/828422/stat : 828422 (pb-oll-rs) R 828409 828422 828353 0 -1 4194304 17339 0 0 0 45770 343 0 0 20 0 1 0 161506945 150794240 24290 134679101440 4194304 5384005 140736021797104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 9375744 140736021799959 140736021800036 140736021800036 140736021807051 0
/proc/828422/statm: 36815 24290 1461 291 0 28349 0
################
# More data... #
################
Current children cumulated memory: 145084 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.23 4.19 8/255 829546
/proc/meminfo: memFree=123753028/131524600 swapFree=131071996/131071996
[pid=828422] ppid=828409 vsize=204256 memory=145084 CPUtime=2914.96 cores=4,6
/proc/828422/stat : 828422 (pb-oll-rs) R 828409 828422 828353 0 -1 4194304 26873 0 0 0 290645 851 0 0 20 0 1 0 161506945 209158144 36271 134679101440 4194304 5384005 140736021797104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 9375744 140736021799959 140736021800036 140736021800036 140736021807051 0
/proc/828422/statm: 51064 36271 1461 291 0 42598 0
Current children cumulated CPU time: 2914.96 s
Current children cumulated vsize: 204256 KiB
Current children cumulated memory: 145084 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.20 4.18 8/257 829561
/proc/meminfo: memFree=123745508/131524600 swapFree=131071996/131071996
[pid=828422] ppid=828409 vsize=205000 memory=145524 CPUtime=2974.81 cores=4,6
/proc/828422/stat : 828422 (pb-oll-rs) R 828409 828422 828353 0 -1 4194304 27049 0 0 0 296620 861 0 0 20 0 1 0 161506945 209920000 36381 134679101440 4194304 5384005 140736021797104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 9375744 140736021799959 140736021800036 140736021800036 140736021807051 0
/proc/828422/statm: 51250 36381 1461 291 0 42784 0
Current children cumulated CPU time: 2974.81 s
Current children cumulated vsize: 205000 KiB
Current children cumulated memory: 145524 KiB
[startup+3042.3 s]
/proc/loadavg: 4.14 4.19 4.18 8/257 829571
/proc/meminfo: memFree=123739300/131524600 swapFree=131071996/131071996
[pid=828422] ppid=828409 vsize=205000 memory=145524 CPUtime=3034.68 cores=4,6
/proc/828422/stat : 828422 (pb-oll-rs) R 828409 828422 828353 0 -1 4194304 27095 0 0 0 302593 875 0 0 20 0 1 0 161506945 209920000 36381 134679101440 4194304 5384005 140736021797104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 9375744 140736021799959 140736021800036 140736021800036 140736021807051 0
/proc/828422/statm: 51250 36381 1461 291 0 42784 0
Current children cumulated CPU time: 3034.68 s
Current children cumulated vsize: 205000 KiB
Current children cumulated memory: 145524 KiB
[startup+3102.3 s]
/proc/loadavg: 4.05 4.15 4.17 8/257 829581
/proc/meminfo: memFree=123732204/131524600 swapFree=131071996/131071996
[pid=828422] ppid=828409 vsize=205000 memory=147204 CPUtime=3094.54 cores=4,6
/proc/828422/stat : 828422 (pb-oll-rs) R 828409 828422 828353 0 -1 4194304 27147 0 0 0 308568 886 0 0 20 0 1 0 161506945 209920000 36801 134679101440 4194304 5384005 140736021797104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 9375744 140736021799959 140736021800036 140736021800036 140736021807051 0
/proc/828422/statm: 51250 36801 1461 291 0 42784 0
Current children cumulated CPU time: 3094.54 s
Current children cumulated vsize: 205000 KiB
Current children cumulated memory: 147204 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.15 4.17 8/256 829592
/proc/meminfo: memFree=123724668/131524600 swapFree=131071996/131071996
[pid=828422] ppid=828409 vsize=205000 memory=147204 CPUtime=3154.39 cores=4,6
/proc/828422/stat : 828422 (pb-oll-rs) R 828409 828422 828353 0 -1 4194304 27200 0 0 0 314540 899 0 0 20 0 1 0 161506945 209920000 36801 134679101440 4194304 5384005 140736021797104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 9375744 140736021799959 140736021800036 140736021800036 140736021807051 0
/proc/828422/statm: 51250 36801 1461 291 0 42784 0
Current children cumulated CPU time: 3154.39 s
Current children cumulated vsize: 205000 KiB
Current children cumulated memory: 147204 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.14 4.16 8/256 829603
/proc/meminfo: memFree=123722312/131524600 swapFree=131071996/131071996
[pid=828422] ppid=828409 vsize=205000 memory=147204 CPUtime=3214.24 cores=4,6
/proc/828422/stat : 828422 (pb-oll-rs) R 828409 828422 828353 0 -1 4194304 27255 0 0 0 320515 909 0 0 20 0 1 0 161506945 209920000 36801 134679101440 4194304 5384005 140736021797104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 9375744 140736021799959 140736021800036 140736021800036 140736021807051 0
/proc/828422/statm: 51250 36801 1461 291 0 42784 0
Current children cumulated CPU time: 3214.24 s
Current children cumulated vsize: 205000 KiB
Current children cumulated memory: 147204 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.13 4.15 8/254 829996
/proc/meminfo: memFree=123717852/131524600 swapFree=131071996/131071996
[pid=828422] ppid=828409 vsize=205000 memory=147204 CPUtime=3274.08 cores=4,6
/proc/828422/stat : 828422 (pb-oll-rs) R 828409 828422 828353 0 -1 4194304 27310 0 0 0 326491 917 0 0 20 0 1 0 161506945 209920000 36801 134679101440 4194304 5384005 140736021797104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 9375744 140736021799959 140736021800036 140736021800036 140736021807051 0
/proc/828422/statm: 51250 36801 1461 291 0 42784 0
Current children cumulated CPU time: 3274.08 s
Current children cumulated vsize: 205000 KiB
Current children cumulated memory: 147204 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.12 4.15 8/255 830007
/proc/meminfo: memFree=123713364/131524600 swapFree=131071996/131071996
[pid=828422] ppid=828409 vsize=205000 memory=147204 CPUtime=3333.94 cores=4,6
/proc/828422/stat : 828422 (pb-oll-rs) R 828409 828422 828353 0 -1 4194304 27368 0 0 0 332468 926 0 0 20 0 1 0 161506945 209920000 36801 134679101440 4194304 5384005 140736021797104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 9375744 140736021799959 140736021800036 140736021800036 140736021807051 0
/proc/828422/statm: 51250 36801 1461 291 0 42784 0
Current children cumulated CPU time: 3333.94 s
Current children cumulated vsize: 205000 KiB
Current children cumulated memory: 147204 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.14 8/255 830018
/proc/meminfo: memFree=123708520/131524600 swapFree=131071996/131071996
[pid=828422] ppid=828409 vsize=205000 memory=147204 CPUtime=3393.79 cores=4,6
/proc/828422/stat : 828422 (pb-oll-rs) R 828409 828422 828353 0 -1 4194304 27427 0 0 0 338442 937 0 0 20 0 1 0 161506945 209920000 36801 134679101440 4194304 5384005 140736021797104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 9375744 140736021799959 140736021800036 140736021800036 140736021807051 0
/proc/828422/statm: 51250 36801 1461 291 0 42784 0
Current children cumulated CPU time: 3393.79 s
Current children cumulated vsize: 205000 KiB
Current children cumulated memory: 147204 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.10 4.14 8/257 830199
/proc/meminfo: memFree=123704092/131524600 swapFree=131071996/131071996
[pid=828422] ppid=828409 vsize=205000 memory=147208 CPUtime=3453.63 cores=4,6
/proc/828422/stat : 828422 (pb-oll-rs) R 828409 828422 828353 0 -1 4194304 27486 0 0 0 344418 945 0 0 20 0 1 0 161506945 209920000 36802 134679101440 4194304 5384005 140736021797104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 9375744 140736021799959 140736021800036 140736021800036 140736021807051 0
/proc/828422/statm: 51250 36802 1461 291 0 42784 0
Current children cumulated CPU time: 3453.63 s
Current children cumulated vsize: 205000 KiB
Current children cumulated memory: 147208 KiB
[startup+3522.3 s]
/proc/loadavg: 4.06 4.10 4.13 8/257 830209
/proc/meminfo: memFree=123691620/131524600 swapFree=131071996/131071996
[pid=828422] ppid=828409 vsize=205000 memory=147212 CPUtime=3513.48 cores=4,6
/proc/828422/stat : 828422 (pb-oll-rs) R 828409 828422 828353 0 -1 4194304 27548 0 0 0 350392 956 0 0 20 0 1 0 161506945 209920000 36803 134679101440 4194304 5384005 140736021797104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 9375744 140736021799959 140736021800036 140736021800036 140736021807051 0
/proc/828422/statm: 51250 36803 1461 291 0 42784 0
Current children cumulated CPU time: 3513.48 s
Current children cumulated vsize: 205000 KiB
Current children cumulated memory: 147212 KiB
[startup+3582.3 s]
/proc/loadavg: 4.06 4.09 4.13 8/260 830279
/proc/meminfo: memFree=123685704/131524600 swapFree=131071996/131071996
[pid=828422] ppid=828409 vsize=205000 memory=147212 CPUtime=3573.32 cores=4,6
/proc/828422/stat : 828422 (pb-oll-rs) R 828409 828422 828353 0 -1 4194304 27611 0 0 0 356367 965 0 0 20 0 1 0 161506945 209920000 36803 134679101440 4194304 5384005 140736021797104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 9375744 140736021799959 140736021800036 140736021800036 140736021807051 0
/proc/828422/statm: 51250 36803 1461 291 0 42784 0
Current children cumulated CPU time: 3573.32 s
Current children cumulated vsize: 205000 KiB
Current children cumulated memory: 147212 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.11 s]
/proc/loadavg: 4.10 4.10 4.13 8/260 830285
/proc/meminfo: memFree=123683964/131524600 swapFree=131071996/131071996
[pid=828422] ppid=828409 vsize=205516 memory=147484 CPUtime=3600.06 cores=4,6
/proc/828422/stat : 828422 (pb-oll-rs) R 828409 828422 828353 0 -1 4194304 27742 0 0 0 359038 968 0 0 20 0 1 0 161506945 210448384 36871 134679101440 4194304 5384005 140736021797104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 9375744 140736021799959 140736021800036 140736021800036 140736021807051 0
/proc/828422/statm: 51379 36871 1461 291 0 42913 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 205516 KiB
Current children cumulated memory: 147484 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.11 s]
# the end of solver process 828422 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.39 s, system=9.69124 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.11 s]
/proc/loadavg: 4.10 4.10 4.13 8/260 830285
/proc/meminfo: memFree=123683964/131524600 swapFree=131071996/131071996
[pid=828422] ppid=828409 vsize=205516 memory=147484 CPUtime=3600.06 cores=4,6
/proc/828422/stat : 828422 (pb-oll-rs) R 828409 828422 828353 0 -1 4194304 27742 0 0 0 359038 968 0 0 20 0 1 0 161506945 210448384 36871 134679101440 4194304 5384005 140736021797104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 9375744 140736021799959 140736021800036 140736021800036 140736021807051 0
/proc/828422/statm: 51379 36871 1461 291 0 42913 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 205516 KiB
Current children cumulated memory: 147484 KiB
Child status: 0
Real time (s): 3609.11
CPU time (s): 3600.08
CPU user time (s): 3590.39
CPU system time (s): 9.69124
CPU usage (%): 99.7498
Max. virtual memory (cumulated for all children) (KiB): 205516
Max. memory (cumulated for all children) (KiB): 147484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.39
system time used= 9.69124
maximum resident set size= 147564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27760
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= 57
involuntary context switches= 2035
# summary of solver processes directly reported to runsolver:
# pid: 828422
# total CPU time (s): 3600.08
# total CPU user time (s): 3590.39
# total CPU system time (s): 9.69124
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.43162 second user time and 19.8127 second system time
The end
Begin job on nodeC015 at 2024-07-16 03:31:19
IDJOB=4435859
IDBENCH=147543
IDSOLVER=3067
FILE ID=nodeC015/4435859-1721093467
RUNJOBID= nodeC015-1721093479-828364
SLURM_JOB_ID= 7505595
Free space on /tmp= 890084 MiB
SOLVER NAME= pb-oll-rs 2024-07-02
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-4435859-1721093467/watcher-4435859-1721093467 -o /tmp/evaluation-result-4435859-1721093467/solver-4435859-1721093467 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721093479-828364 --watchdog 3760 pb-oll-rs HOME/instance-4435859-1721093467.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 79a11fcf881101c51e0b67ee01609c80
RANDOM SEED=540962907
nodeC015.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 : 0xb00002a
cpu MHz : 3185.706
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 invpcid_single pti ibrs ibpb stibp 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 : 6999.61
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 : 3398.785
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 invpcid_single pti ibrs ibpb stibp 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 : 7006.25
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 : 3494.677
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 invpcid_single pti ibrs ibpb stibp 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 : 6999.61
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 : 3755.200
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 invpcid_single pti ibrs ibpb stibp 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 : 7006.25
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 : 3671.158
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 invpcid_single pti ibrs ibpb stibp 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 : 6999.61
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 : 3792.986
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 invpcid_single pti ibrs ibpb stibp 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 : 7006.25
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 : 3615.953
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 invpcid_single pti ibrs ibpb stibp 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 : 6999.61
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 : 3654.212
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 invpcid_single pti ibrs ibpb stibp 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 : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 124443232 kB
MemAvailable: 129703292 kB
Buffers: 376212 kB
Cached: 5712888 kB
SwapCached: 0 kB
Active: 1203684 kB
Inactive: 5266108 kB
Active(anon): 1492 kB
Inactive(anon): 417292 kB
Active(file): 1202192 kB
Inactive(file): 4848816 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 8076 kB
Writeback: 0 kB
AnonPages: 379368 kB
Mapped: 103848 kB
Shmem: 37720 kB
KReclaimable: 97396 kB
Slab: 204412 kB
SReclaimable: 97396 kB
SUnreclaim: 107016 kB
KernelStack: 3856 kB
PageTables: 9928 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 836668 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 62176 kB
HardwareCorrupted: 0 kB
AnonHugePages: 249856 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: 228052 kB
DirectMap2M: 33099776 kB
DirectMap1G: 102760448 kB
Free space on /tmp at the end= 890076 MiB
End job on nodeC015 at 2024-07-16 04:31:29