0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
0.29/0.37 c [STEP] preprocessing with Papilo
5.37/5.43 c [STEP] solving with SCIP
304.91/305.84 c [STEP] preprocessing done, loading into solver
305.11/306.02 c [STEP] solving
305.11/306.02 c #variables 35343 #constraints 45331
305.11/306.02 c SMALL=int, LARGE=long long
305.11/306.02 d SCIPUB 0
305.11/306.02 c bounds - >= -126 @ 304.721
305.11/306.02 c stratification level: 16
657.45/659.33 c #Conflicts: 1000 | #Constraints: 46333
657.45/659.33 c #Conflicts: 2000 | #Constraints: 47333
657.45/659.33 c INPROCESSING
657.45/659.33 c GARBAGE COLLECT
657.45/659.33 c #Conflicts: 3000 | #Constraints: 47794
657.45/659.33 c #Conflicts: 4000 | #Constraints: 48794
657.45/659.33 c #Conflicts: 5000 | #Constraints: 49794
657.45/659.33 c #Conflicts: 6000 | #Constraints: 50794
657.45/659.33 c INPROCESSING
657.45/659.33 c GARBAGE COLLECT
657.45/659.33 c #Conflicts: 7000 | #Constraints: 49241
657.45/659.33 c #Conflicts: 8000 | #Constraints: 50241
657.45/659.33 c #Conflicts: 9000 | #Constraints: 51241
657.45/659.33 c INPROCESSING
657.45/659.33 c GARBAGE COLLECT
657.45/659.33 c #Conflicts: 10000 | #Constraints: 49275
657.45/659.33 c #Conflicts: 11000 | #Constraints: 50275
657.45/659.33 c #Conflicts: 12000 | #Constraints: 51275
657.45/659.33 c INPROCESSING
657.45/659.33 c GARBAGE COLLECT
657.45/659.33 c #Conflicts: 13000 | #Constraints: 49538
657.45/659.33 c #Conflicts: 14000 | #Constraints: 50538
657.45/659.33 c #Conflicts: 15000 | #Constraints: 51538
657.45/659.33 c #Conflicts: 16000 | #Constraints: 52538
657.45/659.33 c #Conflicts: 17000 | #Constraints: 53538
657.45/659.33 c #Conflicts: 18000 | #Constraints: 54538
657.45/659.33 c #Conflicts: 19000 | #Constraints: 55538
657.45/659.33 c #Conflicts: 20000 | #Constraints: 56538
657.45/659.33 c #Conflicts: 21000 | #Constraints: 57538
657.45/659.33 c INPROCESSING
657.45/659.33 c GARBAGE COLLECT
657.45/659.33 c #Conflicts: 22000 | #Constraints: 52651
657.45/659.33 c #Conflicts: 23000 | #Constraints: 53651
657.45/659.33 c #Conflicts: 24000 | #Constraints: 54651
657.45/659.33 c #Conflicts: 25000 | #Constraints: 55651
657.45/659.33 c INPROCESSING
657.45/659.33 c GARBAGE COLLECT
657.45/659.33 c #Conflicts: 26000 | #Constraints: 51330
657.45/659.33 c #Conflicts: 27000 | #Constraints: 52330
657.45/659.33 c #Conflicts: 28000 | #Constraints: 53330
657.45/659.33 c #Conflicts: 29000 | #Constraints: 54330
657.45/659.33 c #Conflicts: 30000 | #Constraints: 55330
657.45/659.33 c INPROCESSING
657.45/659.33 c GARBAGE COLLECT
657.45/659.33 c #Conflicts: 31000 | #Constraints: 51167
657.45/659.33 c #Conflicts: 32000 | #Constraints: 52167
657.45/659.33 c #Conflicts: 33000 | #Constraints: 53167
657.45/659.33 c #Conflicts: 34000 | #Constraints: 54167
657.45/659.33 c #Conflicts: 35000 | #Constraints: 55167
657.45/659.33 c #Conflicts: 36000 | #Constraints: 56167
657.45/659.33 c INPROCESSING
657.45/659.33 c GARBAGE COLLECT
657.45/659.33 c #Conflicts: 37000 | #Constraints: 52014
657.45/659.33 c #Conflicts: 38000 | #Constraints: 53014
657.45/659.33 c #Conflicts: 39000 | #Constraints: 54014
657.45/659.33 c #Conflicts: 40000 | #Constraints: 55014
657.45/659.33 c #Conflicts: 41000 | #Constraints: 56014
657.45/659.33 c INPROCESSING
657.45/659.33 c GARBAGE COLLECT
657.45/659.33 c #Conflicts: 42000 | #Constraints: 51719
657.45/659.33 c #Conflicts: 43000 | #Constraints: 52719
657.45/659.33 c #Conflicts: 44000 | #Constraints: 53719
657.45/659.33 c #Conflicts: 45000 | #Constraints: 54719
657.45/659.33 c #Conflicts: 46000 | #Constraints: 55719
657.45/659.33 c #Conflicts: 47000 | #Constraints: 56719
657.45/659.33 c INPROCESSING
657.45/659.33 c GARBAGE COLLECT
657.45/659.33 c #Conflicts: 48000 | #Constraints: 52259
657.45/659.33 c #Conflicts: 49000 | #Constraints: 53259
657.45/659.33 c #Conflicts: 50000 | #Constraints: 54259
657.45/659.33 c #Conflicts: 51000 | #Constraints: 55259
657.45/659.33 c #Conflicts: 52000 | #Constraints: 56259
657.45/659.33 c INPROCESSING
657.45/659.33 c GARBAGE COLLECT
657.45/659.33 c #Conflicts: 53000 | #Constraints: 51586
657.45/659.33 c #Conflicts: 54000 | #Constraints: 52586
657.45/659.33 c #Conflicts: 55000 | #Constraints: 53586
657.45/659.33 c #Conflicts: 56000 | #Constraints: 54586
657.45/659.33 c #Conflicts: 57000 | #Constraints: 55586
657.45/659.33 c #Conflicts: 58000 | #Constraints: 56586
657.45/659.33 c INPROCESSING
657.45/659.33 c GARBAGE COLLECT
657.45/659.33 c #Conflicts: 59000 | #Constraints: 51767
657.45/659.33 c #Conflicts: 60000 | #Constraints: 52767
657.45/659.33 c #Conflicts: 61000 | #Constraints: 53767
657.45/659.33 c #Conflicts: 62000 | #Constraints: 54767
657.45/659.33 c #Conflicts: 63000 | #Constraints: 55767
657.45/659.33 c #Conflicts: 64000 | #Constraints: 56767
657.45/659.33 c #Conflicts: 65000 | #Constraints: 57767
657.45/659.33 c INPROCESSING
657.45/659.33 c GARBAGE COLLECT
657.45/659.33 c #Conflicts: 66000 | #Constraints: 52752
657.45/659.33 c #Conflicts: 67000 | #Constraints: 53752
657.45/659.33 c #Conflicts: 68000 | #Constraints: 54752
657.45/659.33 c #Conflicts: 69000 | #Constraints: 55752
657.45/659.33 c #Conflicts: 70000 | #Constraints: 56752
657.45/659.33 c #Conflicts: 71000 | #Constraints: 57752
1260.97/1264.55 c INPROCESSING
1260.97/1264.55 c GARBAGE COLLECT
1260.97/1264.55 c #Conflicts: 72000 | #Constraints: 52591
1260.97/1264.55 c #Conflicts: 73000 | #Constraints: 53591
1260.97/1264.55 c #Conflicts: 74000 | #Constraints: 54591
1260.97/1264.55 c #Conflicts: 75000 | #Constraints: 55591
1260.97/1264.55 c #Conflicts: 76000 | #Constraints: 56591
1260.97/1264.55 c #Conflicts: 77000 | #Constraints: 57591
1260.97/1264.55 c #Conflicts: 78000 | #Constraints: 58591
1260.97/1264.55 c INPROCESSING
1260.97/1264.55 c GARBAGE COLLECT
1260.97/1264.55 c #Conflicts: 79000 | #Constraints: 53574
1260.97/1264.55 c #Conflicts: 80000 | #Constraints: 54574
1260.97/1264.55 c #Conflicts: 81000 | #Constraints: 55574
1260.97/1264.55 c #Conflicts: 82000 | #Constraints: 56574
1260.97/1264.55 c #Conflicts: 83000 | #Constraints: 57574
1260.97/1264.55 c #Conflicts: 84000 | #Constraints: 58574
1260.97/1264.55 c #Conflicts: 85000 | #Constraints: 59574
1260.97/1264.55 c #Conflicts: 86000 | #Constraints: 60574
1260.97/1264.55 c #Conflicts: 87000 | #Constraints: 61574
1260.97/1264.55 c #Conflicts: 88000 | #Constraints: 62574
1260.97/1264.55 c #Conflicts: 89000 | #Constraints: 63574
1260.97/1264.55 c #Conflicts: 90000 | #Constraints: 64574
1260.97/1264.55 c #Conflicts: 91000 | #Constraints: 65574
1260.97/1264.55 c #Conflicts: 92000 | #Constraints: 66574
1260.97/1264.55 c #Conflicts: 93000 | #Constraints: 67574
1260.97/1264.55 c #Conflicts: 94000 | #Constraints: 68574
1260.97/1264.55 c #Conflicts: 95000 | #Constraints: 69574
1260.97/1264.55 c #Conflicts: 96000 | #Constraints: 70574
1260.97/1264.55 c #Conflicts: 97000 | #Constraints: 71574
1260.97/1264.55 c #Conflicts: 98000 | #Constraints: 72574
1260.97/1264.55 c #Conflicts: 99000 | #Constraints: 73574
1260.97/1264.55 c INPROCESSING
1260.97/1264.55 c GARBAGE COLLECT
1260.97/1264.55 c #Conflicts: 100000 | #Constraints: 60662
1260.97/1264.55 c #Conflicts: 101000 | #Constraints: 61662
1260.97/1264.55 c #Conflicts: 102000 | #Constraints: 62662
1260.97/1264.55 c #Conflicts: 103000 | #Constraints: 63662
1260.97/1264.55 c #Conflicts: 104000 | #Constraints: 64662
1260.97/1264.55 c #Conflicts: 105000 | #Constraints: 65662
1260.97/1264.55 c #Conflicts: 106000 | #Constraints: 66662
1260.97/1264.55 c #Conflicts: 107000 | #Constraints: 67662
1260.97/1264.55 c INPROCESSING
1260.97/1264.55 c GARBAGE COLLECT
1260.97/1264.55 c #Conflicts: 108000 | #Constraints: 57791
1260.97/1264.55 c #Conflicts: 109000 | #Constraints: 58791
1260.97/1264.55 c #Conflicts: 110000 | #Constraints: 59791
1260.97/1264.55 c #Conflicts: 111000 | #Constraints: 60791
1260.97/1264.55 c #Conflicts: 112000 | #Constraints: 61791
1260.97/1264.55 c #Conflicts: 113000 | #Constraints: 62791
1260.97/1264.55 c #Conflicts: 114000 | #Constraints: 63791
1260.97/1264.55 c #Conflicts: 115000 | #Constraints: 64791
1260.97/1264.55 c INPROCESSING
1260.97/1264.55 c GARBAGE COLLECT
1260.97/1264.55 c #Conflicts: 116000 | #Constraints: 56325
1260.97/1264.55 c #Conflicts: 117000 | #Constraints: 57325
1260.97/1264.55 c #Conflicts: 118000 | #Constraints: 58325
1260.97/1264.55 c #Conflicts: 119000 | #Constraints: 59325
1260.97/1264.55 c #Conflicts: 120000 | #Constraints: 60325
1260.97/1264.55 c #Conflicts: 121000 | #Constraints: 61325
1260.97/1264.55 c #Conflicts: 122000 | #Constraints: 62325
1260.97/1264.55 c #Conflicts: 123000 | #Constraints: 63325
1260.97/1264.55 c INPROCESSING
1260.97/1264.55 c GARBAGE COLLECT
1260.97/1264.55 c #Conflicts: 124000 | #Constraints: 55850
1260.97/1264.55 c #Conflicts: 125000 | #Constraints: 56850
1260.97/1264.55 c #Conflicts: 126000 | #Constraints: 57850
1260.97/1264.55 c #Conflicts: 127000 | #Constraints: 58850
1260.97/1264.55 c #Conflicts: 128000 | #Constraints: 59850
1260.97/1264.55 c #Conflicts: 129000 | #Constraints: 60850
1260.97/1264.55 c #Conflicts: 130000 | #Constraints: 61850
1260.97/1264.55 c #Conflicts: 131000 | #Constraints: 62850
1260.97/1264.55 c #Conflicts: 132000 | #Constraints: 63850
1260.97/1264.55 c #Conflicts: 133000 | #Constraints: 64850
1260.97/1264.55 c #Conflicts: 134000 | #Constraints: 65850
1260.97/1264.55 c #Conflicts: 135000 | #Constraints: 66850
1260.97/1264.55 c #Conflicts: 136000 | #Constraints: 67850
1260.97/1264.55 c #Conflicts: 137000 | #Constraints: 68850
1260.97/1264.55 c #Conflicts: 138000 | #Constraints: 69850
1260.97/1264.55 c #Conflicts: 139000 | #Constraints: 70850
1260.97/1264.55 c #Conflicts: 140000 | #Constraints: 71850
1260.97/1264.55 c #Conflicts: 141000 | #Constraints: 72850
1260.97/1264.55 c #Conflicts: 142000 | #Constraints: 73850
1260.97/1264.55 c #Conflicts: 143000 | #Constraints: 74850
1260.97/1264.55 c #Conflicts: 144000 | #Constraints: 75850
1260.97/1264.55 c #Conflicts: 145000 | #Constraints: 76850
1260.97/1264.55 c #Conflicts: 146000 | #Constraints: 77850
1869.48/1874.78 c #Conflicts: 147000 | #Constraints: 78850
1869.48/1874.78 c #Conflicts: 148000 | #Constraints: 79850
1869.48/1874.78 c #Conflicts: 149000 | #Constraints: 80850
1869.48/1874.78 c #Conflicts: 150000 | #Constraints: 81850
1869.48/1874.78 c INPROCESSING
1869.48/1874.78 c GARBAGE COLLECT
1869.48/1874.78 c #Conflicts: 151000 | #Constraints: 64910
1869.48/1874.78 c #Conflicts: 152000 | #Constraints: 65910
1869.48/1874.78 c #Conflicts: 153000 | #Constraints: 66910
1869.48/1874.78 c #Conflicts: 154000 | #Constraints: 67910
1869.48/1874.78 c #Conflicts: 155000 | #Constraints: 68910
1869.48/1874.78 c #Conflicts: 156000 | #Constraints: 69910
1869.48/1874.78 c #Conflicts: 157000 | #Constraints: 70910
1869.48/1874.78 c #Conflicts: 158000 | #Constraints: 71910
1869.48/1874.78 c #Conflicts: 159000 | #Constraints: 72910
1869.48/1874.78 c INPROCESSING
1869.48/1874.78 c GARBAGE COLLECT
1869.48/1874.78 c #Conflicts: 160000 | #Constraints: 60150
1869.48/1874.78 c #Conflicts: 161000 | #Constraints: 61150
1869.48/1874.78 c #Conflicts: 162000 | #Constraints: 62150
1869.48/1874.78 c #Conflicts: 163000 | #Constraints: 63150
1869.48/1874.78 c #Conflicts: 164000 | #Constraints: 64150
1869.48/1874.78 c #Conflicts: 165000 | #Constraints: 65150
1869.48/1874.78 c #Conflicts: 166000 | #Constraints: 66150
1869.48/1874.78 c #Conflicts: 167000 | #Constraints: 67150
1869.48/1874.78 c #Conflicts: 168000 | #Constraints: 68150
1869.48/1874.78 c #Conflicts: 169000 | #Constraints: 69150
1869.48/1874.78 c INPROCESSING
1869.48/1874.78 c GARBAGE COLLECT
1869.48/1874.78 c #Conflicts: 170000 | #Constraints: 58370
1869.48/1874.78 c #Conflicts: 171000 | #Constraints: 59370
1869.48/1874.78 c #Conflicts: 172000 | #Constraints: 60370
1869.48/1874.78 c #Conflicts: 173000 | #Constraints: 61370
1869.48/1874.78 c #Conflicts: 174000 | #Constraints: 62370
1869.48/1874.78 c #Conflicts: 175000 | #Constraints: 63370
1869.48/1874.78 c #Conflicts: 176000 | #Constraints: 64370
1869.48/1874.78 c #Conflicts: 177000 | #Constraints: 65370
1869.48/1874.78 c #Conflicts: 178000 | #Constraints: 66370
1869.48/1874.78 c #Conflicts: 179000 | #Constraints: 67370
1869.48/1874.78 c INPROCESSING
1869.48/1874.78 c GARBAGE COLLECT
1869.48/1874.78 c #Conflicts: 180000 | #Constraints: 57494
1869.48/1874.78 c #Conflicts: 181000 | #Constraints: 58494
1869.48/1874.78 c #Conflicts: 182000 | #Constraints: 59494
1869.48/1874.78 c #Conflicts: 183000 | #Constraints: 60494
1869.48/1874.78 c #Conflicts: 184000 | #Constraints: 61494
1869.48/1874.78 c #Conflicts: 185000 | #Constraints: 62494
1869.48/1874.78 c #Conflicts: 186000 | #Constraints: 63494
1869.48/1874.78 c #Conflicts: 187000 | #Constraints: 64494
1869.48/1874.78 c #Conflicts: 188000 | #Constraints: 65494
1869.48/1874.78 c #Conflicts: 189000 | #Constraints: 66494
1869.48/1874.78 c INPROCESSING
1869.48/1874.78 c GARBAGE COLLECT
1869.48/1874.78 c #Conflicts: 190000 | #Constraints: 56978
1869.48/1874.78 c #Conflicts: 191000 | #Constraints: 57978
1869.48/1874.78 c #Conflicts: 192000 | #Constraints: 58978
1869.48/1874.78 c #Conflicts: 193000 | #Constraints: 59978
1869.48/1874.78 c #Conflicts: 194000 | #Constraints: 60978
1869.48/1874.78 c #Conflicts: 195000 | #Constraints: 61978
1869.48/1874.78 c #Conflicts: 196000 | #Constraints: 62978
1869.48/1874.78 c #Conflicts: 197000 | #Constraints: 63978
1869.48/1874.78 c #Conflicts: 198000 | #Constraints: 64978
1869.48/1874.78 c #Conflicts: 199000 | #Constraints: 65978
1869.48/1874.78 c #Conflicts: 200000 | #Constraints: 66978
1869.48/1874.78 c INPROCESSING
1869.48/1874.78 c GARBAGE COLLECT
1869.48/1874.78 c #Conflicts: 201000 | #Constraints: 57547
1869.48/1874.78 c #Conflicts: 202000 | #Constraints: 58547
1869.48/1874.78 c #Conflicts: 203000 | #Constraints: 59547
1869.48/1874.78 c #Conflicts: 204000 | #Constraints: 60547
1869.48/1874.78 c #Conflicts: 205000 | #Constraints: 61547
1869.48/1874.78 c #Conflicts: 206000 | #Constraints: 62547
1869.48/1874.78 c #Conflicts: 207000 | #Constraints: 63547
1869.48/1874.78 c #Conflicts: 208000 | #Constraints: 64547
1869.48/1874.78 c #Conflicts: 209000 | #Constraints: 65547
1869.48/1874.78 c #Conflicts: 210000 | #Constraints: 66547
1869.48/1874.78 c #Conflicts: 211000 | #Constraints: 67547
1869.48/1874.78 c #Conflicts: 212000 | #Constraints: 68547
1869.48/1874.78 c #Conflicts: 213000 | #Constraints: 69547
1869.48/1874.78 c #Conflicts: 214000 | #Constraints: 70547
1869.48/1874.78 c #Conflicts: 215000 | #Constraints: 71547
1869.48/1874.78 c #Conflicts: 216000 | #Constraints: 72547
1869.48/1874.78 c #Conflicts: 217000 | #Constraints: 73547
1869.48/1874.78 c #Conflicts: 218000 | #Constraints: 74547
1869.48/1874.78 c #Conflicts: 219000 | #Constraints: 75547
1869.48/1874.78 c #Conflicts: 220000 | #Constraints: 76547
1869.48/1874.78 c #Conflicts: 221000 | #Constraints: 77547
2619.41/2626.87 c #Conflicts: 222000 | #Constraints: 78547
2619.41/2626.87 c #Conflicts: 223000 | #Constraints: 79547
2619.41/2626.87 c #Conflicts: 224000 | #Constraints: 80547
2619.41/2626.87 c #Conflicts: 225000 | #Constraints: 81547
2619.41/2626.87 c #Conflicts: 226000 | #Constraints: 82547
2619.41/2626.87 c #Conflicts: 227000 | #Constraints: 83547
2619.41/2626.87 c #Conflicts: 228000 | #Constraints: 84547
2619.41/2626.87 c #Conflicts: 229000 | #Constraints: 85547
2619.41/2626.87 c #Conflicts: 230000 | #Constraints: 86547
2619.41/2626.87 c #Conflicts: 231000 | #Constraints: 87547
2619.41/2626.87 c #Conflicts: 232000 | #Constraints: 88547
2619.41/2626.87 c #Conflicts: 233000 | #Constraints: 89547
2619.41/2626.87 c #Conflicts: 234000 | #Constraints: 90547
2619.41/2626.87 c INPROCESSING
2619.41/2626.87 c GARBAGE COLLECT
2619.41/2626.87 c #Conflicts: 235000 | #Constraints: 69323
2619.41/2626.87 c #Conflicts: 236000 | #Constraints: 70323
2619.41/2626.87 c #Conflicts: 237000 | #Constraints: 71323
2619.41/2626.87 c #Conflicts: 238000 | #Constraints: 72323
2619.41/2626.87 c #Conflicts: 239000 | #Constraints: 73323
2619.41/2626.87 c #Conflicts: 240000 | #Constraints: 74323
2619.41/2626.87 c #Conflicts: 241000 | #Constraints: 75323
2619.41/2626.87 c #Conflicts: 242000 | #Constraints: 76323
2619.41/2626.87 c #Conflicts: 243000 | #Constraints: 77323
2619.41/2626.87 c #Conflicts: 244000 | #Constraints: 78323
2619.41/2626.87 c #Conflicts: 245000 | #Constraints: 79323
2619.41/2626.87 c INPROCESSING
2619.41/2626.87 c GARBAGE COLLECT
2619.41/2626.87 c #Conflicts: 246000 | #Constraints: 63353
2619.41/2626.87 c #Conflicts: 247000 | #Constraints: 64353
2619.41/2626.87 c #Conflicts: 248000 | #Constraints: 65353
2619.41/2626.87 c #Conflicts: 249000 | #Constraints: 66353
2619.41/2626.87 c #Conflicts: 250000 | #Constraints: 67353
2619.41/2626.87 c #Conflicts: 251000 | #Constraints: 68353
2619.41/2626.87 c #Conflicts: 252000 | #Constraints: 69353
2619.41/2626.87 c #Conflicts: 253000 | #Constraints: 70353
2619.41/2626.87 c #Conflicts: 254000 | #Constraints: 71353
2619.41/2626.87 c #Conflicts: 255000 | #Constraints: 72353
2619.41/2626.87 c #Conflicts: 256000 | #Constraints: 73353
2619.41/2626.87 c #Conflicts: 257000 | #Constraints: 74353
2619.41/2626.87 c INPROCESSING
2619.41/2626.87 c GARBAGE COLLECT
2619.41/2626.87 c #Conflicts: 258000 | #Constraints: 61007
2619.41/2626.87 c #Conflicts: 259000 | #Constraints: 62007
2619.41/2626.87 c #Conflicts: 260000 | #Constraints: 63007
2619.41/2626.87 c #Conflicts: 261000 | #Constraints: 64007
2619.41/2626.87 c #Conflicts: 262000 | #Constraints: 65007
2619.41/2626.87 c #Conflicts: 263000 | #Constraints: 66007
2619.41/2626.87 c #Conflicts: 264000 | #Constraints: 67007
2619.41/2626.87 c #Conflicts: 265000 | #Constraints: 68007
2619.41/2626.87 c #Conflicts: 266000 | #Constraints: 69007
2619.41/2626.87 c #Conflicts: 267000 | #Constraints: 70007
2619.41/2626.87 c #Conflicts: 268000 | #Constraints: 71007
2619.41/2626.87 c #Conflicts: 269000 | #Constraints: 72007
2619.41/2626.87 c INPROCESSING
2619.41/2626.87 c GARBAGE COLLECT
2619.41/2626.87 c #Conflicts: 270000 | #Constraints: 59705
2619.41/2626.87 c #Conflicts: 271000 | #Constraints: 60705
2619.41/2626.87 c #Conflicts: 272000 | #Constraints: 61705
2619.41/2626.87 c #Conflicts: 273000 | #Constraints: 62705
2619.41/2626.87 c #Conflicts: 274000 | #Constraints: 63705
2619.41/2626.87 c #Conflicts: 275000 | #Constraints: 64705
2619.41/2626.87 c #Conflicts: 276000 | #Constraints: 65705
2619.41/2626.87 c #Conflicts: 277000 | #Constraints: 66705
2619.41/2626.87 c #Conflicts: 278000 | #Constraints: 67705
2619.41/2626.87 c #Conflicts: 279000 | #Constraints: 68705
2619.41/2626.87 c #Conflicts: 280000 | #Constraints: 69705
2619.41/2626.87 c #Conflicts: 281000 | #Constraints: 70705
2619.41/2626.87 c #Conflicts: 282000 | #Constraints: 71705
2619.41/2626.87 c INPROCESSING
2619.41/2626.87 c GARBAGE COLLECT
2619.41/2626.87 c #Conflicts: 283000 | #Constraints: 59889
2619.41/2626.87 c #Conflicts: 284000 | #Constraints: 60889
2619.41/2626.87 c #Conflicts: 285000 | #Constraints: 61889
2619.41/2626.87 c #Conflicts: 286000 | #Constraints: 62889
2619.41/2626.87 c #Conflicts: 287000 | #Constraints: 63889
2619.41/2626.87 c #Conflicts: 288000 | #Constraints: 64889
2619.41/2626.87 c #Conflicts: 289000 | #Constraints: 65889
2619.41/2626.87 c #Conflicts: 290000 | #Constraints: 66889
2619.41/2626.87 c #Conflicts: 291000 | #Constraints: 67889
2619.41/2626.87 c #Conflicts: 292000 | #Constraints: 68889
2619.41/2626.87 c #Conflicts: 293000 | #Constraints: 69889
2619.41/2626.87 c #Conflicts: 294000 | #Constraints: 70889
2619.41/2626.87 c INPROCESSING
2619.41/2626.87 c GARBAGE COLLECT
2619.41/2626.87 c #Conflicts: 295000 | #Constraints: 59319
2619.41/2626.87 c #Conflicts: 296000 | #Constraints: 60319
3523.65/3533.57 c #Conflicts: 297000 | #Constraints: 61319
3523.65/3533.57 c #Conflicts: 298000 | #Constraints: 62319
3523.65/3533.57 c #Conflicts: 299000 | #Constraints: 63319
3523.65/3533.57 c #Conflicts: 300000 | #Constraints: 64319
3523.65/3533.57 c #Conflicts: 301000 | #Constraints: 65319
3523.65/3533.57 c #Conflicts: 302000 | #Constraints: 66319
3523.65/3533.57 c #Conflicts: 303000 | #Constraints: 67319
3523.65/3533.57 c #Conflicts: 304000 | #Constraints: 68319
3523.65/3533.57 c #Conflicts: 305000 | #Constraints: 69319
3523.65/3533.57 c #Conflicts: 306000 | #Constraints: 70319
3523.65/3533.57 c #Conflicts: 307000 | #Constraints: 71319
3523.65/3533.57 c INPROCESSING
3523.65/3533.57 c GARBAGE COLLECT
3523.65/3533.57 c #Conflicts: 308000 | #Constraints: 60507
3523.65/3533.57 c #Conflicts: 309000 | #Constraints: 61507
3523.65/3533.57 c #Conflicts: 310000 | #Constraints: 62507
3523.65/3533.57 c #Conflicts: 311000 | #Constraints: 63507
3523.65/3533.57 c #Conflicts: 312000 | #Constraints: 64507
3523.65/3533.57 c #Conflicts: 313000 | #Constraints: 65507
3523.65/3533.57 c #Conflicts: 314000 | #Constraints: 66507
3523.65/3533.57 c #Conflicts: 315000 | #Constraints: 67507
3523.65/3533.57 c #Conflicts: 316000 | #Constraints: 68507
3523.65/3533.57 c #Conflicts: 317000 | #Constraints: 69507
3523.65/3533.57 c #Conflicts: 318000 | #Constraints: 70507
3523.65/3533.57 c #Conflicts: 319000 | #Constraints: 71507
3523.65/3533.57 c #Conflicts: 320000 | #Constraints: 72507
3523.65/3533.57 c #Conflicts: 321000 | #Constraints: 73507
3523.65/3533.57 c #Conflicts: 322000 | #Constraints: 74507
3523.65/3533.57 c #Conflicts: 323000 | #Constraints: 75507
3523.65/3533.57 c #Conflicts: 324000 | #Constraints: 76507
3523.65/3533.57 c #Conflicts: 325000 | #Constraints: 77507
3523.65/3533.57 c #Conflicts: 326000 | #Constraints: 78507
3523.65/3533.57 c #Conflicts: 327000 | #Constraints: 79507
3523.65/3533.57 c #Conflicts: 328000 | #Constraints: 80507
3523.65/3533.57 c #Conflicts: 329000 | #Constraints: 81507
3523.65/3533.57 c #Conflicts: 330000 | #Constraints: 82507
3523.65/3533.57 c #Conflicts: 331000 | #Constraints: 83507
3523.65/3533.57 c #Conflicts: 332000 | #Constraints: 84507
3523.65/3533.57 c #Conflicts: 333000 | #Constraints: 85507
3523.65/3533.57 c #Conflicts: 334000 | #Constraints: 86507
3523.65/3533.57 c #Conflicts: 335000 | #Constraints: 87507
3523.65/3533.57 c #Conflicts: 336000 | #Constraints: 88507
3523.65/3533.57 c #Conflicts: 337000 | #Constraints: 89507
3523.65/3533.57 c #Conflicts: 338000 | #Constraints: 90507
3523.65/3533.57 c #Conflicts: 339000 | #Constraints: 91507
3523.65/3533.57 c #Conflicts: 340000 | #Constraints: 92507
3523.65/3533.57 c #Conflicts: 341000 | #Constraints: 93507
3523.65/3533.57 c #Conflicts: 342000 | #Constraints: 94507
3523.65/3533.57 c #Conflicts: 343000 | #Constraints: 95507
3523.65/3533.57 c #Conflicts: 344000 | #Constraints: 96507
3523.65/3533.57 c #Conflicts: 345000 | #Constraints: 97507
3523.65/3533.57 c #Conflicts: 346000 | #Constraints: 98507
3523.65/3533.57 c #Conflicts: 347000 | #Constraints: 99507
3523.65/3533.57 c #Conflicts: 348000 | #Constraints: 100507
3523.65/3533.57 c #Conflicts: 349000 | #Constraints: 101507
3523.65/3533.57 c INPROCESSING
3523.65/3533.57 c GARBAGE COLLECT
3523.65/3533.57 c #Conflicts: 350000 | #Constraints: 74527
3523.65/3533.57 c #Conflicts: 351000 | #Constraints: 75527
3523.65/3533.57 c #Conflicts: 352000 | #Constraints: 76527
3523.65/3533.57 c #Conflicts: 353000 | #Constraints: 77527
3523.65/3533.57 c #Conflicts: 354000 | #Constraints: 78527
3523.65/3533.57 c #Conflicts: 355000 | #Constraints: 79527
3523.65/3533.57 c #Conflicts: 356000 | #Constraints: 80527
3523.65/3533.57 c #Conflicts: 357000 | #Constraints: 81527
3523.65/3533.57 c #Conflicts: 358000 | #Constraints: 82527
3523.65/3533.57 c #Conflicts: 359000 | #Constraints: 83527
3523.65/3533.57 c #Conflicts: 360000 | #Constraints: 84527
3523.65/3533.57 c #Conflicts: 361000 | #Constraints: 85527
3523.65/3533.57 c #Conflicts: 362000 | #Constraints: 86527
3523.65/3533.57 c #Conflicts: 363000 | #Constraints: 87527
3523.65/3533.57 c INPROCESSING
3523.65/3533.57 c GARBAGE COLLECT
3523.65/3533.57 c #Conflicts: 364000 | #Constraints: 67445
3523.65/3533.57 c #Conflicts: 365000 | #Constraints: 68445
3523.65/3533.57 c #Conflicts: 366000 | #Constraints: 69445
3523.65/3533.57 c #Conflicts: 367000 | #Constraints: 70445
3523.65/3533.57 c #Conflicts: 368000 | #Constraints: 71445
3523.65/3533.57 c #Conflicts: 369000 | #Constraints: 72445
3523.65/3533.57 c #Conflicts: 370000 | #Constraints: 73445
3523.65/3533.57 c #Conflicts: 371000 | #Constraints: 74445
3523.65/3533.57 c #Conflicts: 372000 | #Constraints: 75445
3523.65/3533.57 c #Conflicts: 373000 | #Constraints: 76445
3600.07/3610.10 c #Conflicts: 374000 | #Constraints: 77445
3600.07/3610.10 c #Conflicts: 375000 | #Constraints: 78445
3600.07/3610.10 c #Conflicts: 376000 | #Constraints: 79445
3600.07/3610.10 c #Conflicts: 377000 | #Constraints: 80445
3600.07/3610.10 c #Conflicts: 378000 | #Constraints: 81445
3600.07/3610.10 c INPROCESSING
3600.07/3610.10 c GARBAGE COLLECT
3600.07/3610.10 c #Conflicts: 379000 | #Constraints: 64832
3600.07/3610.10 c Program interrupted by user.
3600.07/3610.10 c cpu time 3591.74 s
3600.07/3610.10 c deterministic time 936530286469 9.37e+11
3600.07/3610.10 c optimization time 6.90084 s
3600.07/3610.10 c total solve time 3280.12 s
3600.07/3610.10 c core-guided solve time 3280.12 s
3600.07/3610.10 c propagation time 2973.37 s
3600.07/3610.10 c conflict analysis time 283.103 s
3600.07/3610.10 c propagations 1131580911
3600.07/3610.10 c resolve steps 5933103
3600.07/3610.10 c decisions 5773338
3600.07/3610.10 c conflicts 379988
3600.07/3610.10 c restarts 906
3600.07/3610.10 c inprocessing phases 35
3600.07/3610.10 c input clauses 15936
3600.07/3610.10 c input cardinalities 0
3600.07/3610.10 c input general constraints 29398
3600.07/3610.10 c input average constraint length 17.03
3600.07/3610.10 c input average constraint degree 28.90
3600.07/3610.10 c learned clauses 222822
3600.07/3610.10 c learned cardinalities 34
3600.07/3610.10 c learned general constraints 157132
3600.07/3610.10 c learned average constraint length 1258.63
3600.07/3610.10 c learned average constraint degree 22256615.11
3600.07/3610.10 c watched constraints 158421
3600.07/3610.10 c counting constraints 28109
3600.07/3610.10 c gcd simplifications 70463
3600.07/3610.10 c detected cardinalities 2
3600.07/3610.10 c weakened non-implied lits 88386457
3600.07/3610.10 c weakened non-implying lits 98219
3600.07/3610.10 c original variables 43918
3600.07/3610.10 c clausal propagations 144500686
3600.07/3610.10 c cardinality propagations 2150
3600.07/3610.10 c watched propagations 68743659
3600.07/3610.10 c counting propagations 918106384
3600.07/3610.10 c watch lookups 27682938388
3600.07/3610.10 c watch backjump lookups 23152439039
3600.07/3610.10 c watch checks 866450797302
3600.07/3610.10 c propagation checks 15774301022
3600.07/3610.10 c constraint additions 1194737137
3600.07/3610.10 c trail pops 1137719331
3600.07/3610.10 c formula constraints 45331
3600.07/3610.10 c learned constraints 379988
3600.07/3610.10 c bound constraints 1
3600.07/3610.10 c core-guided constraints 2
3600.07/3610.10 c encountered formula constraints 4754737
3600.07/3610.10 c encountered learned constraints 1558354
3600.07/3610.10 c encountered bound constraints 0
3600.07/3610.10 c encountered core-guided constraints 0
3600.07/3610.10 c LP total time 0 s
3600.07/3610.10 c LP solve time 0 s
3600.07/3610.10 c LP constraints added 0
3600.07/3610.10 c LP constraints removed 0
3600.07/3610.10 c LP pivots internal 0
3600.07/3610.10 c LP pivots root 0
3600.07/3610.10 c LP calls 0
3600.07/3610.10 c LP optimalities 0
3600.07/3610.10 c LP no pivot count 0
3600.07/3610.10 c LP infeasibilities 0
3600.07/3610.10 c LP valid Farkas constraints 0
3600.07/3610.10 c LP learned Farkas constraints 0
3600.07/3610.10 c LP basis resets 0
3600.07/3610.10 c LP cycling count 0
3600.07/3610.10 c LP singular count 0
3600.07/3610.10 c LP no primal count 0
3600.07/3610.10 c LP no farkas count 0
3600.07/3610.10 c LP other issue count 0
3600.07/3610.10 c LP Gomory cuts 0
3600.07/3610.10 c LP learned cuts 0
3600.07/3610.10 c LP deleted cuts 0
3600.07/3610.10 c LP encountered Gomory constraints 0
3600.07/3610.10 c LP encountered Farkas constraints 0
3600.07/3610.10 c LP encountered learned Farkas constraints 0
3600.07/3610.10 c CG auxiliary variables introduced 2
3600.07/3610.10 c CG solutions found 0
3600.07/3610.10 c CG cores constructed 0
3600.07/3610.10 c CG core cardinality constraints returned 0
3600.07/3610.10 c CG unit cores 0
3600.07/3610.10 c CG single cores 0
3600.07/3610.10 c CG blocks removed during cardinality reduction 0
3600.07/3610.10 c CG first core best 0
3600.07/3610.10 c CG decision core best 0
3600.07/3610.10 c CG core reduction tie 0
3600.07/3610.10 c CG core degree average 0.00
3600.07/3610.10 c CG core slack average 0.00
3600.07/3610.10 c CG exhausted 0
3600.07/3610.10 c CG exhaust time 0 s
3600.07/3610.10 c CG trimmed 0
3600.07/3610.10 c CG trim time 0 s
3600.07/3610.10 c CG minimized 0
3600.07/3610.10 c CG minimize time 0 s
3600.07/3610.10 c CG am1 prop time 0.005299 s
3600.07/3610.10 c CG # am1s reformulated 2
3600.07/3610.10 c CG lower bound derived from am1s 32
3600.07/3610.10 c CG # clausal cores 0
3600.07/3610.10 c CG # cardinality cores 0
3600.07/3610.10 c CG # pb cores 0
3600.07/3610.10 c CG # pb reforms 0
3600.07/3610.10 c CG # cores discarded because of pb reform 0
3600.07/3610.10 d LOWERBOUND 0
3600.07/3610.10 d NCORES 0
3600.07/3610.10 d NPBCORES 0
3600.07/3610.10 d NPBREFORM 0
3600.07/3610.10 d NTRIMMED 0
3600.07/3610.10 d NEXHAUSTED 0
3600.07/3610.10 d NAM1S 2
3600.07/3610.10 d AM1LB 32
3600.07/3610.10 c [Papilo Statistics]
3600.07/3610.10 c prepro time 5.05292s
3600.07/3610.10 c # tsx applied 27179
3600.07/3610.10 c # tsx conflicts 0
3600.07/3610.10 c # bound changes 4901
3600.07/3610.10 c # side changes 14929
3600.07/3610.10 c # coef changes 38267
3600.07/3610.10 c # rounds 6
3600.07/3610.10 c # deted vars 8576
3600.07/3610.10 c # deted constrs 17151
3600.07/3610.10 c # consecutive rounds of only bound changes 0
3600.07/3610.11 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: 63665 MiB (55455 MiB free)
memory of node 1: 64507 MiB (63302 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4524335-1751604652/watcher-4524335-1751604652 -o /tmp/evaluation-result-4524335-1751604652/solver-4524335-1751604652 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751602408-85773 --watchdog 3760 mixed-bag HOME/instance-4524335-1751604652.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=86073, runsolver pid=86070
[startup+0.100062 s]*
/proc/loadavg: 4.16 4.12 4.08 5/264 86074
/proc/meminfo: memFree=121592188/131249996 swapFree=33005016/33010684
[pid=86073] ppid=86070 vsize=97220 memory=23688 CPUtime=0.09 cores=1,3
/proc/86073/stat : 86073 (mixed-bag) R 86070 86073 85761 0 -1 4194304 4528 0 0 0 8 1 0 0 20 0 1 0 76144822 99553280 5922 18446744073709551615 4235264 15874749 140727595706704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 47149056 140727595714972 140727595715049 140727595715049 140727595720651 0
/proc/86073/statm: 24305 5922 2144 2842 0 6538 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 97220 KiB
Current children cumulated memory: 23688 KiB
[startup+0.205599 s]*
/proc/loadavg: 4.16 4.12 4.08 5/264 86074
/proc/meminfo: memFree=121583996/131249996 swapFree=33005016/33010684
[pid=86073] ppid=86070 vsize=109508 memory=31772 CPUtime=0.19 cores=1,3
/proc/86073/stat : 86073 (mixed-bag) R 86070 86073 85761 0 -1 4194304 5534 0 0 0 18 1 0 0 20 0 1 0 76144822 112136192 7943 18446744073709551615 4235264 15874749 140727595706704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 47149056 140727595714972 140727595715049 140727595715049 140727595720651 0
/proc/86073/statm: 27377 7943 2144 2842 0 9610 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 109508 KiB
Current children cumulated memory: 31772 KiB
[startup+0.305528 s]*
/proc/loadavg: 4.16 4.12 4.08 5/264 86074
/proc/meminfo: memFree=121583996/131249996 swapFree=33005016/33010684
[pid=86073] ppid=86070 vsize=109508 memory=35916 CPUtime=0.29 cores=1,3
/proc/86073/stat : 86073 (mixed-bag) R 86070 86073 85761 0 -1 4194304 5553 0 0 0 28 1 0 0 20 0 1 0 76144822 112136192 8979 18446744073709551615 4235264 15874749 140727595706704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 47149056 140727595714972 140727595715049 140727595715049 140727595720651 0
/proc/86073/statm: 27377 8979 2144 2842 0 9610 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 109508 KiB
Current children cumulated memory: 35916 KiB
[startup+0.700182 s]
/proc/loadavg: 4.16 4.12 4.08 5/264 86074
/proc/meminfo: memFree=121515524/131249996 swapFree=33005016/33010684
[pid=86073] ppid=86070 vsize=187952 memory=107484 CPUtime=0.68 cores=1,3
/proc/86073/stat : 86073 (mixed-bag) R 86070 86073 85761 0 -1 4194304 12416 0 0 0 64 4 0 0 20 0 1 0 76144822 192462848 26871 18446744073709551615 4235264 15874749 140727595706704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 47149056 140727595714972 140727595715049 140727595715049 140727595720651 0
/proc/86073/statm: 46988 26871 2304 2842 0 28682 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 187952 KiB
Current children cumulated memory: 107484 KiB
[startup+1.50018 s]
/proc/loadavg: 4.16 4.12 4.08 5/264 86074
/proc/meminfo: memFree=121516368/131249996 swapFree=33005016/33010684
[pid=86073] ppid=86070 vsize=187952 memory=107484 CPUtime=1.48 cores=1,3
/proc/86073/stat : 86073 (mixed-bag) R 86070 86073 85761 0 -1 4194304 12416 0 0 0 144 4 0 0 20 0 1 0 76144822 192462848 26871 18446744073709551615 4235264 15874749 140727595706704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 47149056 140727595714972 140727595715049 140727595715049 140727595720651 0
/proc/86073/statm: 46988 26871 2304 2842 0 28682 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 187952 KiB
Current children cumulated memory: 107484 KiB
[startup+3.10543 s]
/proc/loadavg: 4.16 4.12 4.08 5/264 86074
/proc/meminfo: memFree=121506860/131249996 swapFree=33005016/33010684
[pid=86073] ppid=86070 vsize=187952 memory=107484 CPUtime=3.08 cores=1,3
/proc/86073/stat : 86073 (mixed-bag) R 86070 86073 85761 0 -1 4194304 12433 0 0 0 304 4 0 0 20 0 1 0 76144822 192462848 26871 18446744073709551615 4235264 15874749 140727595706704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 47149056 140727595714972 140727595715049 140727595715049 140727595720651 0
/proc/86073/statm: 46988 26871 2304 2842 0 28682 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 187952 KiB
Current children cumulated memory: 107484 KiB
[startup+6.30012 s]
/proc/loadavg: 4.23 4.13 4.09 5/264 86075
/proc/meminfo: memFree=121289668/131249996 swapFree=33005016/33010684
[pid=86073] ppid=86070 vsize=453532 memory=371736 CPUtime=6.27 cores=1,3
/proc/86073/stat : 86073 (mixed-bag) R 86070 86073 85761 0 -1 4194304 72189 0 0 0 612 15 0 0 20 0 1 0 76144822 464416768 92934 18446744073709551615 4235264 15874749 140727595706704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 47149056 140727595714972 140727595715049 140727595715049 140727595720651 0
/proc/86073/statm: 113383 92934 4064 2842 0 95077 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 453532 KiB
Current children cumulated memory: 371736 KiB
[startup+12.7002 s]
/proc/loadavg: 4.21 4.13 4.08 5/264 86075
/proc/meminfo: memFree=121184500/131249996 swapFree=33005016/33010684
[pid=86073] ppid=86070 vsize=519388 memory=437004 CPUtime=12.64 cores=1,3
/proc/86073/stat : 86073 (mixed-bag) R 86070 86073 85761 0 -1 4194304 78863 0 0 0 1248 16 0 0 20 0 1 0 76144822 531853312 109251 18446744073709551615 4235264 15874749 140727595706704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 47149056 140727595714972 140727595715049 140727595715049 140727595720651 0
/proc/86073/statm: 129847 109251 4064 2842 0 111541 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 519388 KiB
Current children cumulated memory: 437004 KiB
[startup+25.5002 s]
/proc/loadavg: 4.16 4.12 4.08 5/264 86075
/proc/meminfo: memFree=121157236/131249996 swapFree=33005016/33010684
[pid=86073] ppid=86070 vsize=531512 memory=449672 CPUtime=25.41 cores=1,3
/proc/86073/stat : 86073 (mixed-bag) R 86070 86073 85761 0 -1 4194304 90099 0 0 0 2522 19 0 0 20 0 1 0 76144822 544268288 112418 18446744073709551615 4235264 15874749 140727595706704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 47149056 140727595714972 140727595715049 140727595715049 140727595720651 0
/proc/86073/statm: 132878 112418 4096 2842 0 114572 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 531512 KiB
Current children cumulated memory: 449672 KiB
[startup+51.1056 s]
/proc/loadavg: 4.17 4.13 4.09 5/264 86075
/proc/meminfo: memFree=120822068/131249996 swapFree=33005016/33010684
[pid=86073] ppid=86070 vsize=966508 memory=818308 CPUtime=50.94 cores=1,3
/proc/86073/stat : 86073 (mixed-bag) R 86070 86073 85761 0 -1 4194304 150490 0 0 0 5063 31 0 0 20 0 1 0 76144822 989704192 204577 18446744073709551615 4235264 15874749 140727595706704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 47149056 140727595714972 140727595715049 140727595715049 140727595720651 0
/proc/86073/statm: 241627 204577 4288 2842 0 223321 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 966508 KiB
Current children cumulated memory: 818308 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 86077
/proc/meminfo: memFree=120792868/131249996 swapFree=33005016/33010684
[pid=86073] ppid=86070 vsize=999712 memory=845468 CPUtime=102 cores=1,3
/proc/86073/stat : 86073 (mixed-bag) R 86070 86073 85761 0 -1 4194304 152172 0 0 0 10168 32 0 0 20 0 1 0 76144822 1023705088 211367 18446744073709551615 4235264 15874749 140727595706704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 47149056 140727595714972 140727595715049 140727595715049 140727595720651 0
/proc/86073/statm: 249928 211367 4288 2842 0 231622 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 999712 KiB
Current children cumulated memory: 845468 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 86079
/proc/meminfo: memFree=120703256/131249996 swapFree=33005016/33010684
[pid=86073] ppid=86070 vsize=1092396 memory=927872 CPUtime=161.82 cores=1,3
/proc/86073/stat : 86073 (mixed-bag) R 86070 86073 85761 0 -1 4194304 164712 0 0 0 16147 35 0 0 20 0 1 0 76144822 1118613504 231968 18446744073709551615 4235264 15874749 140727595706704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 47149056 140727595714972 140727595715049 140727595715049 140727595720651 0
/proc/86073/statm: 273099 231968 4288 2842 0 254793 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 1092396 KiB
Current children cumulated memory: 927872 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/264 86081
/proc/meminfo: memFree=120699336/131249996 swapFree=33005016/33010684
[pid=86073] ppid=86070 vsize=1092396 memory=927872 CPUtime=221.65 cores=1,3
/proc/86073/stat : 86073 (mixed-bag) R 86070 86073 85761 0 -1 4194304 164712 0 0 0 22130 35 0 0 20 0 1 0 76144822 1118613504 231968 18446744073709551615 4235264 15874749 140727595706704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 47149056 140727595714972 140727595715049 140727595715049 140727595720651 0
/proc/86073/statm: 273099 231968 4288 2842 0 254793 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 1092396 KiB
Current children cumulated memory: 927872 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 86084
/proc/meminfo: memFree=120649824/131249996 swapFree=33005016/33010684
[pid=86073] ppid=86070 vsize=1133592 memory=968064 CPUtime=281.48 cores=1,3
/proc/86073/stat : 86073 (mixed-bag) R 86070 86073 85761 0 -1 4194304 174878 0 0 0 28111 37 0 0 20 0 1 0 76144822 1160798208 242016 18446744073709551615 4235264 15874749 140727595706704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 47149056 140727595714972 140727595715049 140727595715049 140727595720651 0
/proc/86073/statm: 283398 242016 4288 2842 0 265092 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 1133592 KiB
Current children cumulated memory: 968064 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 86086
/proc/meminfo: memFree=120848712/131249996 swapFree=33005016/33010684
[pid=86073] ppid=86070 vsize=941892 memory=803480 CPUtime=341.31 cores=1,3
/proc/86073/stat : 86073 (mixed-bag) R 86070 86073 85761 0 -1 4194304 177575 0 0 0 34005 126 0 0 20 0 1 0 76144822 964497408 200870 18446744073709551615 4235264 15874749 140727595706704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 47149056 140727595714972 140727595715049 140727595715049 140727595720651 0
/proc/86073/statm: 235473 200870 4448 2842 0 217167 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 941892 KiB
Current children cumulated memory: 803480 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 86093
/proc/meminfo: memFree=120787080/131249996 swapFree=33005016/33010684
[pid=86073] ppid=86070 vsize=972712 memory=840352 CPUtime=401.15 cores=1,3
/proc/86073/stat : 86073 (mixed-bag) R 86070 86073 85761 0 -1 4194304 178106 0 0 0 39970 145 0 0 20 0 1 0 76144822 996057088 210088 18446744073709551615 4235264 15874749 140727595706704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 47149056 140727595714972 140727595715049 140727595715049 140727595720651 0
/proc/86073/statm: 243178 210088 4448 2842 0 224872 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 972712 KiB
Current children cumulated memory: 840352 KiB
[startup+462.3 s]
/proc/loadavg: 4.52 4.21 4.12 5/264 86095
/proc/meminfo: memFree=120776604/131249996 swapFree=33005016/33010684
[pid=86073] ppid=86070 vsize=972712 memory=840352 CPUtime=460.99 cores=1,3
/proc/86073/stat : 86073 (mixed-bag) R 86070 86073 85761 0 -1 4194304 178117 0 0 0 45935 164 0 0 20 0 1 0 76144822 996057088 210088 18446744073709551615 4235264 15874749 140727595706704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 47149056 140727595714972 140727595715049 140727595715049 140727595720651 0
/proc/86073/statm: 243178 210088 4448 2842 0 224872 0
################
# More data... #
################
Current children cumulated memory: 1092796 KiB
[startup+2922.3 s]
/proc/loadavg: 1.06 1.09 1.63 2/246 86360
/proc/meminfo: memFree=129043632/131249996 swapFree=33005016/33010684
[pid=86073] ppid=86070 vsize=1236448 memory=1092796 CPUtime=2914.16 cores=1,3
/proc/86073/stat : 86073 (mixed-bag) R 86070 86073 85761 0 -1 4194304 180491 0 0 0 290662 754 0 0 20 0 1 0 76144822 1266122752 273199 18446744073709551615 4235264 15874749 140727595706704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 47149056 140727595714972 140727595715049 140727595715049 140727595720651 0
/proc/86073/statm: 309112 273199 4448 2842 0 290806 0
Current children cumulated CPU time: 2914.16 s
Current children cumulated vsize: 1236448 KiB
Current children cumulated memory: 1092796 KiB
[startup+2982.3 s]
/proc/loadavg: 1.12 1.10 1.60 2/245 86362
/proc/meminfo: memFree=129044892/131249996 swapFree=33005016/33010684
[pid=86073] ppid=86070 vsize=1236448 memory=1092796 CPUtime=2973.99 cores=1,3
/proc/86073/stat : 86073 (mixed-bag) R 86070 86073 85761 0 -1 4194304 180494 0 0 0 296638 761 0 0 20 0 1 0 76144822 1266122752 273199 18446744073709551615 4235264 15874749 140727595706704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 47149056 140727595714972 140727595715049 140727595715049 140727595720651 0
/proc/86073/statm: 309112 273199 4448 2842 0 290806 0
Current children cumulated CPU time: 2973.99 s
Current children cumulated vsize: 1236448 KiB
Current children cumulated memory: 1092796 KiB
[startup+3042.3 s]
/proc/loadavg: 1.10 1.09 1.56 2/245 86364
/proc/meminfo: memFree=129043684/131249996 swapFree=33005016/33010684
[pid=86073] ppid=86070 vsize=1236448 memory=1092796 CPUtime=3033.81 cores=1,3
/proc/86073/stat : 86073 (mixed-bag) R 86070 86073 85761 0 -1 4194304 180555 0 0 0 302616 765 0 0 20 0 1 0 76144822 1266122752 273199 18446744073709551615 4235264 15874749 140727595706704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 47149056 140727595714972 140727595715049 140727595715049 140727595720651 0
/proc/86073/statm: 309112 273199 4448 2842 0 290806 0
Current children cumulated CPU time: 3033.81 s
Current children cumulated vsize: 1236448 KiB
Current children cumulated memory: 1092796 KiB
[startup+3102.3 s]
/proc/loadavg: 1.11 1.09 1.53 2/245 86368
/proc/meminfo: memFree=129028548/131249996 swapFree=33005016/33010684
[pid=86073] ppid=86070 vsize=1236448 memory=1107132 CPUtime=3093.63 cores=1,3
/proc/86073/stat : 86073 (mixed-bag) R 86070 86073 85761 0 -1 4194304 180790 0 0 0 308593 770 0 0 20 0 1 0 76144822 1266122752 276783 18446744073709551615 4235264 15874749 140727595706704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 47149056 140727595714972 140727595715049 140727595715049 140727595720651 0
/proc/86073/statm: 309112 276783 4448 2842 0 290806 0
Current children cumulated CPU time: 3093.63 s
Current children cumulated vsize: 1236448 KiB
Current children cumulated memory: 1107132 KiB
[startup+3162.3 s]
/proc/loadavg: 1.09 1.09 1.50 2/244 86370
/proc/meminfo: memFree=129016548/131249996 swapFree=33005016/33010684
[pid=86073] ppid=86070 vsize=1236448 memory=1119420 CPUtime=3153.44 cores=1,3
/proc/86073/stat : 86073 (mixed-bag) R 86070 86073 85761 0 -1 4194304 180801 0 0 0 314564 780 0 0 20 0 1 0 76144822 1266122752 279855 18446744073709551615 4235264 15874749 140727595706704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 47149056 140727595714972 140727595715049 140727595715049 140727595720651 0
/proc/86073/statm: 309112 279855 4448 2842 0 290806 0
Current children cumulated CPU time: 3153.44 s
Current children cumulated vsize: 1236448 KiB
Current children cumulated memory: 1119420 KiB
[startup+3222.3 s]
/proc/loadavg: 1.08 1.08 1.47 2/244 86372
/proc/meminfo: memFree=128999936/131249996 swapFree=33005016/33010684
[pid=86073] ppid=86070 vsize=1236448 memory=1137852 CPUtime=3213.26 cores=1,3
/proc/86073/stat : 86073 (mixed-bag) R 86070 86073 85761 0 -1 4194304 180811 0 0 0 320539 787 0 0 20 0 1 0 76144822 1266122752 284463 18446744073709551615 4235264 15874749 140727595706704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 47149056 140727595714972 140727595715049 140727595715049 140727595720651 0
/proc/86073/statm: 309112 284463 4448 2842 0 290806 0
Current children cumulated CPU time: 3213.26 s
Current children cumulated vsize: 1236448 KiB
Current children cumulated memory: 1137852 KiB
[startup+3282.3 s]
/proc/loadavg: 1.14 1.10 1.45 2/245 86375
/proc/meminfo: memFree=128994364/131249996 swapFree=33005016/33010684
[pid=86073] ppid=86070 vsize=1236448 memory=1141948 CPUtime=3273.11 cores=1,3
/proc/86073/stat : 86073 (mixed-bag) R 86070 86073 85761 0 -1 4194304 180814 0 0 0 326516 795 0 0 20 0 1 0 76144822 1266122752 285487 18446744073709551615 4235264 15874749 140727595706704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 47149056 140727595714972 140727595715049 140727595715049 140727595720651 0
/proc/86073/statm: 309112 285487 4448 2842 0 290806 0
Current children cumulated CPU time: 3273.11 s
Current children cumulated vsize: 1236448 KiB
Current children cumulated memory: 1141948 KiB
[startup+3342.3 s]
/proc/loadavg: 1.10 1.09 1.43 2/245 86377
/proc/meminfo: memFree=128994388/131249996 swapFree=33005016/33010684
[pid=86073] ppid=86070 vsize=1236448 memory=1141948 CPUtime=3332.95 cores=1,3
/proc/86073/stat : 86073 (mixed-bag) R 86070 86073 85761 0 -1 4194304 180814 0 0 0 332492 803 0 0 20 0 1 0 76144822 1266122752 285487 18446744073709551615 4235264 15874749 140727595706704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 47149056 140727595714972 140727595715049 140727595715049 140727595720651 0
/proc/86073/statm: 309112 285487 4448 2842 0 290806 0
Current children cumulated CPU time: 3332.95 s
Current children cumulated vsize: 1236448 KiB
Current children cumulated memory: 1141948 KiB
[startup+3402.3 s]
/proc/loadavg: 1.15 1.10 1.41 2/245 86379
/proc/meminfo: memFree=128994548/131249996 swapFree=33005016/33010684
[pid=86073] ppid=86070 vsize=1236448 memory=1141948 CPUtime=3392.79 cores=1,3
/proc/86073/stat : 86073 (mixed-bag) R 86070 86073 85761 0 -1 4194304 180814 0 0 0 338471 808 0 0 20 0 1 0 76144822 1266122752 285487 18446744073709551615 4235264 15874749 140727595706704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 47149056 140727595714972 140727595715049 140727595715049 140727595720651 0
/proc/86073/statm: 309112 285487 4448 2842 0 290806 0
Current children cumulated CPU time: 3392.79 s
Current children cumulated vsize: 1236448 KiB
Current children cumulated memory: 1141948 KiB
[startup+3462.3 s]
/proc/loadavg: 1.12 1.10 1.39 2/246 86386
/proc/meminfo: memFree=128994772/131249996 swapFree=33005016/33010684
[pid=86073] ppid=86070 vsize=1236448 memory=1141948 CPUtime=3452.63 cores=1,3
/proc/86073/stat : 86073 (mixed-bag) R 86070 86073 85761 0 -1 4194304 180814 0 0 0 344448 815 0 0 20 0 1 0 76144822 1266122752 285487 18446744073709551615 4235264 15874749 140727595706704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 47149056 140727595714972 140727595715049 140727595715049 140727595720651 0
/proc/86073/statm: 309112 285487 4448 2842 0 290806 0
Current children cumulated CPU time: 3452.63 s
Current children cumulated vsize: 1236448 KiB
Current children cumulated memory: 1141948 KiB
[startup+3522.3 s]
/proc/loadavg: 1.09 1.09 1.36 2/246 86388
/proc/meminfo: memFree=128994564/131249996 swapFree=33005016/33010684
[pid=86073] ppid=86070 vsize=1236448 memory=1141948 CPUtime=3512.48 cores=1,3
/proc/86073/stat : 86073 (mixed-bag) R 86070 86073 85761 0 -1 4194304 180814 0 0 0 350426 822 0 0 20 0 1 0 76144822 1266122752 285487 18446744073709551615 4235264 15874749 140727595706704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 47149056 140727595714972 140727595715049 140727595715049 140727595720651 0
/proc/86073/statm: 309112 285487 4448 2842 0 290806 0
Current children cumulated CPU time: 3512.48 s
Current children cumulated vsize: 1236448 KiB
Current children cumulated memory: 1141948 KiB
[startup+3582.3 s]
/proc/loadavg: 1.13 1.10 1.35 2/246 86391
/proc/meminfo: memFree=128994596/131249996 swapFree=33005016/33010684
[pid=86073] ppid=86070 vsize=1236448 memory=1141948 CPUtime=3572.33 cores=1,3
/proc/86073/stat : 86073 (mixed-bag) R 86070 86073 85761 0 -1 4194304 180946 0 0 0 356405 828 0 0 20 0 1 0 76144822 1266122752 285487 18446744073709551615 4235264 15874749 140727595706704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 47149056 140727595714972 140727595715049 140727595715049 140727595720651 0
/proc/86073/statm: 309112 285487 4448 2842 0 290806 0
Current children cumulated CPU time: 3572.33 s
Current children cumulated vsize: 1236448 KiB
Current children cumulated memory: 1141948 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 1.08 1.09 1.34 2/246 86392
/proc/meminfo: memFree=128994136/131249996 swapFree=33005016/33010684
[pid=86073] ppid=86070 vsize=1236448 memory=1141948 CPUtime=3600.07 cores=1,3
/proc/86073/stat : 86073 (mixed-bag) R 86070 86073 85761 0 -1 4194304 181055 0 0 0 359174 833 0 0 20 0 1 0 76144822 1266122752 285487 18446744073709551615 4235264 15874749 140727595706704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 47149056 140727595714972 140727595715049 140727595715049 140727595720651 0
/proc/86073/statm: 309112 285487 4448 2842 0 290806 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1236448 KiB
Current children cumulated memory: 1141948 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.11 s]
# the end of solver process 86073 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.75 s, system=8.33755 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.11 s]
/proc/loadavg: 1.08 1.09 1.34 2/246 86392
/proc/meminfo: memFree=128994136/131249996 swapFree=33005016/33010684
[pid=86073] ppid=86070 vsize=1236448 memory=1141948 CPUtime=3600.07 cores=1,3
/proc/86073/stat : 86073 (mixed-bag) R 86070 86073 85761 0 -1 4194304 181055 0 0 0 359174 833 0 0 20 0 1 0 76144822 1266122752 285487 18446744073709551615 4235264 15874749 140727595706704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 47149056 140727595714972 140727595715049 140727595715049 140727595720651 0
/proc/86073/statm: 309112 285487 4448 2842 0 290806 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1236448 KiB
Current children cumulated memory: 1141948 KiB
Child status: 0
Real time (s): 3610.11
CPU time (s): 3600.09
CPU user time (s): 3591.75
CPU system time (s): 8.33755
CPU usage (%): 99.7222
Max. virtual memory (cumulated for all children) (KiB): 1236448
Max. memory (cumulated for all children) (KiB): 1141948
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.75
system time used= 8.33755
maximum resident set size= 1142716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 181089
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= 240
involuntary context switches= 3065
# summary of solver processes directly reported to runsolver:
# pid: 86073
# total CPU time (s): 3600.09
# total CPU user time (s): 3591.75
# total CPU system time (s): 8.33755
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.39753 second user time and 16.3403 second system time
The end
Begin job on nodeC030 at 2025-07-04 06:50:52
IDJOB=4524335
IDBENCH=180653
IDSOLVER=3340
FILE ID=nodeC030/4524335-1751604652
RUNJOBID= nodeC030-1751602408-85773
SLURM_JOB_ID= 9598884
Free space on /tmp= 432400 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
BENCH NAME= PB25/normalized-PB25/OPT-LIN/wallon/normalized-SameQueensKnights-b-35_c24.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4524335-1751604652/watcher-4524335-1751604652 -o /tmp/evaluation-result-4524335-1751604652/solver-4524335-1751604652 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751602408-85773 --watchdog 3760 mixed-bag HOME/instance-4524335-1751604652.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 85006dfa006eef4f5ff7a59d59a5be2d
RANDOM SEED=1866612860
nodeC030 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.332
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.684
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
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 : 3600.130
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
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 : 3600.329
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.342
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.318
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
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 : 3601.078
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
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 : 3628.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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 121608160 kB
MemAvailable: 121299276 kB
Buffers: 16 kB
Cached: 481852 kB
SwapCached: 224 kB
Active: 8566580 kB
Inactive: 414640 kB
Active(anon): 8449956 kB
Inactive(anon): 62936 kB
Active(file): 116624 kB
Inactive(file): 351704 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33005016 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 20516 kB
Writeback: 96 kB
AnonPages: 8499600 kB
Mapped: 133952 kB
Shmem: 13540 kB
KReclaimable: 123652 kB
Slab: 213704 kB
SReclaimable: 123652 kB
SUnreclaim: 90052 kB
KernelStack: 4256 kB
PageTables: 20164 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 9141704 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150568 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 5183488 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: 189140 kB
DirectMap2M: 9019392 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432476 MiB
End job on nodeC030 at 2025-07-04 07:51:03