0.00/0.02 c RoundingSat 2
0.00/0.02 c branch
0.00/0.02 c commit
0.00/0.02 c with Papilo
0.00/0.02 c with SCIP
0.00/0.02 c [STEP] parsing instance
0.58/0.63 c [STEP] preprocessing with Papilo
0.77/0.85 c [STEP] solving with SCIP
300.06/301.07 c [STEP] preprocessing done, loading into solver
300.25/301.22 c [STEP] solving
300.25/301.22 c #variables 4149 #constraints 90488
300.25/301.23 c SMALL=int, LARGE=long long
300.25/301.23 d SCIPUB -19955
300.25/301.23 c bounds - >= -300660 @ 299.907
300.25/301.23 c stratification level: 427
580.83/582.50 c bounds - >= -300233 @ 299.911
580.83/582.50 c #Conflicts: 1000 | #Constraints: 91489
580.83/582.50 c #Conflicts: 2000 | #Constraints: 92489
580.83/582.50 c INPROCESSING
580.83/582.50 c GARBAGE COLLECT
580.83/582.50 c #Conflicts: 3000 | #Constraints: 92496
580.83/582.50 c #Conflicts: 4000 | #Constraints: 93496
580.83/582.50 c INPROCESSING
580.83/582.50 c GARBAGE COLLECT
580.83/582.50 c #Conflicts: 5000 | #Constraints: 92900
580.83/582.50 c #Conflicts: 6000 | #Constraints: 93900
580.83/582.50 c INPROCESSING
580.83/582.50 c GARBAGE COLLECT
580.83/582.50 c #Conflicts: 7000 | #Constraints: 92915
580.83/582.50 c #Conflicts: 8000 | #Constraints: 93915
580.83/582.50 c #Conflicts: 9000 | #Constraints: 94915
580.83/582.50 c INPROCESSING
580.83/582.50 c GARBAGE COLLECT
580.83/582.50 c #Conflicts: 10000 | #Constraints: 93612
580.83/582.50 c #Conflicts: 11000 | #Constraints: 94612
580.83/582.50 c #Conflicts: 12000 | #Constraints: 95612
580.83/582.50 c INPROCESSING
580.83/582.50 c GARBAGE COLLECT
580.83/582.50 c #Conflicts: 13000 | #Constraints: 94060
580.83/582.50 c #Conflicts: 14000 | #Constraints: 95060
580.83/582.50 c #Conflicts: 15000 | #Constraints: 96060
580.83/582.50 c INPROCESSING
580.83/582.50 c GARBAGE COLLECT
580.83/582.50 c #Conflicts: 16000 | #Constraints: 94292
580.83/582.50 c #Conflicts: 17000 | #Constraints: 95292
580.83/582.50 c #Conflicts: 18000 | #Constraints: 96292
580.83/582.50 c INPROCESSING
580.83/582.50 c GARBAGE COLLECT
580.83/582.50 c #Conflicts: 19000 | #Constraints: 94310
580.83/582.50 c #Conflicts: 20000 | #Constraints: 95310
580.83/582.50 c #Conflicts: 21000 | #Constraints: 96310
580.83/582.50 c INPROCESSING
580.83/582.50 c GARBAGE COLLECT
580.83/582.50 c #Conflicts: 22000 | #Constraints: 94117
580.83/582.50 c #Conflicts: 23000 | #Constraints: 95117
580.83/582.50 c #Conflicts: 24000 | #Constraints: 96117
580.83/582.50 c #Conflicts: 25000 | #Constraints: 97117
580.83/582.50 c INPROCESSING
580.83/582.50 c GARBAGE COLLECT
580.83/582.50 c #Conflicts: 26000 | #Constraints: 94714
580.83/582.50 c #Conflicts: 27000 | #Constraints: 95714
580.83/582.50 c #Conflicts: 28000 | #Constraints: 96714
580.83/582.50 c #Conflicts: 29000 | #Constraints: 97714
580.83/582.50 c INPROCESSING
580.83/582.50 c GARBAGE COLLECT
580.83/582.50 c #Conflicts: 30000 | #Constraints: 95108
580.83/582.50 c #Conflicts: 31000 | #Constraints: 96108
580.83/582.50 c #Conflicts: 32000 | #Constraints: 97108
580.83/582.50 c #Conflicts: 33000 | #Constraints: 98108
580.83/582.50 c INPROCESSING
580.83/582.50 c GARBAGE COLLECT
580.83/582.50 c #Conflicts: 34000 | #Constraints: 95309
580.83/582.50 c #Conflicts: 35000 | #Constraints: 96309
580.83/582.50 c #Conflicts: 36000 | #Constraints: 97309
580.83/582.50 c #Conflicts: 37000 | #Constraints: 98309
580.83/582.50 c INPROCESSING
580.83/582.50 c GARBAGE COLLECT
580.83/582.50 c #Conflicts: 38000 | #Constraints: 95320
580.83/582.50 c #Conflicts: 39000 | #Constraints: 96320
580.83/582.50 c #Conflicts: 40000 | #Constraints: 97320
580.83/582.50 c #Conflicts: 41000 | #Constraints: 98320
580.83/582.50 c INPROCESSING
580.83/582.50 c GARBAGE COLLECT
580.83/582.50 c #Conflicts: 42000 | #Constraints: 95123
580.83/582.50 c #Conflicts: 43000 | #Constraints: 96123
580.83/582.50 c #Conflicts: 44000 | #Constraints: 97123
580.83/582.50 c #Conflicts: 45000 | #Constraints: 98123
580.83/582.50 c #Conflicts: 46000 | #Constraints: 99123
580.83/582.50 c INPROCESSING
580.83/582.50 c GARBAGE COLLECT
580.83/582.50 c #Conflicts: 47000 | #Constraints: 95719
580.83/582.50 c #Conflicts: 48000 | #Constraints: 96719
580.83/582.50 c #Conflicts: 49000 | #Constraints: 97719
580.83/582.50 c #Conflicts: 50000 | #Constraints: 98719
580.83/582.50 c #Conflicts: 51000 | #Constraints: 99719
580.83/582.50 c INPROCESSING
580.83/582.50 c GARBAGE COLLECT
580.83/582.50 c #Conflicts: 52000 | #Constraints: 96114
580.83/582.50 c #Conflicts: 53000 | #Constraints: 97114
580.83/582.50 c #Conflicts: 54000 | #Constraints: 98114
580.83/582.50 c #Conflicts: 55000 | #Constraints: 99114
580.83/582.50 c #Conflicts: 56000 | #Constraints: 100114
580.83/582.50 c INPROCESSING
580.83/582.50 c GARBAGE COLLECT
580.83/582.50 c #Conflicts: 57000 | #Constraints: 96309
580.83/582.50 c #Conflicts: 58000 | #Constraints: 97309
580.83/582.50 c #Conflicts: 59000 | #Constraints: 98309
580.83/582.50 c #Conflicts: 60000 | #Constraints: 99309
580.83/582.50 c #Conflicts: 61000 | #Constraints: 100309
580.83/582.50 c INPROCESSING
580.83/582.50 c GARBAGE COLLECT
580.83/582.50 c #Conflicts: 62000 | #Constraints: 96310
580.83/582.50 c #Conflicts: 63000 | #Constraints: 97310
580.83/582.50 c #Conflicts: 64000 | #Constraints: 98310
580.83/582.50 c #Conflicts: 65000 | #Constraints: 99310
580.83/582.50 c #Conflicts: 66000 | #Constraints: 100310
580.83/582.50 c INPROCESSING
580.83/582.50 c GARBAGE COLLECT
580.83/582.50 c #Conflicts: 67000 | #Constraints: 96121
960.11/962.82 c #Conflicts: 68000 | #Constraints: 97121
960.11/962.82 c #Conflicts: 69000 | #Constraints: 98121
960.11/962.82 c #Conflicts: 70000 | #Constraints: 99121
960.11/962.82 c #Conflicts: 71000 | #Constraints: 100121
960.11/962.82 c #Conflicts: 72000 | #Constraints: 101121
960.11/962.82 c INPROCESSING
960.11/962.82 c GARBAGE COLLECT
960.11/962.82 c #Conflicts: 73000 | #Constraints: 96716
960.11/962.82 c #Conflicts: 74000 | #Constraints: 97716
960.11/962.82 c #Conflicts: 75000 | #Constraints: 98716
960.11/962.82 c #Conflicts: 76000 | #Constraints: 99716
960.11/962.82 c #Conflicts: 77000 | #Constraints: 100716
960.11/962.82 c #Conflicts: 78000 | #Constraints: 101716
960.11/962.82 c INPROCESSING
960.11/962.82 c GARBAGE COLLECT
960.11/962.82 c #Conflicts: 79000 | #Constraints: 97115
960.11/962.82 c #Conflicts: 80000 | #Constraints: 98115
960.11/962.82 c #Conflicts: 81000 | #Constraints: 99115
960.11/962.82 c #Conflicts: 82000 | #Constraints: 100115
960.11/962.82 c #Conflicts: 83000 | #Constraints: 101115
960.11/962.82 c #Conflicts: 84000 | #Constraints: 102115
960.11/962.82 c INPROCESSING
960.11/962.82 c GARBAGE COLLECT
960.11/962.82 c #Conflicts: 85000 | #Constraints: 97314
960.11/962.82 c #Conflicts: 86000 | #Constraints: 98314
960.11/962.82 c #Conflicts: 87000 | #Constraints: 99314
960.11/962.82 c #Conflicts: 88000 | #Constraints: 100314
960.11/962.82 c #Conflicts: 89000 | #Constraints: 101314
960.11/962.82 c #Conflicts: 90000 | #Constraints: 102314
960.11/962.82 c INPROCESSING
960.11/962.82 c GARBAGE COLLECT
960.11/962.82 c #Conflicts: 91000 | #Constraints: 97316
960.11/962.82 c #Conflicts: 92000 | #Constraints: 98316
960.11/962.82 c #Conflicts: 93000 | #Constraints: 99316
960.11/962.82 c #Conflicts: 94000 | #Constraints: 100316
960.11/962.82 c #Conflicts: 95000 | #Constraints: 101316
960.11/962.82 c #Conflicts: 96000 | #Constraints: 102316
960.11/962.82 c INPROCESSING
960.11/962.82 c GARBAGE COLLECT
960.11/962.82 c #Conflicts: 97000 | #Constraints: 97121
960.11/962.82 c #Conflicts: 98000 | #Constraints: 98121
960.11/962.82 c #Conflicts: 99000 | #Constraints: 99121
960.11/962.82 c #Conflicts: 100000 | #Constraints: 100121
960.11/962.82 c #Conflicts: 101000 | #Constraints: 101121
960.11/962.82 c #Conflicts: 102000 | #Constraints: 102121
960.11/962.82 c #Conflicts: 103000 | #Constraints: 103121
960.11/962.82 c INPROCESSING
960.11/962.82 c GARBAGE COLLECT
960.11/962.82 c #Conflicts: 104000 | #Constraints: 97718
960.11/962.82 c #Conflicts: 105000 | #Constraints: 98718
960.11/962.82 c #Conflicts: 106000 | #Constraints: 99718
960.11/962.82 c #Conflicts: 107000 | #Constraints: 100718
960.11/962.82 c #Conflicts: 108000 | #Constraints: 101718
960.11/962.82 c #Conflicts: 109000 | #Constraints: 102718
960.11/962.82 c #Conflicts: 110000 | #Constraints: 103718
960.11/962.82 c INPROCESSING
960.11/962.82 c GARBAGE COLLECT
960.11/962.82 c #Conflicts: 111000 | #Constraints: 98135
960.11/962.82 c #Conflicts: 112000 | #Constraints: 99135
960.11/962.82 c #Conflicts: 113000 | #Constraints: 100135
960.11/962.82 c #Conflicts: 114000 | #Constraints: 101135
960.11/962.82 c #Conflicts: 115000 | #Constraints: 102135
960.11/962.82 c #Conflicts: 116000 | #Constraints: 103135
960.11/962.82 c #Conflicts: 117000 | #Constraints: 104135
960.11/962.82 c INPROCESSING
960.11/962.82 c GARBAGE COLLECT
960.11/962.82 c #Conflicts: 118000 | #Constraints: 98344
960.11/962.82 c #Conflicts: 119000 | #Constraints: 99344
960.11/962.82 c #Conflicts: 120000 | #Constraints: 100344
960.11/962.82 c #Conflicts: 121000 | #Constraints: 101344
960.11/962.82 c #Conflicts: 122000 | #Constraints: 102344
960.11/962.82 c #Conflicts: 123000 | #Constraints: 103344
960.11/962.82 c #Conflicts: 124000 | #Constraints: 104344
960.11/962.82 c INPROCESSING
960.11/962.82 c GARBAGE COLLECT
960.11/962.82 c #Conflicts: 125000 | #Constraints: 98330
960.11/962.82 c #Conflicts: 126000 | #Constraints: 99330
960.11/962.82 c #Conflicts: 127000 | #Constraints: 100330
960.11/962.82 c #Conflicts: 128000 | #Constraints: 101330
960.11/962.82 c #Conflicts: 129000 | #Constraints: 102330
960.11/962.82 c #Conflicts: 130000 | #Constraints: 103330
960.11/962.82 c #Conflicts: 131000 | #Constraints: 104330
960.11/962.82 c INPROCESSING
960.11/962.82 c GARBAGE COLLECT
960.11/962.82 c #Conflicts: 132000 | #Constraints: 98128
960.11/962.82 c #Conflicts: 133000 | #Constraints: 99128
960.11/962.82 c #Conflicts: 134000 | #Constraints: 100128
960.11/962.82 c #Conflicts: 135000 | #Constraints: 101128
960.11/962.82 c #Conflicts: 136000 | #Constraints: 102128
960.11/962.82 c #Conflicts: 137000 | #Constraints: 103128
960.11/962.82 c #Conflicts: 138000 | #Constraints: 104128
960.11/962.82 c #Conflicts: 139000 | #Constraints: 105128
960.11/962.82 c INPROCESSING
1411.39/1415.32 c GARBAGE COLLECT
1411.39/1415.32 c #Conflicts: 140000 | #Constraints: 98756
1411.39/1415.32 c #Conflicts: 141000 | #Constraints: 99756
1411.39/1415.32 c #Conflicts: 142000 | #Constraints: 100756
1411.39/1415.32 c #Conflicts: 143000 | #Constraints: 101756
1411.39/1415.32 c #Conflicts: 144000 | #Constraints: 102756
1411.39/1415.32 c #Conflicts: 145000 | #Constraints: 103756
1411.39/1415.32 c #Conflicts: 146000 | #Constraints: 104756
1411.39/1415.32 c #Conflicts: 147000 | #Constraints: 105756
1411.39/1415.32 c INPROCESSING
1411.39/1415.32 c GARBAGE COLLECT
1411.39/1415.32 c #Conflicts: 148000 | #Constraints: 99178
1411.39/1415.32 c #Conflicts: 149000 | #Constraints: 100178
1411.39/1415.32 c #Conflicts: 150000 | #Constraints: 101178
1411.39/1415.32 c #Conflicts: 151000 | #Constraints: 102178
1411.39/1415.32 c #Conflicts: 152000 | #Constraints: 103178
1411.39/1415.32 c #Conflicts: 153000 | #Constraints: 104178
1411.39/1415.32 c #Conflicts: 154000 | #Constraints: 105178
1411.39/1415.32 c #Conflicts: 155000 | #Constraints: 106178
1411.39/1415.32 c INPROCESSING
1411.39/1415.32 c GARBAGE COLLECT
1411.39/1415.32 c #Conflicts: 156000 | #Constraints: 99371
1411.39/1415.32 c #Conflicts: 157000 | #Constraints: 100371
1411.39/1415.32 c #Conflicts: 158000 | #Constraints: 101371
1411.39/1415.32 c #Conflicts: 159000 | #Constraints: 102371
1411.39/1415.32 c #Conflicts: 160000 | #Constraints: 103371
1411.39/1415.32 c #Conflicts: 161000 | #Constraints: 104371
1411.39/1415.32 c #Conflicts: 162000 | #Constraints: 105371
1411.39/1415.32 c #Conflicts: 163000 | #Constraints: 106371
1411.39/1415.32 c INPROCESSING
1411.39/1415.32 c GARBAGE COLLECT
1411.39/1415.32 c #Conflicts: 164000 | #Constraints: 99376
1411.39/1415.32 c #Conflicts: 165000 | #Constraints: 100376
1411.39/1415.32 c #Conflicts: 166000 | #Constraints: 101376
1411.39/1415.32 c #Conflicts: 167000 | #Constraints: 102376
1411.39/1415.32 c #Conflicts: 168000 | #Constraints: 103376
1411.39/1415.32 c #Conflicts: 169000 | #Constraints: 104376
1411.39/1415.32 c #Conflicts: 170000 | #Constraints: 105376
1411.39/1415.32 c #Conflicts: 171000 | #Constraints: 106376
1411.39/1415.32 c INPROCESSING
1411.39/1415.32 c GARBAGE COLLECT
1411.39/1415.32 c #Conflicts: 172000 | #Constraints: 99145
1411.39/1415.32 c #Conflicts: 173000 | #Constraints: 100145
1411.39/1415.32 c #Conflicts: 174000 | #Constraints: 101145
1411.39/1415.32 c #Conflicts: 175000 | #Constraints: 102145
1411.39/1415.32 c #Conflicts: 176000 | #Constraints: 103145
1411.39/1415.32 c #Conflicts: 177000 | #Constraints: 104145
1411.39/1415.32 c #Conflicts: 178000 | #Constraints: 105145
1411.39/1415.32 c #Conflicts: 179000 | #Constraints: 106145
1411.39/1415.32 c #Conflicts: 180000 | #Constraints: 107145
1411.39/1415.32 c INPROCESSING
1411.39/1415.32 c GARBAGE COLLECT
1411.39/1415.32 c #Conflicts: 181000 | #Constraints: 99733
1411.39/1415.32 c #Conflicts: 182000 | #Constraints: 100733
1411.39/1415.32 c #Conflicts: 183000 | #Constraints: 101733
1411.39/1415.32 c #Conflicts: 184000 | #Constraints: 102733
1411.39/1415.32 c #Conflicts: 185000 | #Constraints: 103733
1411.39/1415.32 c #Conflicts: 186000 | #Constraints: 104733
1411.39/1415.32 c #Conflicts: 187000 | #Constraints: 105733
1411.39/1415.32 c #Conflicts: 188000 | #Constraints: 106733
1411.39/1415.32 c #Conflicts: 189000 | #Constraints: 107733
1411.39/1415.32 c INPROCESSING
1411.39/1415.32 c GARBAGE COLLECT
1411.39/1415.32 c #Conflicts: 190000 | #Constraints: 100139
1411.39/1415.32 c #Conflicts: 191000 | #Constraints: 101139
1411.39/1415.32 c #Conflicts: 192000 | #Constraints: 102139
1411.39/1415.32 c #Conflicts: 193000 | #Constraints: 103139
1411.39/1415.32 c #Conflicts: 194000 | #Constraints: 104139
1411.39/1415.32 c #Conflicts: 195000 | #Constraints: 105139
1411.39/1415.32 c #Conflicts: 196000 | #Constraints: 106139
1411.39/1415.32 c #Conflicts: 197000 | #Constraints: 107139
1411.39/1415.32 c #Conflicts: 198000 | #Constraints: 108139
1411.39/1415.32 c INPROCESSING
1411.39/1415.32 c GARBAGE COLLECT
1411.39/1415.32 c #Conflicts: 199000 | #Constraints: 100339
1411.39/1415.32 c #Conflicts: 200000 | #Constraints: 101339
1411.39/1415.32 c #Conflicts: 201000 | #Constraints: 102339
1411.39/1415.32 c #Conflicts: 202000 | #Constraints: 103339
1411.39/1415.32 c #Conflicts: 203000 | #Constraints: 104339
1411.39/1415.32 c #Conflicts: 204000 | #Constraints: 105339
1411.39/1415.32 c #Conflicts: 205000 | #Constraints: 106339
1411.39/1415.32 c #Conflicts: 206000 | #Constraints: 107339
1411.39/1415.32 c #Conflicts: 207000 | #Constraints: 108339
1411.39/1415.32 c INPROCESSING
1411.39/1415.32 c GARBAGE COLLECT
1411.39/1415.32 c #Conflicts: 208000 | #Constraints: 100357
1411.39/1415.32 c #Conflicts: 209000 | #Constraints: 101357
1411.39/1415.32 c #Conflicts: 210000 | #Constraints: 102357
1411.39/1415.32 c #Conflicts: 211000 | #Constraints: 103357
1411.39/1415.32 c #Conflicts: 212000 | #Constraints: 104357
1411.39/1415.32 c #Conflicts: 213000 | #Constraints: 105357
1730.23/1735.06 c #Conflicts: 214000 | #Constraints: 106357
1730.23/1735.06 c #Conflicts: 215000 | #Constraints: 107357
1730.23/1735.06 c #Conflicts: 216000 | #Constraints: 108357
1730.23/1735.06 c INPROCESSING
1730.23/1735.06 c GARBAGE COLLECT
1730.23/1735.06 c #Conflicts: 217000 | #Constraints: 100177
1730.23/1735.06 c #Conflicts: 218000 | #Constraints: 101177
1730.23/1735.06 c #Conflicts: 219000 | #Constraints: 102177
1730.23/1735.06 c #Conflicts: 220000 | #Constraints: 103177
1730.23/1735.06 c #Conflicts: 221000 | #Constraints: 104177
1730.23/1735.06 c #Conflicts: 222000 | #Constraints: 105177
1730.23/1735.06 c #Conflicts: 223000 | #Constraints: 106177
1730.23/1735.06 c #Conflicts: 224000 | #Constraints: 107177
1730.23/1735.06 c #Conflicts: 225000 | #Constraints: 108177
1730.23/1735.06 c #Conflicts: 226000 | #Constraints: 109177
1730.23/1735.06 c INPROCESSING
1730.23/1735.06 c GARBAGE COLLECT
1730.23/1735.06 c #Conflicts: 227000 | #Constraints: 100764
1730.23/1735.06 c #Conflicts: 228000 | #Constraints: 101764
1730.23/1735.06 c #Conflicts: 229000 | #Constraints: 102764
1730.23/1735.06 c #Conflicts: 230000 | #Constraints: 103764
1730.23/1735.06 c #Conflicts: 231000 | #Constraints: 104764
1730.23/1735.07 c #Conflicts: 232000 | #Constraints: 105764
1730.23/1735.07 c #Conflicts: 233000 | #Constraints: 106764
1730.23/1735.07 c #Conflicts: 234000 | #Constraints: 107764
1730.23/1735.07 c #Conflicts: 235000 | #Constraints: 108764
1730.23/1735.07 c #Conflicts: 236000 | #Constraints: 109764
1730.23/1735.07 c INPROCESSING
1730.23/1735.07 c GARBAGE COLLECT
1730.23/1735.07 c #Conflicts: 237000 | #Constraints: 101164
1730.23/1735.07 c #Conflicts: 238000 | #Constraints: 102164
1730.23/1735.07 c #Conflicts: 239000 | #Constraints: 103164
1730.23/1735.07 c #Conflicts: 240000 | #Constraints: 104164
1730.23/1735.07 c #Conflicts: 241000 | #Constraints: 105164
1730.23/1735.07 c #Conflicts: 242000 | #Constraints: 106164
1730.23/1735.07 c #Conflicts: 243000 | #Constraints: 107164
1730.23/1735.07 c #Conflicts: 244000 | #Constraints: 108164
1730.23/1735.07 c #Conflicts: 245000 | #Constraints: 109164
1730.23/1735.07 c #Conflicts: 246000 | #Constraints: 110164
1730.23/1735.07 c INPROCESSING
1730.23/1735.07 c GARBAGE COLLECT
1730.23/1735.07 c #Conflicts: 247000 | #Constraints: 101351
1730.23/1735.07 c #Conflicts: 248000 | #Constraints: 102351
1730.23/1735.07 c #Conflicts: 249000 | #Constraints: 103351
1730.23/1735.07 c #Conflicts: 250000 | #Constraints: 104351
1730.23/1735.07 c #Conflicts: 251000 | #Constraints: 105351
1730.23/1735.07 c #Conflicts: 252000 | #Constraints: 106351
1730.23/1735.07 c #Conflicts: 253000 | #Constraints: 107351
1730.23/1735.07 c #Conflicts: 254000 | #Constraints: 108351
1730.23/1735.07 c #Conflicts: 255000 | #Constraints: 109351
1730.23/1735.07 c #Conflicts: 256000 | #Constraints: 110351
1730.23/1735.07 c INPROCESSING
1730.23/1735.07 c GARBAGE COLLECT
1730.23/1735.07 c #Conflicts: 257000 | #Constraints: 101351
1730.23/1735.07 c #Conflicts: 258000 | #Constraints: 102351
1730.23/1735.07 c #Conflicts: 259000 | #Constraints: 103351
1730.23/1735.07 c #Conflicts: 260000 | #Constraints: 104351
1730.23/1735.07 c #Conflicts: 261000 | #Constraints: 105351
1730.23/1735.07 c #Conflicts: 262000 | #Constraints: 106351
1730.23/1735.07 c #Conflicts: 263000 | #Constraints: 107351
1730.23/1735.07 c #Conflicts: 264000 | #Constraints: 108351
1730.23/1735.07 c #Conflicts: 265000 | #Constraints: 109351
1730.23/1735.07 c #Conflicts: 266000 | #Constraints: 110351
1730.23/1735.07 c INPROCESSING
1730.23/1735.07 c GARBAGE COLLECT
1730.23/1735.07 c #Conflicts: 267000 | #Constraints: 101146
1730.23/1735.07 c #Conflicts: 268000 | #Constraints: 102146
1730.23/1735.07 c #Conflicts: 269000 | #Constraints: 103146
1730.23/1735.07 c #Conflicts: 270000 | #Constraints: 104146
1730.23/1735.07 c #Conflicts: 271000 | #Constraints: 105146
1730.23/1735.07 c #Conflicts: 272000 | #Constraints: 106146
1730.23/1735.07 c #Conflicts: 273000 | #Constraints: 107146
1730.23/1735.07 c #Conflicts: 274000 | #Constraints: 108146
1730.23/1735.07 c #Conflicts: 275000 | #Constraints: 109146
1730.23/1735.07 c #Conflicts: 276000 | #Constraints: 110146
1730.23/1735.07 c #Conflicts: 277000 | #Constraints: 111146
1730.23/1735.07 c INPROCESSING
1730.23/1735.07 c GARBAGE COLLECT
1730.23/1735.07 c #Conflicts: 278000 | #Constraints: 101743
1730.23/1735.07 c #Conflicts: 279000 | #Constraints: 102743
1730.23/1735.07 c #Conflicts: 280000 | #Constraints: 103743
1730.23/1735.07 c #Conflicts: 281000 | #Constraints: 104743
1730.23/1735.07 c #Conflicts: 282000 | #Constraints: 105743
1730.23/1735.07 c #Conflicts: 283000 | #Constraints: 106743
1730.23/1735.07 c #Conflicts: 284000 | #Constraints: 107743
1730.23/1735.07 c #Conflicts: 285000 | #Constraints: 108743
1730.23/1735.07 c #Conflicts: 286000 | #Constraints: 109743
1730.23/1735.07 c #Conflicts: 287000 | #Constraints: 110743
2099.42/2105.23 c #Conflicts: 288000 | #Constraints: 111743
2099.42/2105.23 c INPROCESSING
2099.42/2105.23 c GARBAGE COLLECT
2099.42/2105.23 c #Conflicts: 289000 | #Constraints: 102139
2099.42/2105.23 c #Conflicts: 290000 | #Constraints: 103139
2099.42/2105.23 c #Conflicts: 291000 | #Constraints: 104139
2099.42/2105.23 c #Conflicts: 292000 | #Constraints: 105139
2099.42/2105.23 c #Conflicts: 293000 | #Constraints: 106139
2099.42/2105.23 c #Conflicts: 294000 | #Constraints: 107139
2099.42/2105.23 c #Conflicts: 295000 | #Constraints: 108139
2099.42/2105.23 c #Conflicts: 296000 | #Constraints: 109139
2099.42/2105.23 c #Conflicts: 297000 | #Constraints: 110139
2099.42/2105.23 c #Conflicts: 298000 | #Constraints: 111139
2099.42/2105.23 c #Conflicts: 299000 | #Constraints: 112139
2099.42/2105.23 c INPROCESSING
2099.42/2105.23 c GARBAGE COLLECT
2099.42/2105.23 c #Conflicts: 300000 | #Constraints: 102361
2099.42/2105.23 c #Conflicts: 301000 | #Constraints: 103361
2099.42/2105.23 c #Conflicts: 302000 | #Constraints: 104361
2099.42/2105.23 c #Conflicts: 303000 | #Constraints: 105361
2099.42/2105.23 c #Conflicts: 304000 | #Constraints: 106361
2099.42/2105.23 c #Conflicts: 305000 | #Constraints: 107361
2099.42/2105.23 c #Conflicts: 306000 | #Constraints: 108361
2099.42/2105.23 c #Conflicts: 307000 | #Constraints: 109361
2099.42/2105.23 c #Conflicts: 308000 | #Constraints: 110361
2099.42/2105.23 c #Conflicts: 309000 | #Constraints: 111361
2099.42/2105.23 c #Conflicts: 310000 | #Constraints: 112361
2099.42/2105.23 c INPROCESSING
2099.42/2105.23 c GARBAGE COLLECT
2099.42/2105.23 c #Conflicts: 311000 | #Constraints: 102356
2099.42/2105.23 c #Conflicts: 312000 | #Constraints: 103356
2099.42/2105.23 c #Conflicts: 313000 | #Constraints: 104356
2099.42/2105.23 c #Conflicts: 314000 | #Constraints: 105356
2099.42/2105.23 c #Conflicts: 315000 | #Constraints: 106356
2099.42/2105.23 c #Conflicts: 316000 | #Constraints: 107356
2099.42/2105.23 c #Conflicts: 317000 | #Constraints: 108356
2099.42/2105.23 c #Conflicts: 318000 | #Constraints: 109356
2099.42/2105.23 c #Conflicts: 319000 | #Constraints: 110356
2099.42/2105.23 c #Conflicts: 320000 | #Constraints: 111356
2099.42/2105.23 c #Conflicts: 321000 | #Constraints: 112356
2099.42/2105.23 c INPROCESSING
2099.42/2105.23 c GARBAGE COLLECT
2099.42/2105.23 c #Conflicts: 322000 | #Constraints: 102146
2099.42/2105.23 c #Conflicts: 323000 | #Constraints: 103146
2099.42/2105.23 c #Conflicts: 324000 | #Constraints: 104146
2099.42/2105.23 c #Conflicts: 325000 | #Constraints: 105146
2099.42/2105.23 c #Conflicts: 326000 | #Constraints: 106146
2099.42/2105.23 c #Conflicts: 327000 | #Constraints: 107146
2099.42/2105.23 c #Conflicts: 328000 | #Constraints: 108146
2099.42/2105.23 c #Conflicts: 329000 | #Constraints: 109146
2099.42/2105.23 c #Conflicts: 330000 | #Constraints: 110146
2099.42/2105.23 c #Conflicts: 331000 | #Constraints: 111146
2099.42/2105.23 c #Conflicts: 332000 | #Constraints: 112146
2099.42/2105.23 c #Conflicts: 333000 | #Constraints: 113146
2099.42/2105.23 c INPROCESSING
2099.42/2105.23 c GARBAGE COLLECT
2099.42/2105.23 c #Conflicts: 334000 | #Constraints: 102755
2099.42/2105.23 c #Conflicts: 335000 | #Constraints: 103755
2099.42/2105.23 c #Conflicts: 336000 | #Constraints: 104755
2099.42/2105.23 c #Conflicts: 337000 | #Constraints: 105755
2099.42/2105.23 c #Conflicts: 338000 | #Constraints: 106755
2099.42/2105.23 c #Conflicts: 339000 | #Constraints: 107755
2099.42/2105.23 c #Conflicts: 340000 | #Constraints: 108755
2099.42/2105.23 c #Conflicts: 341000 | #Constraints: 109755
2099.42/2105.23 c #Conflicts: 342000 | #Constraints: 110755
2099.42/2105.23 c #Conflicts: 343000 | #Constraints: 111755
2099.42/2105.23 c #Conflicts: 344000 | #Constraints: 112755
2099.42/2105.23 c #Conflicts: 345000 | #Constraints: 113755
2099.42/2105.23 c INPROCESSING
2099.42/2105.23 c GARBAGE COLLECT
2099.42/2105.23 c #Conflicts: 346000 | #Constraints: 103142
2099.42/2105.23 c #Conflicts: 347000 | #Constraints: 104142
2099.42/2105.23 c #Conflicts: 348000 | #Constraints: 105142
2099.42/2105.23 c #Conflicts: 349000 | #Constraints: 106142
2099.42/2105.23 c #Conflicts: 350000 | #Constraints: 107142
2099.42/2105.23 c #Conflicts: 351000 | #Constraints: 108142
2099.42/2105.23 c #Conflicts: 352000 | #Constraints: 109142
2099.42/2105.23 c #Conflicts: 353000 | #Constraints: 110142
2099.42/2105.23 c #Conflicts: 354000 | #Constraints: 111142
2099.42/2105.23 c #Conflicts: 355000 | #Constraints: 112142
2099.42/2105.23 c #Conflicts: 356000 | #Constraints: 113142
2099.42/2105.23 c #Conflicts: 357000 | #Constraints: 114142
2099.42/2105.23 c INPROCESSING
2099.42/2105.23 c GARBAGE COLLECT
2099.42/2105.23 c #Conflicts: 358000 | #Constraints: 103353
2099.42/2105.23 c #Conflicts: 359000 | #Constraints: 104353
2099.42/2105.23 c #Conflicts: 360000 | #Constraints: 105353
2099.42/2105.23 c #Conflicts: 361000 | #Constraints: 106353
2556.18/2563.20 c #Conflicts: 362000 | #Constraints: 107353
2556.18/2563.20 c #Conflicts: 363000 | #Constraints: 108353
2556.18/2563.20 c #Conflicts: 364000 | #Constraints: 109353
2556.18/2563.20 c #Conflicts: 365000 | #Constraints: 110353
2556.18/2563.20 c #Conflicts: 366000 | #Constraints: 111353
2556.18/2563.20 c #Conflicts: 367000 | #Constraints: 112353
2556.18/2563.20 c #Conflicts: 368000 | #Constraints: 113353
2556.18/2563.20 c #Conflicts: 369000 | #Constraints: 114353
2556.18/2563.20 c INPROCESSING
2556.18/2563.20 c GARBAGE COLLECT
2556.18/2563.20 c #Conflicts: 370000 | #Constraints: 103349
2556.18/2563.20 c #Conflicts: 371000 | #Constraints: 104349
2556.18/2563.20 c #Conflicts: 372000 | #Constraints: 105349
2556.18/2563.20 c #Conflicts: 373000 | #Constraints: 106349
2556.18/2563.20 c #Conflicts: 374000 | #Constraints: 107349
2556.18/2563.20 c #Conflicts: 375000 | #Constraints: 108349
2556.18/2563.20 c #Conflicts: 376000 | #Constraints: 109349
2556.18/2563.20 c #Conflicts: 377000 | #Constraints: 110349
2556.18/2563.20 c #Conflicts: 378000 | #Constraints: 111349
2556.18/2563.20 c #Conflicts: 379000 | #Constraints: 112349
2556.18/2563.20 c #Conflicts: 380000 | #Constraints: 113349
2556.18/2563.20 c #Conflicts: 381000 | #Constraints: 114349
2556.18/2563.20 c INPROCESSING
2556.18/2563.20 c GARBAGE COLLECT
2556.18/2563.20 c #Conflicts: 382000 | #Constraints: 103152
2556.18/2563.20 c #Conflicts: 383000 | #Constraints: 104152
2556.18/2563.20 c #Conflicts: 384000 | #Constraints: 105152
2556.18/2563.20 c #Conflicts: 385000 | #Constraints: 106152
2556.18/2563.20 c #Conflicts: 386000 | #Constraints: 107152
2556.18/2563.20 c #Conflicts: 387000 | #Constraints: 108152
2556.18/2563.20 c #Conflicts: 388000 | #Constraints: 109152
2556.18/2563.20 c #Conflicts: 389000 | #Constraints: 110152
2556.18/2563.20 c #Conflicts: 390000 | #Constraints: 111152
2556.18/2563.20 c #Conflicts: 391000 | #Constraints: 112152
2556.18/2563.20 c #Conflicts: 392000 | #Constraints: 113152
2556.18/2563.20 c #Conflicts: 393000 | #Constraints: 114152
2556.18/2563.20 c #Conflicts: 394000 | #Constraints: 115152
2556.18/2563.20 c INPROCESSING
2556.18/2563.20 c GARBAGE COLLECT
2556.18/2563.20 c #Conflicts: 395000 | #Constraints: 103754
2556.18/2563.20 c #Conflicts: 396000 | #Constraints: 104754
2556.18/2563.20 c #Conflicts: 397000 | #Constraints: 105754
2556.18/2563.20 c #Conflicts: 398000 | #Constraints: 106754
2556.18/2563.20 c #Conflicts: 399000 | #Constraints: 107754
2556.18/2563.20 c #Conflicts: 400000 | #Constraints: 108754
2556.18/2563.20 c #Conflicts: 401000 | #Constraints: 109754
2556.18/2563.20 c #Conflicts: 402000 | #Constraints: 110754
2556.18/2563.20 c #Conflicts: 403000 | #Constraints: 111754
2556.18/2563.20 c #Conflicts: 404000 | #Constraints: 112754
2556.18/2563.20 c #Conflicts: 405000 | #Constraints: 113754
2556.18/2563.20 c #Conflicts: 406000 | #Constraints: 114754
2556.18/2563.20 c #Conflicts: 407000 | #Constraints: 115754
2556.18/2563.20 c INPROCESSING
2556.18/2563.20 c GARBAGE COLLECT
2556.18/2563.20 c #Conflicts: 408000 | #Constraints: 104144
2556.18/2563.20 c #Conflicts: 409000 | #Constraints: 105144
2556.18/2563.20 c #Conflicts: 410000 | #Constraints: 106144
2556.18/2563.20 c #Conflicts: 411000 | #Constraints: 107144
2556.18/2563.20 c #Conflicts: 412000 | #Constraints: 108144
2556.18/2563.20 c #Conflicts: 413000 | #Constraints: 109144
2556.18/2563.20 c #Conflicts: 414000 | #Constraints: 110144
2556.18/2563.20 c #Conflicts: 415000 | #Constraints: 111144
2556.18/2563.20 c #Conflicts: 416000 | #Constraints: 112144
2556.18/2563.20 c #Conflicts: 417000 | #Constraints: 113144
2556.18/2563.20 c #Conflicts: 418000 | #Constraints: 114144
2556.18/2563.20 c #Conflicts: 419000 | #Constraints: 115144
2556.18/2563.20 c #Conflicts: 420000 | #Constraints: 116144
2556.18/2563.20 c INPROCESSING
2556.18/2563.20 c GARBAGE COLLECT
2556.18/2563.20 c #Conflicts: 421000 | #Constraints: 104399
2556.18/2563.20 c #Conflicts: 422000 | #Constraints: 105399
2556.18/2563.20 c #Conflicts: 423000 | #Constraints: 106399
2556.18/2563.20 c #Conflicts: 424000 | #Constraints: 107399
2556.18/2563.20 c #Conflicts: 425000 | #Constraints: 108399
2556.18/2563.20 c #Conflicts: 426000 | #Constraints: 109399
2556.18/2563.20 c #Conflicts: 427000 | #Constraints: 110399
2556.18/2563.20 c #Conflicts: 428000 | #Constraints: 111399
2556.18/2563.20 c #Conflicts: 429000 | #Constraints: 112399
2556.18/2563.20 c #Conflicts: 430000 | #Constraints: 113399
2556.18/2563.20 c #Conflicts: 431000 | #Constraints: 114399
2556.18/2563.20 c #Conflicts: 432000 | #Constraints: 115399
2556.18/2563.20 c #Conflicts: 433000 | #Constraints: 116399
2556.18/2563.20 c INPROCESSING
2556.18/2563.20 c GARBAGE COLLECT
2556.18/2563.20 c #Conflicts: 434000 | #Constraints: 104389
2556.18/2563.20 c #Conflicts: 435000 | #Constraints: 105389
2556.18/2563.20 c #Conflicts: 436000 | #Constraints: 106389
3600.05/3609.90 c #Conflicts: 437000 | #Constraints: 107389
3600.05/3609.90 c #Conflicts: 438000 | #Constraints: 108389
3600.05/3609.90 c #Conflicts: 439000 | #Constraints: 109389
3600.05/3609.90 c #Conflicts: 440000 | #Constraints: 110389
3600.05/3609.90 c #Conflicts: 441000 | #Constraints: 111389
3600.05/3609.90 c #Conflicts: 442000 | #Constraints: 112389
3600.05/3609.90 c #Conflicts: 443000 | #Constraints: 113389
3600.05/3609.90 c #Conflicts: 444000 | #Constraints: 114389
3600.05/3609.90 c #Conflicts: 445000 | #Constraints: 115389
3600.05/3609.90 c #Conflicts: 446000 | #Constraints: 116389
3600.05/3609.90 c INPROCESSING
3600.05/3609.90 c GARBAGE COLLECT
3600.05/3609.90 c #Conflicts: 447000 | #Constraints: 104175
3600.05/3609.90 c #Conflicts: 448000 | #Constraints: 105175
3600.05/3609.90 c #Conflicts: 449000 | #Constraints: 106175
3600.05/3609.90 c #Conflicts: 450000 | #Constraints: 107175
3600.05/3609.90 c #Conflicts: 451000 | #Constraints: 108175
3600.05/3609.90 c #Conflicts: 452000 | #Constraints: 109175
3600.05/3609.90 c #Conflicts: 453000 | #Constraints: 110175
3600.05/3609.90 c #Conflicts: 454000 | #Constraints: 111175
3600.05/3609.90 c #Conflicts: 455000 | #Constraints: 112175
3600.05/3609.90 c #Conflicts: 456000 | #Constraints: 113175
3600.05/3609.90 c #Conflicts: 457000 | #Constraints: 114175
3600.05/3609.90 c #Conflicts: 458000 | #Constraints: 115175
3600.05/3609.90 c #Conflicts: 459000 | #Constraints: 116175
3600.05/3609.90 c #Conflicts: 460000 | #Constraints: 117175
3600.05/3609.90 c INPROCESSING
3600.05/3609.90 c GARBAGE COLLECT
3600.05/3609.90 c #Conflicts: 461000 | #Constraints: 104792
3600.05/3609.90 c #Conflicts: 462000 | #Constraints: 105792
3600.05/3609.90 c #Conflicts: 463000 | #Constraints: 106792
3600.05/3609.90 c #Conflicts: 464000 | #Constraints: 107792
3600.05/3609.90 c #Conflicts: 465000 | #Constraints: 108792
3600.05/3609.90 c #Conflicts: 466000 | #Constraints: 109792
3600.05/3609.90 c #Conflicts: 467000 | #Constraints: 110792
3600.05/3609.90 c #Conflicts: 468000 | #Constraints: 111792
3600.05/3609.90 c #Conflicts: 469000 | #Constraints: 112792
3600.05/3609.90 c #Conflicts: 470000 | #Constraints: 113792
3600.05/3609.90 c #Conflicts: 471000 | #Constraints: 114792
3600.05/3609.90 c #Conflicts: 472000 | #Constraints: 115792
3600.05/3609.90 c #Conflicts: 473000 | #Constraints: 116792
3600.05/3609.90 c #Conflicts: 474000 | #Constraints: 117792
3600.05/3609.90 c INPROCESSING
3600.05/3609.90 c GARBAGE COLLECT
3600.05/3609.90 c #Conflicts: 475000 | #Constraints: 105178
3600.05/3609.90 c #Conflicts: 476000 | #Constraints: 106178
3600.05/3609.90 c #Conflicts: 477000 | #Constraints: 107178
3600.05/3609.90 c #Conflicts: 478000 | #Constraints: 108178
3600.05/3609.90 c #Conflicts: 479000 | #Constraints: 109178
3600.05/3609.90 c #Conflicts: 480000 | #Constraints: 110178
3600.05/3609.90 c Program interrupted by user.
3600.05/3609.90 c cpu time 3593.56 s
3600.05/3609.90 c deterministic time 839887423114 8.40e+11
3600.05/3609.90 c optimization time 92.639 s
3600.05/3609.90 c total solve time 3201.02 s
3600.05/3609.90 c core-guided solve time 3201.02 s
3600.05/3609.90 c propagation time 2624.9 s
3600.05/3609.90 c conflict analysis time 601.947 s
3600.05/3609.90 c propagations 254022566
3600.05/3609.90 c resolve steps 6965629
3600.05/3609.90 c decisions 3953097
3600.05/3609.90 c conflicts 480197
3600.05/3609.90 c restarts 1022
3600.05/3609.90 c inprocessing phases 60
3600.05/3609.90 c input clauses 90480
3600.05/3609.90 c input cardinalities 0
3600.05/3609.90 c input general constraints 10
3600.05/3609.90 c input average constraint length 2.46
3600.05/3609.90 c input average constraint degree 613.71
3600.05/3609.90 c learned clauses 242296
3600.05/3609.90 c learned cardinalities 1
3600.05/3609.90 c learned general constraints 237900
3600.05/3609.90 c learned average constraint length 2239.00
3600.05/3609.90 c learned average constraint degree 217839431.07
3600.05/3609.90 c watched constraints 227597
3600.05/3609.90 c counting constraints 10313
3600.05/3609.90 c gcd simplifications 81538
3600.05/3609.90 c detected cardinalities 1
3600.05/3609.90 c weakened non-implied lits 396645323
3600.05/3609.90 c weakened non-implying lits 1476760
3600.05/3609.90 c original variables 4356
3600.05/3609.90 c clausal propagations 65054915
3600.05/3609.90 c cardinality propagations 4
3600.05/3609.90 c watched propagations 53127313
3600.05/3609.90 c counting propagations 134949353
3600.05/3609.90 c watch lookups 6886831316
3600.05/3609.90 c watch backjump lookups 5579603265
3600.05/3609.90 c watch checks 743062117519
3600.05/3609.90 c propagation checks 79291386194
3600.05/3609.90 c constraint additions 4551057123
3600.05/3609.90 c trail pops 258452033
3600.05/3609.90 c formula constraints 90488
3600.05/3609.90 c learned constraints 480197
3600.05/3609.90 c bound constraints 2
3600.05/3609.90 c core-guided constraints 0
3600.05/3609.90 c encountered formula constraints 6042316
3600.05/3609.90 c encountered learned constraints 1402680
3600.05/3609.90 c encountered bound constraints 830
3600.05/3609.90 c encountered core-guided constraints 0
3600.05/3609.90 c LP total time 0 s
3600.05/3609.90 c LP solve time 0 s
3600.05/3609.90 c LP constraints added 0
3600.05/3609.90 c LP constraints removed 0
3600.05/3609.90 c LP pivots internal 0
3600.05/3609.90 c LP pivots root 0
3600.05/3609.90 c LP calls 0
3600.05/3609.90 c LP optimalities 0
3600.05/3609.90 c LP no pivot count 0
3600.05/3609.90 c LP infeasibilities 0
3600.05/3609.90 c LP valid Farkas constraints 0
3600.05/3609.90 c LP learned Farkas constraints 0
3600.05/3609.90 c LP basis resets 0
3600.05/3609.90 c LP cycling count 0
3600.05/3609.90 c LP singular count 0
3600.05/3609.90 c LP no primal count 0
3600.05/3609.90 c LP no farkas count 0
3600.05/3609.90 c LP other issue count 0
3600.05/3609.90 c LP Gomory cuts 0
3600.05/3609.90 c LP learned cuts 0
3600.05/3609.90 c LP deleted cuts 0
3600.05/3609.90 c LP encountered Gomory constraints 0
3600.05/3609.90 c LP encountered Farkas constraints 0
3600.05/3609.90 c LP encountered learned Farkas constraints 0
3600.05/3609.90 c CG auxiliary variables introduced 0
3600.05/3609.90 c CG solutions found 0
3600.05/3609.90 c CG cores constructed 1
3600.05/3609.90 c CG core cardinality constraints returned 0
3600.05/3609.90 c CG unit cores 0
3600.05/3609.90 c CG single cores 1
3600.05/3609.90 c CG blocks removed during cardinality reduction 0
3600.05/3609.90 c CG first core best 0
3600.05/3609.90 c CG decision core best 0
3600.05/3609.90 c CG core reduction tie 0
3600.05/3609.90 c CG core degree average 1.00
3600.05/3609.90 c CG core slack average 1.00
3600.05/3609.90 c CG exhausted 0
3600.05/3609.90 c CG exhaust time 0 s
3600.05/3609.90 c CG trimmed 0
3600.05/3609.90 c CG trim time 0.000109 s
3600.05/3609.90 c CG minimized 0
3600.05/3609.90 c CG minimize time 0 s
3600.05/3609.90 c CG am1 prop time 0.00058 s
3600.05/3609.90 c CG # am1s reformulated 0
3600.05/3609.90 c CG lower bound derived from am1s 0
3600.05/3609.90 c CG # clausal cores 1
3600.05/3609.90 c CG # cardinality cores 0
3600.05/3609.90 c CG # pb cores 0
3600.05/3609.90 c CG # pb reforms 0
3600.05/3609.90 c CG # cores discarded because of pb reform 0
3600.05/3609.90 d LOWERBOUND -300233
3600.05/3609.90 d NCORES 1
3600.05/3609.90 d NPBCORES 0
3600.05/3609.90 d NPBREFORM 0
3600.05/3609.90 d NTRIMMED 0
3600.05/3609.90 d NEXHAUSTED 0
3600.05/3609.90 d NAM1S 0
3600.05/3609.90 d AM1LB 0
3600.05/3609.90 c [Papilo Statistics]
3600.05/3609.90 c prepro time 0.216829s
3600.05/3609.90 c # tsx applied 4
3600.05/3609.90 c # tsx conflicts 0
3600.05/3609.90 c # bound changes 208
3600.05/3609.90 c # side changes 0
3600.05/3609.90 c # coef changes 0
3600.05/3609.90 c # rounds 2
3600.05/3609.90 c # deted vars 208
3600.05/3609.90 c # deted constrs 10192
3600.05/3609.90 c # consecutive rounds of only bound changes 0
3600.05/3609.90 s UNKNOWN
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: 63837 MiB (61438 MiB free)
memory of node 1: 64465 MiB (62170 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529116-1752260130/watcher-4529116-1752260130 -o /tmp/evaluation-result-4529116-1752260130/solver-4529116-1752260130 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1752256148-116317 --watchdog 3760 mixed-bag HOME/instance-4529116-1752260130.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
Current StackSize limit: 8192 KiB
solver pid=117425, runsolver pid=117422
[startup+0.100066 s]*
/proc/loadavg: 4.53 4.26 4.15 5/251 117426
/proc/meminfo: memFree=126576452/131382120 swapFree=33010416/33010684
[pid=117425] ppid=117422 vsize=88348 memory=12708 CPUtime=0.09 cores=4,6
/proc/117425/stat : 117425 (mixed-bag) R 117422 117425 116306 0 -1 4194304 2523 0 0 0 8 1 0 0 20 0 1 0 141691840 90468352 3177 18446744073709551615 4235264 15840557 140732089596384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 28442624 140732089600410 140732089600487 140732089600487 140732089606091 0
/proc/117425/statm: 22087 3177 2112 2834 0 4839 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 88348 KiB
Current children cumulated memory: 12708 KiB
[startup+0.213285 s]*
/proc/loadavg: 4.53 4.26 4.15 5/251 117426
/proc/meminfo: memFree=126576452/131382120 swapFree=33010416/33010684
[pid=117425] ppid=117422 vsize=90396 memory=18352 CPUtime=0.19 cores=4,6
/proc/117425/stat : 117425 (mixed-bag) R 117422 117425 116306 0 -1 4194304 3402 0 0 0 18 1 0 0 20 0 1 0 141691840 92565504 4588 18446744073709551615 4235264 15840557 140732089596384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 28442624 140732089600410 140732089600487 140732089600487 140732089606091 0
/proc/117425/statm: 22599 4588 2112 2834 0 5351 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 90396 KiB
Current children cumulated memory: 18352 KiB
[startup+0.313242 s]*
/proc/loadavg: 4.53 4.26 4.15 5/251 117426
/proc/meminfo: memFree=126572356/131382120 swapFree=33010416/33010684
[pid=117425] ppid=117422 vsize=90396 memory=18736 CPUtime=0.29 cores=4,6
/proc/117425/stat : 117425 (mixed-bag) R 117422 117425 116306 0 -1 4194304 3509 0 0 0 28 1 0 0 20 0 1 0 141691840 92565504 4684 18446744073709551615 4235264 15840557 140732089596384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 28442624 140732089600410 140732089600487 140732089600487 140732089606091 0
/proc/117425/statm: 22599 4684 2112 2834 0 5351 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 90396 KiB
Current children cumulated memory: 18736 KiB
[startup+0.700341 s]
/proc/loadavg: 4.53 4.26 4.15 5/251 117426
/proc/meminfo: memFree=126568244/131382120 swapFree=33010416/33010684
[pid=117425] ppid=117422 vsize=144520 memory=66160 CPUtime=0.67 cores=4,6
/proc/117425/stat : 117425 (mixed-bag) R 117422 117425 116306 0 -1 4194304 11234 0 0 0 63 4 0 0 20 0 1 0 141691840 147988480 16540 18446744073709551615 4235264 15840557 140732089596384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 28442624 140732089600410 140732089600487 140732089600487 140732089606091 0
/proc/117425/statm: 36130 16540 2240 2834 0 18335 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 144520 KiB
Current children cumulated memory: 66160 KiB
[startup+1.50031 s]
/proc/loadavg: 4.53 4.26 4.15 5/251 117426
/proc/meminfo: memFree=126446024/131382120 swapFree=33010416/33010684
[pid=117425] ppid=117422 vsize=307044 memory=231936 CPUtime=1.47 cores=4,6
/proc/117425/stat : 117425 (mixed-bag) R 117422 117425 116306 0 -1 4194304 47670 0 0 0 135 12 0 0 20 0 1 0 141691840 314413056 57984 18446744073709551615 4235264 15840557 140732089596384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 28442624 140732089600410 140732089600487 140732089600487 140732089606091 0
/proc/117425/statm: 76761 57984 3968 2834 0 58966 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 307044 KiB
Current children cumulated memory: 231936 KiB
[startup+3.113 s]
/proc/loadavg: 4.53 4.26 4.15 5/251 117426
/proc/meminfo: memFree=126329556/131382120 swapFree=33010416/33010684
[pid=117425] ppid=117422 vsize=307884 memory=232336 CPUtime=3.07 cores=4,6
/proc/117425/stat : 117425 (mixed-bag) R 117422 117425 116306 0 -1 4194304 56927 0 0 0 293 14 0 0 20 0 1 0 141691840 315273216 58084 18446744073709551615 4235264 15840557 140732089596384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 28442624 140732089600410 140732089600487 140732089600487 140732089606091 0
/proc/117425/statm: 76971 58084 3968 2834 0 59176 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 307884 KiB
Current children cumulated memory: 232336 KiB
[startup+6.30034 s]
/proc/loadavg: 4.57 4.27 4.15 5/251 117426
/proc/meminfo: memFree=126329588/131382120 swapFree=33010416/33010684
[pid=117425] ppid=117422 vsize=307884 memory=232464 CPUtime=6.25 cores=4,6
/proc/117425/stat : 117425 (mixed-bag) R 117422 117425 116306 0 -1 4194304 56959 0 0 0 611 14 0 0 20 0 1 0 141691840 315273216 58116 18446744073709551615 4235264 15840557 140732089596384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 28442624 140732089600410 140732089600487 140732089600487 140732089606091 0
/proc/117425/statm: 76971 58116 4000 2834 0 59176 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 307884 KiB
Current children cumulated memory: 232464 KiB
[startup+12.7003 s]
/proc/loadavg: 4.60 4.28 4.16 5/251 117426
/proc/meminfo: memFree=126305240/131382120 swapFree=33010416/33010684
[pid=117425] ppid=117422 vsize=307884 memory=232464 CPUtime=12.62 cores=4,6
/proc/117425/stat : 117425 (mixed-bag) R 117422 117425 116306 0 -1 4194304 56965 0 0 0 1248 14 0 0 20 0 1 0 141691840 315273216 58116 18446744073709551615 4235264 15840557 140732089596384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 28442624 140732089600410 140732089600487 140732089600487 140732089606091 0
/proc/117425/statm: 76971 58116 4000 2834 0 59176 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 307884 KiB
Current children cumulated memory: 232464 KiB
[startup+25.5004 s]
/proc/loadavg: 4.66 4.31 4.16 5/251 117426
/proc/meminfo: memFree=125807316/131382120 swapFree=33010416/33010684
[pid=117425] ppid=117422 vsize=781096 memory=672852 CPUtime=25.38 cores=4,6
/proc/117425/stat : 117425 (mixed-bag) R 117422 117425 116306 0 -1 4194304 94710 0 0 0 2512 26 0 0 20 0 1 0 141691840 799842304 168213 18446744073709551615 4235264 15840557 140732089596384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 28442624 140732089600410 140732089600487 140732089600487 140732089606091 0
/proc/117425/statm: 195274 168213 4192 2834 0 177479 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 781096 KiB
Current children cumulated memory: 672852 KiB
[startup+51.1135 s]
/proc/loadavg: 4.86 4.39 4.20 5/252 117473
/proc/meminfo: memFree=125044216/131382120 swapFree=33010416/33010684
[pid=117425] ppid=117422 vsize=781096 memory=672852 CPUtime=50.91 cores=4,6
/proc/117425/stat : 117425 (mixed-bag) R 117422 117425 116306 0 -1 4194304 94716 0 0 0 5065 26 0 0 20 0 1 0 141691840 799842304 168213 18446744073709551615 4235264 15840557 140732089596384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 28442624 140732089600410 140732089600487 140732089600487 140732089606091 0
/proc/117425/statm: 195274 168213 4192 2834 0 177479 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 781096 KiB
Current children cumulated memory: 672852 KiB
[startup+102.3 s]
/proc/loadavg: 4.48 4.36 4.20 5/252 117478
/proc/meminfo: memFree=116676460/131382120 swapFree=33010416/33010684
[pid=117425] ppid=117422 vsize=878208 memory=768980 CPUtime=101.94 cores=4,6
/proc/117425/stat : 117425 (mixed-bag) R 117422 117425 116306 0 -1 4194304 118563 0 0 0 10164 30 0 0 20 0 1 0 141691840 899284992 192245 18446744073709551615 4235264 15840557 140732089596384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 28442624 140732089600410 140732089600487 140732089600487 140732089606091 0
/proc/117425/statm: 219552 192245 4320 2834 0 201757 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 878208 KiB
Current children cumulated memory: 768980 KiB
[startup+162.3 s]
/proc/loadavg: 4.25 4.31 4.18 5/253 117486
/proc/meminfo: memFree=110512060/131382120 swapFree=33010416/33010684
[pid=117425] ppid=117422 vsize=878208 memory=772564 CPUtime=161.76 cores=4,6
/proc/117425/stat : 117425 (mixed-bag) R 117422 117425 116306 0 -1 4194304 118586 0 0 0 16146 30 0 0 20 0 1 0 141691840 899284992 193141 18446744073709551615 4235264 15840557 140732089596384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 28442624 140732089600410 140732089600487 140732089600487 140732089606091 0
/proc/117425/statm: 219552 193141 4320 2834 0 201757 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 878208 KiB
Current children cumulated memory: 772564 KiB
[startup+222.3 s]
/proc/loadavg: 4.19 4.28 4.18 5/253 117488
/proc/meminfo: memFree=105270872/131382120 swapFree=33010416/33010684
[pid=117425] ppid=117422 vsize=878208 memory=776148 CPUtime=221.57 cores=4,6
/proc/117425/stat : 117425 (mixed-bag) R 117422 117425 116306 0 -1 4194304 118616 0 0 0 22127 30 0 0 20 0 1 0 141691840 899284992 194037 18446744073709551615 4235264 15840557 140732089596384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 28442624 140732089600410 140732089600487 140732089600487 140732089606091 0
/proc/117425/statm: 219552 194037 4320 2834 0 201757 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 878208 KiB
Current children cumulated memory: 776148 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.24 4.17 4/251 117489
/proc/meminfo: memFree=125489740/131382120 swapFree=33010416/33010684
[pid=117425] ppid=117422 vsize=878208 memory=778452 CPUtime=281.4 cores=4,6
/proc/117425/stat : 117425 (mixed-bag) R 117422 117425 116306 0 -1 4194304 118698 0 0 0 28109 31 0 0 20 0 1 0 141691840 899284992 194613 18446744073709551615 4235264 15840557 140732089596384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 28442624 140732089600410 140732089600487 140732089600487 140732089606091 0
/proc/117425/statm: 219552 194613 4320 2834 0 201757 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 878208 KiB
Current children cumulated memory: 778452 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.22 4.17 5/252 117546
/proc/meminfo: memFree=124818400/131382120 swapFree=33010416/33010684
[pid=117425] ppid=117422 vsize=600612 memory=534592 CPUtime=341.23 cores=4,6
/proc/117425/stat : 117425 (mixed-bag) R 117422 117425 116306 0 -1 4194304 122134 0 0 0 34068 55 0 0 20 0 1 0 141691840 615026688 133648 18446744073709551615 4235264 15840557 140732089596384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 28442624 140732089600410 140732089600487 140732089600487 140732089606091 0
/proc/117425/statm: 150153 133648 4512 2834 0 132358 0
Current children cumulated CPU time: 341.23 s
Current children cumulated vsize: 600612 KiB
Current children cumulated memory: 534592 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.20 4.17 5/252 117548
/proc/meminfo: memFree=124126016/131382120 swapFree=33010416/33010684
[pid=117425] ppid=117422 vsize=650700 memory=555072 CPUtime=401.08 cores=4,6
/proc/117425/stat : 117425 (mixed-bag) R 117422 117425 116306 0 -1 4194304 122663 0 0 0 40033 75 0 0 20 0 1 0 141691840 666316800 138768 18446744073709551615 4235264 15840557 140732089596384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 28442624 140732089600410 140732089600487 140732089600487 140732089606091 0
/proc/117425/statm: 162675 138768 4512 2834 0 144880 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 650700 KiB
Current children cumulated memory: 555072 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 4.17 4.16 5/251 117550
/proc/meminfo: memFree=124032748/131382120 swapFree=33010416/33010684
[pid=117425] ppid=117422 vsize=732088 memory=602848 CPUtime=460.94 cores=4,6
/proc/117425/stat : 117425 (mixed-bag) R 117422 117425 116306 0 -1 4194304 122924 0 0 0 46006 88 0 0 20 0 1 0 141691840 749658112 150712 18446744073709551615 4235264 15840557 140732089596384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 28442624 140732089600410 140732089600487 140732089600487 140732089606091 0
/proc/117425/statm: 183022 150712 4512 2834 0 165227 0
Current children cumulated CPU time: 460.94 s
################
# More data... #
################
Current children cumulated memory: 909744 KiB
[startup+2922.3 s]
/proc/loadavg: 4.42 4.28 4.19 5/250 117668
/proc/meminfo: memFree=121720628/131382120 swapFree=33010416/33010684
[pid=117425] ppid=117422 vsize=1079272 memory=909744 CPUtime=2914.3 cores=4,6
/proc/117425/stat : 117425 (mixed-bag) R 117422 117425 116306 0 -1 4194304 124932 0 0 0 290839 591 0 0 20 0 1 0 141691840 1105174528 227436 18446744073709551615 4235264 15840557 140732089596384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 28442624 140732089600410 140732089600487 140732089600487 140732089606091 0
/proc/117425/statm: 269818 227436 4512 2834 0 252023 0
Current children cumulated CPU time: 2914.3 s
Current children cumulated vsize: 1079272 KiB
Current children cumulated memory: 909744 KiB
[startup+2982.3 s]
/proc/loadavg: 4.15 4.23 4.17 5/250 117670
/proc/meminfo: memFree=121612808/131382120 swapFree=33010416/33010684
[pid=117425] ppid=117422 vsize=1079272 memory=909744 CPUtime=2974.14 cores=4,6
/proc/117425/stat : 117425 (mixed-bag) R 117422 117425 116306 0 -1 4194304 124932 0 0 0 296819 595 0 0 20 0 1 0 141691840 1105174528 227436 18446744073709551615 4235264 15840557 140732089596384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 28442624 140732089600410 140732089600487 140732089600487 140732089606091 0
/proc/117425/statm: 269818 227436 4512 2834 0 252023 0
Current children cumulated CPU time: 2974.14 s
Current children cumulated vsize: 1079272 KiB
Current children cumulated memory: 909744 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.21 4.17 5/250 117672
/proc/meminfo: memFree=121598188/131382120 swapFree=33010416/33010684
[pid=117425] ppid=117422 vsize=1079272 memory=909744 CPUtime=3033.98 cores=4,6
/proc/117425/stat : 117425 (mixed-bag) R 117422 117425 116306 0 -1 4194304 124935 0 0 0 302800 598 0 0 20 0 1 0 141691840 1105174528 227436 18446744073709551615 4235264 15840557 140732089596384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 28442624 140732089600410 140732089600487 140732089600487 140732089606091 0
/proc/117425/statm: 269818 227436 4512 2834 0 252023 0
Current children cumulated CPU time: 3033.98 s
Current children cumulated vsize: 1079272 KiB
Current children cumulated memory: 909744 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.20 4.17 5/250 117674
/proc/meminfo: memFree=121588212/131382120 swapFree=33010416/33010684
[pid=117425] ppid=117422 vsize=1079272 memory=913840 CPUtime=3093.81 cores=4,6
/proc/117425/stat : 117425 (mixed-bag) R 117422 117425 116306 0 -1 4194304 124939 0 0 0 308780 601 0 0 20 0 1 0 141691840 1105174528 228460 18446744073709551615 4235264 15840557 140732089596384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 28442624 140732089600410 140732089600487 140732089600487 140732089606091 0
/proc/117425/statm: 269818 228460 4512 2834 0 252023 0
Current children cumulated CPU time: 3093.81 s
Current children cumulated vsize: 1079272 KiB
Current children cumulated memory: 913840 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.18 4.17 5/249 117678
/proc/meminfo: memFree=121551372/131382120 swapFree=33010416/33010684
[pid=117425] ppid=117422 vsize=1079272 memory=948656 CPUtime=3153.66 cores=4,6
/proc/117425/stat : 117425 (mixed-bag) R 117422 117425 116306 0 -1 4194304 124959 0 0 0 314761 605 0 0 20 0 1 0 141691840 1105174528 237164 18446744073709551615 4235264 15840557 140732089596384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 28442624 140732089600410 140732089600487 140732089600487 140732089606091 0
/proc/117425/statm: 269818 237164 4512 2834 0 252023 0
Current children cumulated CPU time: 3153.66 s
Current children cumulated vsize: 1079272 KiB
Current children cumulated memory: 948656 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.16 4.16 5/251 117686
/proc/meminfo: memFree=121501768/131382120 swapFree=33010416/33010684
[pid=117425] ppid=117422 vsize=1079272 memory=958896 CPUtime=3213.49 cores=4,6
/proc/117425/stat : 117425 (mixed-bag) R 117422 117425 116306 0 -1 4194304 124966 0 0 0 320733 616 0 0 20 0 1 0 141691840 1105174528 239724 18446744073709551615 4235264 15840557 140732089596384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 28442624 140732089600410 140732089600487 140732089600487 140732089606091 0
/proc/117425/statm: 269818 239724 4512 2834 0 252023 0
Current children cumulated CPU time: 3213.49 s
Current children cumulated vsize: 1079272 KiB
Current children cumulated memory: 958896 KiB
[startup+3282.3 s]
/proc/loadavg: 4.04 4.13 4.15 5/251 117778
/proc/meminfo: memFree=119423320/131382120 swapFree=33010416/33010684
[pid=117425] ppid=117422 vsize=1079272 memory=958896 CPUtime=3273.34 cores=4,6
/proc/117425/stat : 117425 (mixed-bag) R 117422 117425 116306 0 -1 4194304 124966 0 0 0 326712 622 0 0 20 0 1 0 141691840 1105174528 239724 18446744073709551615 4235264 15840557 140732089596384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 28442624 140732089600410 140732089600487 140732089600487 140732089606091 0
/proc/117425/statm: 269818 239724 4512 2834 0 252023 0
Current children cumulated CPU time: 3273.34 s
Current children cumulated vsize: 1079272 KiB
Current children cumulated memory: 958896 KiB
[startup+3342.3 s]
/proc/loadavg: 4.06 4.12 4.14 5/251 117780
/proc/meminfo: memFree=119073400/131382120 swapFree=33010416/33010684
[pid=117425] ppid=117422 vsize=1079272 memory=958896 CPUtime=3333.17 cores=4,6
/proc/117425/stat : 117425 (mixed-bag) R 117422 117425 116306 0 -1 4194304 125064 0 0 0 332692 625 0 0 20 0 1 0 141691840 1105174528 239724 18446744073709551615 4235264 15840557 140732089596384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 28442624 140732089600410 140732089600487 140732089600487 140732089606091 0
/proc/117425/statm: 269818 239724 4512 2834 0 252023 0
Current children cumulated CPU time: 3333.17 s
Current children cumulated vsize: 1079272 KiB
Current children cumulated memory: 958896 KiB
[startup+3402.3 s]
/proc/loadavg: 4.06 4.11 4.14 5/251 117782
/proc/meminfo: memFree=118929784/131382120 swapFree=33010416/33010684
[pid=117425] ppid=117422 vsize=1079272 memory=958896 CPUtime=3393 cores=4,6
/proc/117425/stat : 117425 (mixed-bag) R 117422 117425 116306 0 -1 4194304 125149 0 0 0 338670 630 0 0 20 0 1 0 141691840 1105174528 239724 18446744073709551615 4235264 15840557 140732089596384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 28442624 140732089600410 140732089600487 140732089600487 140732089606091 0
/proc/117425/statm: 269818 239724 4512 2834 0 252023 0
Current children cumulated CPU time: 3393 s
Current children cumulated vsize: 1079272 KiB
Current children cumulated memory: 958896 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.14 5/251 117828
/proc/meminfo: memFree=119647504/131382120 swapFree=33010416/33010684
[pid=117425] ppid=117422 vsize=1079272 memory=958896 CPUtime=3452.84 cores=4,6
/proc/117425/stat : 117425 (mixed-bag) R 117422 117425 116306 0 -1 4194304 125150 0 0 0 344651 633 0 0 20 0 1 0 141691840 1105174528 239724 18446744073709551615 4235264 15840557 140732089596384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 28442624 140732089600410 140732089600487 140732089600487 140732089606091 0
/proc/117425/statm: 269818 239724 4512 2834 0 252023 0
Current children cumulated CPU time: 3452.84 s
Current children cumulated vsize: 1079272 KiB
Current children cumulated memory: 958896 KiB
[startup+3522.3 s]
/proc/loadavg: 4.21 4.14 4.14 5/249 117830
/proc/meminfo: memFree=119615612/131382120 swapFree=33010416/33010684
[pid=117425] ppid=117422 vsize=1079272 memory=958896 CPUtime=3512.69 cores=4,6
/proc/117425/stat : 117425 (mixed-bag) R 117422 117425 116306 0 -1 4194304 125154 0 0 0 350631 638 0 0 20 0 1 0 141691840 1105174528 239724 18446744073709551615 4235264 15840557 140732089596384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 28442624 140732089600410 140732089600487 140732089600487 140732089606091 0
/proc/117425/statm: 269818 239724 4512 2834 0 252023 0
Current children cumulated CPU time: 3512.69 s
Current children cumulated vsize: 1079272 KiB
Current children cumulated memory: 958896 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.13 4.14 5/250 117833
/proc/meminfo: memFree=119219744/131382120 swapFree=33010416/33010684
[pid=117425] ppid=117422 vsize=1079272 memory=958896 CPUtime=3572.53 cores=4,6
/proc/117425/stat : 117425 (mixed-bag) R 117422 117425 116306 0 -1 4194304 125168 0 0 0 356607 646 0 0 20 0 1 0 141691840 1105174528 239724 18446744073709551615 4235264 15840557 140732089596384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 28442624 140732089600410 140732089600487 140732089600487 140732089606091 0
/proc/117425/statm: 269818 239724 4512 2834 0 252023 0
Current children cumulated CPU time: 3572.53 s
Current children cumulated vsize: 1079272 KiB
Current children cumulated memory: 958896 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 4.09 4.12 4.13 5/250 117835
/proc/meminfo: memFree=119122416/131382120 swapFree=33010416/33010684
[pid=117425] ppid=117422 vsize=1079272 memory=958896 CPUtime=3600.05 cores=4,6
/proc/117425/stat : 117425 (mixed-bag) R 117422 117425 116306 0 -1 4194304 125170 0 0 0 359356 649 0 0 20 0 1 0 141691840 1105174528 239724 18446744073709551615 4235264 15840557 140732089596384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 28442624 140732089600410 140732089600487 140732089600487 140732089606091 0
/proc/117425/statm: 269818 239724 4512 2834 0 252023 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1079272 KiB
Current children cumulated memory: 958896 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.91 s]
# the end of solver process 117425 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3593.57 s, system=6.49858 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.9 s]
/proc/loadavg: 4.09 4.12 4.13 5/250 117835
/proc/meminfo: memFree=119122416/131382120 swapFree=33010416/33010684
[pid=117425] ppid=117422 vsize=1079272 memory=958896 CPUtime=3600.05 cores=4,6
/proc/117425/stat : 117425 (mixed-bag) R 117422 117425 116306 0 -1 4194304 125170 0 0 0 359356 649 0 0 20 0 1 0 141691840 1105174528 239724 18446744073709551615 4235264 15840557 140732089596384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 28442624 140732089600410 140732089600487 140732089600487 140732089606091 0
/proc/117425/statm: 269818 239724 4512 2834 0 252023 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1079272 KiB
Current children cumulated memory: 958896 KiB
Child status: 0
Real time (s): 3609.91
CPU time (s): 3600.07
CPU user time (s): 3593.57
CPU system time (s): 6.49858
CPU usage (%): 99.7273
Max. virtual memory (cumulated for all children) (KiB): 1079272
Max. memory (cumulated for all children) (KiB): 958896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.57
system time used= 6.49858
maximum resident set size= 959664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125196
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= 163
involuntary context switches= 1289
# summary of solver processes directly reported to runsolver:
# pid: 117425
# total CPU time (s): 3600.07
# total CPU user time (s): 3593.57
# total CPU system time (s): 6.49858
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.0063 second user time and 38.2812 second system time
The end
Begin job on nodeC002 at 2025-07-11 20:55:30
IDJOB=4529116
IDBENCH=155347
IDSOLVER=3386
FILE ID=nodeC002/4529116-1752260130
RUNJOBID= nodeC002-1752256148-116317
SLURM_JOB_ID= 9682593
Free space on /tmp= 431204 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-opm2-z9-s14.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4529116-1752260130/watcher-4529116-1752260130 -o /tmp/evaluation-result-4529116-1752260130/solver-4529116-1752260130 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1752256148-116317 --watchdog 3760 mixed-bag HOME/instance-4529116-1752260130.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 72ec871846abb3454e8801b7da208130
RANDOM SEED=1183258946
nodeC002 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 : 0xb00001f
cpu MHz : 3662.492
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.895
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.772
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1895.599
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3691.465
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.287
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.762
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 126576884 kB
MemAvailable: 129224088 kB
Buffers: 2128 kB
Cached: 3446348 kB
SwapCached: 28 kB
Active: 1108332 kB
Inactive: 3088540 kB
Active(anon): 759928 kB
Inactive(anon): 6404 kB
Active(file): 348404 kB
Inactive(file): 3082136 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 37312 kB
Writeback: 76 kB
AnonPages: 749824 kB
Mapped: 140512 kB
Shmem: 17932 kB
KReclaimable: 112580 kB
Slab: 201136 kB
SReclaimable: 112580 kB
SUnreclaim: 88556 kB
KernelStack: 4048 kB
PageTables: 4776 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 1141660 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149368 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 280576 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: 181064 kB
DirectMap2M: 8110080 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 431172 MiB
End job on nodeC002 at 2025-07-11 21:55:41