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.26/5.38 c [STEP] solving with SCIP
304.76/305.77 c [STEP] preprocessing done, loading into solver
304.96/305.94 c [STEP] solving
304.96/305.94 c #variables 35343 #constraints 45331
304.96/305.94 c SMALL=int, LARGE=long long
304.96/305.94 d SCIPUB 0
304.96/305.94 c bounds - >= -126 @ 304.59
304.96/305.94 c stratification level: 16
628.03/629.98 c #Conflicts: 1000 | #Constraints: 46333
628.03/629.98 c #Conflicts: 2000 | #Constraints: 47333
628.03/629.98 c INPROCESSING
628.03/629.98 c GARBAGE COLLECT
628.03/629.98 c #Conflicts: 3000 | #Constraints: 47794
628.03/629.98 c #Conflicts: 4000 | #Constraints: 48794
628.03/629.98 c #Conflicts: 5000 | #Constraints: 49794
628.03/629.98 c #Conflicts: 6000 | #Constraints: 50794
628.03/629.98 c INPROCESSING
628.03/629.98 c GARBAGE COLLECT
628.03/629.98 c #Conflicts: 7000 | #Constraints: 49241
628.03/629.98 c #Conflicts: 8000 | #Constraints: 50241
628.03/629.98 c #Conflicts: 9000 | #Constraints: 51241
628.03/629.98 c INPROCESSING
628.03/629.98 c GARBAGE COLLECT
628.03/629.98 c #Conflicts: 10000 | #Constraints: 49275
628.03/629.98 c #Conflicts: 11000 | #Constraints: 50275
628.03/629.98 c #Conflicts: 12000 | #Constraints: 51275
628.03/629.98 c INPROCESSING
628.03/629.98 c GARBAGE COLLECT
628.03/629.98 c #Conflicts: 13000 | #Constraints: 49538
628.03/629.98 c #Conflicts: 14000 | #Constraints: 50538
628.03/629.98 c #Conflicts: 15000 | #Constraints: 51538
628.03/629.98 c #Conflicts: 16000 | #Constraints: 52538
628.03/629.98 c #Conflicts: 17000 | #Constraints: 53538
628.03/629.98 c #Conflicts: 18000 | #Constraints: 54538
628.03/629.98 c #Conflicts: 19000 | #Constraints: 55538
628.03/629.98 c #Conflicts: 20000 | #Constraints: 56538
628.03/629.98 c #Conflicts: 21000 | #Constraints: 57538
628.03/629.98 c INPROCESSING
628.03/629.98 c GARBAGE COLLECT
628.03/629.98 c #Conflicts: 22000 | #Constraints: 52651
628.03/629.98 c #Conflicts: 23000 | #Constraints: 53651
628.03/629.98 c #Conflicts: 24000 | #Constraints: 54651
628.03/629.98 c #Conflicts: 25000 | #Constraints: 55651
628.03/629.98 c INPROCESSING
628.03/629.98 c GARBAGE COLLECT
628.03/629.98 c #Conflicts: 26000 | #Constraints: 51330
628.03/629.98 c #Conflicts: 27000 | #Constraints: 52330
628.03/629.98 c #Conflicts: 28000 | #Constraints: 53330
628.03/629.98 c #Conflicts: 29000 | #Constraints: 54330
628.03/629.98 c #Conflicts: 30000 | #Constraints: 55330
628.03/629.98 c INPROCESSING
628.03/629.98 c GARBAGE COLLECT
628.03/629.98 c #Conflicts: 31000 | #Constraints: 51167
628.03/629.98 c #Conflicts: 32000 | #Constraints: 52167
628.03/629.98 c #Conflicts: 33000 | #Constraints: 53167
628.03/629.98 c #Conflicts: 34000 | #Constraints: 54167
628.03/629.98 c #Conflicts: 35000 | #Constraints: 55167
628.03/629.98 c #Conflicts: 36000 | #Constraints: 56167
628.03/629.98 c INPROCESSING
628.03/629.98 c GARBAGE COLLECT
628.03/629.98 c #Conflicts: 37000 | #Constraints: 52014
628.03/629.98 c #Conflicts: 38000 | #Constraints: 53014
628.03/629.98 c #Conflicts: 39000 | #Constraints: 54014
628.03/629.98 c #Conflicts: 40000 | #Constraints: 55014
628.03/629.98 c #Conflicts: 41000 | #Constraints: 56014
628.03/629.98 c INPROCESSING
628.03/629.98 c GARBAGE COLLECT
628.03/629.98 c #Conflicts: 42000 | #Constraints: 51719
628.03/629.98 c #Conflicts: 43000 | #Constraints: 52719
628.03/629.98 c #Conflicts: 44000 | #Constraints: 53719
628.03/629.98 c #Conflicts: 45000 | #Constraints: 54719
628.03/629.98 c #Conflicts: 46000 | #Constraints: 55719
628.03/629.98 c #Conflicts: 47000 | #Constraints: 56719
628.03/629.98 c INPROCESSING
628.03/629.98 c GARBAGE COLLECT
628.03/629.98 c #Conflicts: 48000 | #Constraints: 52259
628.03/629.98 c #Conflicts: 49000 | #Constraints: 53259
628.03/629.98 c #Conflicts: 50000 | #Constraints: 54259
628.03/629.98 c #Conflicts: 51000 | #Constraints: 55259
628.03/629.98 c #Conflicts: 52000 | #Constraints: 56259
628.03/629.98 c INPROCESSING
628.03/629.98 c GARBAGE COLLECT
628.03/629.98 c #Conflicts: 53000 | #Constraints: 51586
628.03/629.98 c #Conflicts: 54000 | #Constraints: 52586
628.03/629.98 c #Conflicts: 55000 | #Constraints: 53586
628.03/629.98 c #Conflicts: 56000 | #Constraints: 54586
628.03/629.98 c #Conflicts: 57000 | #Constraints: 55586
628.03/629.98 c #Conflicts: 58000 | #Constraints: 56586
628.03/629.98 c INPROCESSING
628.03/629.98 c GARBAGE COLLECT
628.03/629.98 c #Conflicts: 59000 | #Constraints: 51767
628.03/629.98 c #Conflicts: 60000 | #Constraints: 52767
628.03/629.98 c #Conflicts: 61000 | #Constraints: 53767
628.03/629.98 c #Conflicts: 62000 | #Constraints: 54767
628.03/629.98 c #Conflicts: 63000 | #Constraints: 55767
628.03/629.98 c #Conflicts: 64000 | #Constraints: 56767
628.03/629.98 c #Conflicts: 65000 | #Constraints: 57767
628.03/629.98 c INPROCESSING
628.03/629.98 c GARBAGE COLLECT
628.03/629.98 c #Conflicts: 66000 | #Constraints: 52752
628.03/629.98 c #Conflicts: 67000 | #Constraints: 53752
628.03/629.98 c #Conflicts: 68000 | #Constraints: 54752
628.03/629.98 c #Conflicts: 69000 | #Constraints: 55752
628.03/629.98 c #Conflicts: 70000 | #Constraints: 56752
628.03/629.98 c #Conflicts: 71000 | #Constraints: 57752
1204.50/1208.16 c INPROCESSING
1204.50/1208.16 c GARBAGE COLLECT
1204.50/1208.16 c #Conflicts: 72000 | #Constraints: 52591
1204.50/1208.16 c #Conflicts: 73000 | #Constraints: 53591
1204.50/1208.16 c #Conflicts: 74000 | #Constraints: 54591
1204.50/1208.16 c #Conflicts: 75000 | #Constraints: 55591
1204.50/1208.16 c #Conflicts: 76000 | #Constraints: 56591
1204.50/1208.16 c #Conflicts: 77000 | #Constraints: 57591
1204.50/1208.16 c #Conflicts: 78000 | #Constraints: 58591
1204.50/1208.16 c INPROCESSING
1204.50/1208.16 c GARBAGE COLLECT
1204.50/1208.16 c #Conflicts: 79000 | #Constraints: 53574
1204.50/1208.16 c #Conflicts: 80000 | #Constraints: 54574
1204.50/1208.16 c #Conflicts: 81000 | #Constraints: 55574
1204.50/1208.16 c #Conflicts: 82000 | #Constraints: 56574
1204.50/1208.16 c #Conflicts: 83000 | #Constraints: 57574
1204.50/1208.16 c #Conflicts: 84000 | #Constraints: 58574
1204.50/1208.16 c #Conflicts: 85000 | #Constraints: 59574
1204.50/1208.16 c #Conflicts: 86000 | #Constraints: 60574
1204.50/1208.16 c #Conflicts: 87000 | #Constraints: 61574
1204.50/1208.16 c #Conflicts: 88000 | #Constraints: 62574
1204.50/1208.16 c #Conflicts: 89000 | #Constraints: 63574
1204.50/1208.16 c #Conflicts: 90000 | #Constraints: 64574
1204.50/1208.16 c #Conflicts: 91000 | #Constraints: 65574
1204.50/1208.16 c #Conflicts: 92000 | #Constraints: 66574
1204.50/1208.16 c #Conflicts: 93000 | #Constraints: 67574
1204.50/1208.16 c #Conflicts: 94000 | #Constraints: 68574
1204.50/1208.16 c #Conflicts: 95000 | #Constraints: 69574
1204.50/1208.16 c #Conflicts: 96000 | #Constraints: 70574
1204.50/1208.16 c #Conflicts: 97000 | #Constraints: 71574
1204.50/1208.16 c #Conflicts: 98000 | #Constraints: 72574
1204.50/1208.16 c #Conflicts: 99000 | #Constraints: 73574
1204.50/1208.16 c INPROCESSING
1204.50/1208.16 c GARBAGE COLLECT
1204.50/1208.16 c #Conflicts: 100000 | #Constraints: 60662
1204.50/1208.16 c #Conflicts: 101000 | #Constraints: 61662
1204.50/1208.16 c #Conflicts: 102000 | #Constraints: 62662
1204.50/1208.16 c #Conflicts: 103000 | #Constraints: 63662
1204.50/1208.16 c #Conflicts: 104000 | #Constraints: 64662
1204.50/1208.16 c #Conflicts: 105000 | #Constraints: 65662
1204.50/1208.16 c #Conflicts: 106000 | #Constraints: 66662
1204.50/1208.16 c #Conflicts: 107000 | #Constraints: 67662
1204.50/1208.16 c INPROCESSING
1204.50/1208.16 c GARBAGE COLLECT
1204.50/1208.16 c #Conflicts: 108000 | #Constraints: 57791
1204.50/1208.16 c #Conflicts: 109000 | #Constraints: 58791
1204.50/1208.16 c #Conflicts: 110000 | #Constraints: 59791
1204.50/1208.16 c #Conflicts: 111000 | #Constraints: 60791
1204.50/1208.16 c #Conflicts: 112000 | #Constraints: 61791
1204.50/1208.16 c #Conflicts: 113000 | #Constraints: 62791
1204.50/1208.16 c #Conflicts: 114000 | #Constraints: 63791
1204.50/1208.16 c #Conflicts: 115000 | #Constraints: 64791
1204.50/1208.16 c INPROCESSING
1204.50/1208.16 c GARBAGE COLLECT
1204.50/1208.16 c #Conflicts: 116000 | #Constraints: 56325
1204.50/1208.16 c #Conflicts: 117000 | #Constraints: 57325
1204.50/1208.16 c #Conflicts: 118000 | #Constraints: 58325
1204.50/1208.16 c #Conflicts: 119000 | #Constraints: 59325
1204.50/1208.16 c #Conflicts: 120000 | #Constraints: 60325
1204.50/1208.16 c #Conflicts: 121000 | #Constraints: 61325
1204.50/1208.16 c #Conflicts: 122000 | #Constraints: 62325
1204.50/1208.16 c #Conflicts: 123000 | #Constraints: 63325
1204.50/1208.16 c INPROCESSING
1204.50/1208.16 c GARBAGE COLLECT
1204.50/1208.16 c #Conflicts: 124000 | #Constraints: 55850
1204.50/1208.16 c #Conflicts: 125000 | #Constraints: 56850
1204.50/1208.16 c #Conflicts: 126000 | #Constraints: 57850
1204.50/1208.16 c #Conflicts: 127000 | #Constraints: 58850
1204.50/1208.16 c #Conflicts: 128000 | #Constraints: 59850
1204.50/1208.16 c #Conflicts: 129000 | #Constraints: 60850
1204.50/1208.16 c #Conflicts: 130000 | #Constraints: 61850
1204.50/1208.16 c #Conflicts: 131000 | #Constraints: 62850
1204.50/1208.16 c #Conflicts: 132000 | #Constraints: 63850
1204.50/1208.16 c #Conflicts: 133000 | #Constraints: 64850
1204.50/1208.16 c #Conflicts: 134000 | #Constraints: 65850
1204.50/1208.16 c #Conflicts: 135000 | #Constraints: 66850
1204.50/1208.16 c #Conflicts: 136000 | #Constraints: 67850
1204.50/1208.16 c #Conflicts: 137000 | #Constraints: 68850
1204.50/1208.16 c #Conflicts: 138000 | #Constraints: 69850
1204.50/1208.16 c #Conflicts: 139000 | #Constraints: 70850
1204.50/1208.16 c #Conflicts: 140000 | #Constraints: 71850
1204.50/1208.16 c #Conflicts: 141000 | #Constraints: 72850
1204.50/1208.16 c #Conflicts: 142000 | #Constraints: 73850
1204.50/1208.16 c #Conflicts: 143000 | #Constraints: 74850
1204.50/1208.16 c #Conflicts: 144000 | #Constraints: 75850
1204.50/1208.16 c #Conflicts: 145000 | #Constraints: 76850
1204.50/1208.16 c #Conflicts: 146000 | #Constraints: 77850
1876.62/1882.37 c #Conflicts: 147000 | #Constraints: 78850
1876.62/1882.37 c #Conflicts: 148000 | #Constraints: 79850
1876.62/1882.37 c #Conflicts: 149000 | #Constraints: 80850
1876.62/1882.37 c #Conflicts: 150000 | #Constraints: 81850
1876.62/1882.37 c INPROCESSING
1876.62/1882.37 c GARBAGE COLLECT
1876.62/1882.37 c #Conflicts: 151000 | #Constraints: 64910
1876.62/1882.37 c #Conflicts: 152000 | #Constraints: 65910
1876.62/1882.37 c #Conflicts: 153000 | #Constraints: 66910
1876.62/1882.37 c #Conflicts: 154000 | #Constraints: 67910
1876.62/1882.37 c #Conflicts: 155000 | #Constraints: 68910
1876.62/1882.37 c #Conflicts: 156000 | #Constraints: 69910
1876.62/1882.37 c #Conflicts: 157000 | #Constraints: 70910
1876.62/1882.37 c #Conflicts: 158000 | #Constraints: 71910
1876.62/1882.37 c #Conflicts: 159000 | #Constraints: 72910
1876.62/1882.37 c INPROCESSING
1876.62/1882.37 c GARBAGE COLLECT
1876.62/1882.37 c #Conflicts: 160000 | #Constraints: 60150
1876.62/1882.37 c #Conflicts: 161000 | #Constraints: 61150
1876.62/1882.37 c #Conflicts: 162000 | #Constraints: 62150
1876.62/1882.37 c #Conflicts: 163000 | #Constraints: 63150
1876.62/1882.37 c #Conflicts: 164000 | #Constraints: 64150
1876.62/1882.37 c #Conflicts: 165000 | #Constraints: 65150
1876.62/1882.37 c #Conflicts: 166000 | #Constraints: 66150
1876.62/1882.37 c #Conflicts: 167000 | #Constraints: 67150
1876.62/1882.37 c #Conflicts: 168000 | #Constraints: 68150
1876.62/1882.37 c #Conflicts: 169000 | #Constraints: 69150
1876.62/1882.37 c INPROCESSING
1876.62/1882.37 c GARBAGE COLLECT
1876.62/1882.37 c #Conflicts: 170000 | #Constraints: 58370
1876.62/1882.37 c #Conflicts: 171000 | #Constraints: 59370
1876.62/1882.37 c #Conflicts: 172000 | #Constraints: 60370
1876.62/1882.37 c #Conflicts: 173000 | #Constraints: 61370
1876.62/1882.37 c #Conflicts: 174000 | #Constraints: 62370
1876.62/1882.37 c #Conflicts: 175000 | #Constraints: 63370
1876.62/1882.37 c #Conflicts: 176000 | #Constraints: 64370
1876.62/1882.37 c #Conflicts: 177000 | #Constraints: 65370
1876.62/1882.37 c #Conflicts: 178000 | #Constraints: 66370
1876.62/1882.37 c #Conflicts: 179000 | #Constraints: 67370
1876.62/1882.37 c INPROCESSING
1876.62/1882.37 c GARBAGE COLLECT
1876.62/1882.37 c #Conflicts: 180000 | #Constraints: 57494
1876.62/1882.37 c #Conflicts: 181000 | #Constraints: 58494
1876.62/1882.37 c #Conflicts: 182000 | #Constraints: 59494
1876.62/1882.37 c #Conflicts: 183000 | #Constraints: 60494
1876.62/1882.37 c #Conflicts: 184000 | #Constraints: 61494
1876.62/1882.37 c #Conflicts: 185000 | #Constraints: 62494
1876.62/1882.37 c #Conflicts: 186000 | #Constraints: 63494
1876.62/1882.37 c #Conflicts: 187000 | #Constraints: 64494
1876.62/1882.37 c #Conflicts: 188000 | #Constraints: 65494
1876.62/1882.37 c #Conflicts: 189000 | #Constraints: 66494
1876.62/1882.37 c INPROCESSING
1876.62/1882.37 c GARBAGE COLLECT
1876.62/1882.37 c #Conflicts: 190000 | #Constraints: 56978
1876.62/1882.37 c #Conflicts: 191000 | #Constraints: 57978
1876.62/1882.37 c #Conflicts: 192000 | #Constraints: 58978
1876.62/1882.37 c #Conflicts: 193000 | #Constraints: 59978
1876.62/1882.37 c #Conflicts: 194000 | #Constraints: 60978
1876.62/1882.37 c #Conflicts: 195000 | #Constraints: 61978
1876.62/1882.37 c #Conflicts: 196000 | #Constraints: 62978
1876.62/1882.37 c #Conflicts: 197000 | #Constraints: 63978
1876.62/1882.37 c #Conflicts: 198000 | #Constraints: 64978
1876.62/1882.37 c #Conflicts: 199000 | #Constraints: 65978
1876.62/1882.37 c #Conflicts: 200000 | #Constraints: 66978
1876.62/1882.37 c INPROCESSING
1876.62/1882.37 c GARBAGE COLLECT
1876.62/1882.37 c #Conflicts: 201000 | #Constraints: 57547
1876.62/1882.37 c #Conflicts: 202000 | #Constraints: 58547
1876.62/1882.37 c #Conflicts: 203000 | #Constraints: 59547
1876.62/1882.37 c #Conflicts: 204000 | #Constraints: 60547
1876.62/1882.37 c #Conflicts: 205000 | #Constraints: 61547
1876.62/1882.37 c #Conflicts: 206000 | #Constraints: 62547
1876.62/1882.37 c #Conflicts: 207000 | #Constraints: 63547
1876.62/1882.37 c #Conflicts: 208000 | #Constraints: 64547
1876.62/1882.37 c #Conflicts: 209000 | #Constraints: 65547
1876.62/1882.37 c #Conflicts: 210000 | #Constraints: 66547
1876.62/1882.37 c #Conflicts: 211000 | #Constraints: 67547
1876.62/1882.37 c #Conflicts: 212000 | #Constraints: 68547
1876.62/1882.37 c #Conflicts: 213000 | #Constraints: 69547
1876.62/1882.37 c #Conflicts: 214000 | #Constraints: 70547
1876.62/1882.37 c #Conflicts: 215000 | #Constraints: 71547
1876.62/1882.37 c #Conflicts: 216000 | #Constraints: 72547
1876.62/1882.37 c #Conflicts: 217000 | #Constraints: 73547
1876.62/1882.37 c #Conflicts: 218000 | #Constraints: 74547
1876.62/1882.37 c #Conflicts: 219000 | #Constraints: 75547
1876.62/1882.37 c #Conflicts: 220000 | #Constraints: 76547
1876.62/1882.37 c #Conflicts: 221000 | #Constraints: 77547
2687.91/2696.07 c #Conflicts: 222000 | #Constraints: 78547
2687.91/2696.07 c #Conflicts: 223000 | #Constraints: 79547
2687.91/2696.07 c #Conflicts: 224000 | #Constraints: 80547
2687.91/2696.07 c #Conflicts: 225000 | #Constraints: 81547
2687.91/2696.07 c #Conflicts: 226000 | #Constraints: 82547
2687.91/2696.07 c #Conflicts: 227000 | #Constraints: 83547
2687.91/2696.07 c #Conflicts: 228000 | #Constraints: 84547
2687.91/2696.07 c #Conflicts: 229000 | #Constraints: 85547
2687.91/2696.07 c #Conflicts: 230000 | #Constraints: 86547
2687.91/2696.07 c #Conflicts: 231000 | #Constraints: 87547
2687.91/2696.07 c #Conflicts: 232000 | #Constraints: 88547
2687.91/2696.07 c #Conflicts: 233000 | #Constraints: 89547
2687.91/2696.07 c #Conflicts: 234000 | #Constraints: 90547
2687.91/2696.07 c INPROCESSING
2687.91/2696.07 c GARBAGE COLLECT
2687.91/2696.07 c #Conflicts: 235000 | #Constraints: 69323
2687.91/2696.07 c #Conflicts: 236000 | #Constraints: 70323
2687.91/2696.07 c #Conflicts: 237000 | #Constraints: 71323
2687.91/2696.07 c #Conflicts: 238000 | #Constraints: 72323
2687.91/2696.07 c #Conflicts: 239000 | #Constraints: 73323
2687.91/2696.07 c #Conflicts: 240000 | #Constraints: 74323
2687.91/2696.07 c #Conflicts: 241000 | #Constraints: 75323
2687.91/2696.07 c #Conflicts: 242000 | #Constraints: 76323
2687.91/2696.07 c #Conflicts: 243000 | #Constraints: 77323
2687.91/2696.07 c #Conflicts: 244000 | #Constraints: 78323
2687.91/2696.07 c #Conflicts: 245000 | #Constraints: 79323
2687.91/2696.07 c INPROCESSING
2687.91/2696.07 c GARBAGE COLLECT
2687.91/2696.07 c #Conflicts: 246000 | #Constraints: 63353
2687.91/2696.07 c #Conflicts: 247000 | #Constraints: 64353
2687.91/2696.07 c #Conflicts: 248000 | #Constraints: 65353
2687.91/2696.07 c #Conflicts: 249000 | #Constraints: 66353
2687.91/2696.07 c #Conflicts: 250000 | #Constraints: 67353
2687.91/2696.07 c #Conflicts: 251000 | #Constraints: 68353
2687.91/2696.07 c #Conflicts: 252000 | #Constraints: 69353
2687.91/2696.07 c #Conflicts: 253000 | #Constraints: 70353
2687.91/2696.07 c #Conflicts: 254000 | #Constraints: 71353
2687.91/2696.07 c #Conflicts: 255000 | #Constraints: 72353
2687.91/2696.07 c #Conflicts: 256000 | #Constraints: 73353
2687.91/2696.07 c #Conflicts: 257000 | #Constraints: 74353
2687.91/2696.07 c INPROCESSING
2687.91/2696.07 c GARBAGE COLLECT
2687.91/2696.07 c #Conflicts: 258000 | #Constraints: 61007
2687.91/2696.07 c #Conflicts: 259000 | #Constraints: 62007
2687.91/2696.07 c #Conflicts: 260000 | #Constraints: 63007
2687.91/2696.07 c #Conflicts: 261000 | #Constraints: 64007
2687.91/2696.07 c #Conflicts: 262000 | #Constraints: 65007
2687.91/2696.07 c #Conflicts: 263000 | #Constraints: 66007
2687.91/2696.07 c #Conflicts: 264000 | #Constraints: 67007
2687.91/2696.07 c #Conflicts: 265000 | #Constraints: 68007
2687.91/2696.07 c #Conflicts: 266000 | #Constraints: 69007
2687.91/2696.07 c #Conflicts: 267000 | #Constraints: 70007
2687.91/2696.07 c #Conflicts: 268000 | #Constraints: 71007
2687.91/2696.07 c #Conflicts: 269000 | #Constraints: 72007
2687.91/2696.07 c INPROCESSING
2687.91/2696.07 c GARBAGE COLLECT
2687.91/2696.07 c #Conflicts: 270000 | #Constraints: 59705
2687.91/2696.07 c #Conflicts: 271000 | #Constraints: 60705
2687.91/2696.07 c #Conflicts: 272000 | #Constraints: 61705
2687.91/2696.07 c #Conflicts: 273000 | #Constraints: 62705
2687.91/2696.07 c #Conflicts: 274000 | #Constraints: 63705
2687.91/2696.07 c #Conflicts: 275000 | #Constraints: 64705
2687.91/2696.07 c #Conflicts: 276000 | #Constraints: 65705
2687.91/2696.07 c #Conflicts: 277000 | #Constraints: 66705
2687.91/2696.07 c #Conflicts: 278000 | #Constraints: 67705
2687.91/2696.07 c #Conflicts: 279000 | #Constraints: 68705
2687.91/2696.07 c #Conflicts: 280000 | #Constraints: 69705
2687.91/2696.07 c #Conflicts: 281000 | #Constraints: 70705
2687.91/2696.07 c #Conflicts: 282000 | #Constraints: 71705
2687.91/2696.07 c INPROCESSING
2687.91/2696.07 c GARBAGE COLLECT
2687.91/2696.07 c #Conflicts: 283000 | #Constraints: 59889
2687.91/2696.07 c #Conflicts: 284000 | #Constraints: 60889
2687.91/2696.07 c #Conflicts: 285000 | #Constraints: 61889
2687.91/2696.07 c #Conflicts: 286000 | #Constraints: 62889
2687.91/2696.07 c #Conflicts: 287000 | #Constraints: 63889
2687.91/2696.07 c #Conflicts: 288000 | #Constraints: 64889
2687.91/2696.07 c #Conflicts: 289000 | #Constraints: 65889
2687.91/2696.07 c #Conflicts: 290000 | #Constraints: 66889
2687.91/2696.07 c #Conflicts: 291000 | #Constraints: 67889
2687.91/2696.07 c #Conflicts: 292000 | #Constraints: 68889
2687.91/2696.07 c #Conflicts: 293000 | #Constraints: 69889
2687.91/2696.07 c #Conflicts: 294000 | #Constraints: 70889
2687.91/2696.07 c INPROCESSING
2687.91/2696.07 c GARBAGE COLLECT
2687.91/2696.07 c #Conflicts: 295000 | #Constraints: 59319
2687.91/2696.07 c #Conflicts: 296000 | #Constraints: 60319
3600.08/3610.70 c #Conflicts: 297000 | #Constraints: 61319
3600.08/3610.70 c #Conflicts: 298000 | #Constraints: 62319
3600.08/3610.70 c #Conflicts: 299000 | #Constraints: 63319
3600.08/3610.70 c #Conflicts: 300000 | #Constraints: 64319
3600.08/3610.70 c #Conflicts: 301000 | #Constraints: 65319
3600.08/3610.70 c #Conflicts: 302000 | #Constraints: 66319
3600.08/3610.70 c #Conflicts: 303000 | #Constraints: 67319
3600.08/3610.70 c #Conflicts: 304000 | #Constraints: 68319
3600.08/3610.70 c #Conflicts: 305000 | #Constraints: 69319
3600.08/3610.70 c #Conflicts: 306000 | #Constraints: 70319
3600.08/3610.70 c #Conflicts: 307000 | #Constraints: 71319
3600.08/3610.70 c INPROCESSING
3600.08/3610.70 c GARBAGE COLLECT
3600.08/3610.70 c #Conflicts: 308000 | #Constraints: 60507
3600.08/3610.70 c #Conflicts: 309000 | #Constraints: 61507
3600.08/3610.70 c #Conflicts: 310000 | #Constraints: 62507
3600.08/3610.70 c #Conflicts: 311000 | #Constraints: 63507
3600.08/3610.70 c #Conflicts: 312000 | #Constraints: 64507
3600.08/3610.70 c #Conflicts: 313000 | #Constraints: 65507
3600.08/3610.70 c #Conflicts: 314000 | #Constraints: 66507
3600.08/3610.70 c #Conflicts: 315000 | #Constraints: 67507
3600.08/3610.70 c #Conflicts: 316000 | #Constraints: 68507
3600.08/3610.70 c #Conflicts: 317000 | #Constraints: 69507
3600.08/3610.70 c #Conflicts: 318000 | #Constraints: 70507
3600.08/3610.70 c #Conflicts: 319000 | #Constraints: 71507
3600.08/3610.70 c #Conflicts: 320000 | #Constraints: 72507
3600.08/3610.70 c #Conflicts: 321000 | #Constraints: 73507
3600.08/3610.70 c #Conflicts: 322000 | #Constraints: 74507
3600.08/3610.70 c #Conflicts: 323000 | #Constraints: 75507
3600.08/3610.70 c #Conflicts: 324000 | #Constraints: 76507
3600.08/3610.70 c #Conflicts: 325000 | #Constraints: 77507
3600.08/3610.70 c #Conflicts: 326000 | #Constraints: 78507
3600.08/3610.70 c #Conflicts: 327000 | #Constraints: 79507
3600.08/3610.70 c #Conflicts: 328000 | #Constraints: 80507
3600.08/3610.70 c #Conflicts: 329000 | #Constraints: 81507
3600.08/3610.70 c #Conflicts: 330000 | #Constraints: 82507
3600.08/3610.70 c #Conflicts: 331000 | #Constraints: 83507
3600.08/3610.70 c #Conflicts: 332000 | #Constraints: 84507
3600.08/3610.70 c #Conflicts: 333000 | #Constraints: 85507
3600.08/3610.70 c #Conflicts: 334000 | #Constraints: 86507
3600.08/3610.70 c #Conflicts: 335000 | #Constraints: 87507
3600.08/3610.70 c #Conflicts: 336000 | #Constraints: 88507
3600.08/3610.70 c #Conflicts: 337000 | #Constraints: 89507
3600.08/3610.70 c #Conflicts: 338000 | #Constraints: 90507
3600.08/3610.70 c #Conflicts: 339000 | #Constraints: 91507
3600.08/3610.70 c #Conflicts: 340000 | #Constraints: 92507
3600.08/3610.70 c #Conflicts: 341000 | #Constraints: 93507
3600.08/3610.70 c #Conflicts: 342000 | #Constraints: 94507
3600.08/3610.70 c #Conflicts: 343000 | #Constraints: 95507
3600.08/3610.70 c #Conflicts: 344000 | #Constraints: 96507
3600.08/3610.70 c #Conflicts: 345000 | #Constraints: 97507
3600.08/3610.70 c #Conflicts: 346000 | #Constraints: 98507
3600.08/3610.70 c #Conflicts: 347000 | #Constraints: 99507
3600.08/3610.70 c #Conflicts: 348000 | #Constraints: 100507
3600.08/3610.70 c #Conflicts: 349000 | #Constraints: 101507
3600.08/3610.70 c INPROCESSING
3600.08/3610.70 c GARBAGE COLLECT
3600.08/3610.70 c #Conflicts: 350000 | #Constraints: 74527
3600.08/3610.70 c #Conflicts: 351000 | #Constraints: 75527
3600.08/3610.70 c #Conflicts: 352000 | #Constraints: 76527
3600.08/3610.70 c #Conflicts: 353000 | #Constraints: 77527
3600.08/3610.70 c #Conflicts: 354000 | #Constraints: 78527
3600.08/3610.70 c #Conflicts: 355000 | #Constraints: 79527
3600.08/3610.70 c #Conflicts: 356000 | #Constraints: 80527
3600.08/3610.70 c #Conflicts: 357000 | #Constraints: 81527
3600.08/3610.70 c #Conflicts: 358000 | #Constraints: 82527
3600.08/3610.70 c #Conflicts: 359000 | #Constraints: 83527
3600.08/3610.70 c #Conflicts: 360000 | #Constraints: 84527
3600.08/3610.70 c #Conflicts: 361000 | #Constraints: 85527
3600.08/3610.70 c #Conflicts: 362000 | #Constraints: 86527
3600.08/3610.70 c #Conflicts: 363000 | #Constraints: 87527
3600.08/3610.70 c INPROCESSING
3600.08/3610.70 c GARBAGE COLLECT
3600.08/3610.70 c #Conflicts: 364000 | #Constraints: 67445
3600.08/3610.70 c #Conflicts: 365000 | #Constraints: 68445
3600.08/3610.70 c #Conflicts: 366000 | #Constraints: 69445
3600.08/3610.70 c #Conflicts: 367000 | #Constraints: 70445
3600.08/3610.70 c Program interrupted by user.
3600.08/3610.70 c cpu time 3592.54 s
3600.08/3610.70 c deterministic time 894025382656 8.94e+11
3600.08/3610.70 c optimization time 30.9633 s
3600.08/3610.70 c total solve time 3256.98 s
3600.08/3610.70 c core-guided solve time 3256.98 s
3600.08/3610.70 c propagation time 2970.42 s
3600.08/3610.70 c conflict analysis time 287.985 s
3600.08/3610.70 c propagations 1087517806
3600.08/3610.70 c resolve steps 5725131
3600.08/3610.70 c decisions 5696187
3600.08/3610.70 c conflicts 367992
3600.08/3610.70 c restarts 890
3600.08/3610.70 c inprocessing phases 34
3600.08/3610.70 c input clauses 15936
3600.08/3610.70 c input cardinalities 0
3600.08/3610.70 c input general constraints 29398
3600.08/3610.70 c input average constraint length 17.03
3600.08/3610.70 c input average constraint degree 28.90
3600.08/3610.70 c learned clauses 216358
3600.08/3610.70 c learned cardinalities 34
3600.08/3610.70 c learned general constraints 151600
3600.08/3610.70 c learned average constraint length 1255.86
3600.08/3610.70 c learned average constraint degree 21394436.02
3600.08/3610.70 c watched constraints 152889
3600.08/3610.70 c counting constraints 28109
3600.08/3610.70 c gcd simplifications 69247
3600.08/3610.70 c detected cardinalities 2
3600.08/3610.70 c weakened non-implied lits 85462667
3600.08/3610.70 c weakened non-implying lits 96756
3600.08/3610.70 c original variables 43918
3600.08/3610.70 c clausal propagations 138803823
3600.08/3610.70 c cardinality propagations 2129
3600.08/3610.70 c watched propagations 65630913
3600.08/3610.70 c counting propagations 882859559
3600.08/3610.70 c watch lookups 26369120951
3600.08/3610.70 c watch backjump lookups 22016566344
3600.08/3610.70 c watch checks 827343340115
3600.08/3610.70 c propagation checks 14960828837
3600.08/3610.70 c constraint additions 1148741785
3600.08/3610.70 c trail pops 1093570630
3600.08/3610.70 c formula constraints 45331
3600.08/3610.70 c learned constraints 367992
3600.08/3610.70 c bound constraints 1
3600.08/3610.70 c core-guided constraints 2
3600.08/3610.70 c encountered formula constraints 4594210
3600.08/3610.70 c encountered learned constraints 1498913
3600.08/3610.70 c encountered bound constraints 0
3600.08/3610.70 c encountered core-guided constraints 0
3600.08/3610.70 c LP total time 0 s
3600.08/3610.70 c LP solve time 0 s
3600.08/3610.70 c LP constraints added 0
3600.08/3610.70 c LP constraints removed 0
3600.08/3610.70 c LP pivots internal 0
3600.08/3610.70 c LP pivots root 0
3600.08/3610.70 c LP calls 0
3600.08/3610.70 c LP optimalities 0
3600.08/3610.70 c LP no pivot count 0
3600.08/3610.70 c LP infeasibilities 0
3600.08/3610.70 c LP valid Farkas constraints 0
3600.08/3610.70 c LP learned Farkas constraints 0
3600.08/3610.70 c LP basis resets 0
3600.08/3610.70 c LP cycling count 0
3600.08/3610.70 c LP singular count 0
3600.08/3610.70 c LP no primal count 0
3600.08/3610.70 c LP no farkas count 0
3600.08/3610.70 c LP other issue count 0
3600.08/3610.70 c LP Gomory cuts 0
3600.08/3610.70 c LP learned cuts 0
3600.08/3610.70 c LP deleted cuts 0
3600.08/3610.70 c LP encountered Gomory constraints 0
3600.08/3610.70 c LP encountered Farkas constraints 0
3600.08/3610.70 c LP encountered learned Farkas constraints 0
3600.08/3610.70 c CG auxiliary variables introduced 2
3600.08/3610.70 c CG solutions found 0
3600.08/3610.70 c CG cores constructed 0
3600.08/3610.70 c CG core cardinality constraints returned 0
3600.08/3610.70 c CG unit cores 0
3600.08/3610.70 c CG single cores 0
3600.08/3610.70 c CG blocks removed during cardinality reduction 0
3600.08/3610.70 c CG first core best 0
3600.08/3610.70 c CG decision core best 0
3600.08/3610.70 c CG core reduction tie 0
3600.08/3610.70 c CG core degree average 0.00
3600.08/3610.70 c CG core slack average 0.00
3600.08/3610.70 c CG exhausted 0
3600.08/3610.70 c CG exhaust time 0 s
3600.08/3610.70 c CG trimmed 0
3600.08/3610.70 c CG trim time 0 s
3600.08/3610.70 c CG minimized 0
3600.08/3610.70 c CG minimize time 0 s
3600.08/3610.70 c CG am1 prop time 0.0046 s
3600.08/3610.70 c CG # am1s reformulated 2
3600.08/3610.70 c CG lower bound derived from am1s 32
3600.08/3610.70 c CG # clausal cores 0
3600.08/3610.70 c CG # cardinality cores 0
3600.08/3610.70 c CG # pb cores 0
3600.08/3610.70 c CG # pb reforms 0
3600.08/3610.70 c CG # cores discarded because of pb reform 0
3600.08/3610.70 d LOWERBOUND 0
3600.08/3610.70 d NCORES 0
3600.08/3610.70 d NPBCORES 0
3600.08/3610.70 d NPBREFORM 0
3600.08/3610.70 d NTRIMMED 0
3600.08/3610.70 d NEXHAUSTED 0
3600.08/3610.70 d NAM1S 2
3600.08/3610.70 d AM1LB 32
3600.08/3610.70 c [Papilo Statistics]
3600.08/3610.70 c prepro time 5.00397s
3600.08/3610.70 c # tsx applied 27179
3600.08/3610.70 c # tsx conflicts 0
3600.08/3610.70 c # bound changes 4901
3600.08/3610.70 c # side changes 14929
3600.08/3610.70 c # coef changes 38267
3600.08/3610.70 c # rounds 6
3600.08/3610.70 c # deted vars 8576
3600.08/3610.70 c # deted constrs 17151
3600.08/3610.70 c # consecutive rounds of only bound changes 0
3600.08/3610.70 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: 63708 MiB (60758 MiB free)
memory of node 1: 64465 MiB (60201 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529384-1752264995/watcher-4529384-1752264995 -o /tmp/evaluation-result-4529384-1752264995/solver-4529384-1752264995 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1752257288-117732 --watchdog 3760 mixed-bag HOME/instance-4529384-1752264995.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=119052, runsolver pid=119049
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 4.12 4.16 4.13 5/264 119053
/proc/meminfo: memFree=123853464/131249992 swapFree=33009392/33010684
[pid=119052] ppid=119049 vsize=95056 memory=24092 CPUtime=0.08 cores=5,7
/proc/119052/stat : 119052 (mixed-bag) R 119049 119052 117714 0 -1 4194304 4583 0 0 0 8 0 0 0 20 0 1 0 142174050 97337344 6023 18446744073709551615 4235264 15840557 140726871478768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 31784960 140726871484826 140726871484903 140726871484903 140726871490507 0
/proc/119052/statm: 23764 6023 2176 2834 0 6516 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 95056 KiB
Current children cumulated memory: 24092 KiB
[startup+0.205667 s]*
/proc/loadavg: 4.12 4.16 4.13 5/264 119053
/proc/meminfo: memFree=123847856/131249992 swapFree=33009392/33010684
[pid=119052] ppid=119049 vsize=107344 memory=32308 CPUtime=0.19 cores=5,7
/proc/119052/stat : 119052 (mixed-bag) R 119049 119052 117714 0 -1 4194304 5617 0 0 0 18 1 0 0 20 0 1 0 142174050 109920256 8077 18446744073709551615 4235264 15840557 140726871478768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 31784960 140726871484826 140726871484903 140726871484903 140726871490507 0
/proc/119052/statm: 26836 8077 2176 2834 0 9588 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 107344 KiB
Current children cumulated memory: 32308 KiB
[startup+0.305596 s]*
/proc/loadavg: 4.12 4.16 4.13 5/264 119053
/proc/meminfo: memFree=123856048/131249992 swapFree=33009392/33010684
[pid=119052] ppid=119049 vsize=107344 memory=36452 CPUtime=0.29 cores=5,7
/proc/119052/stat : 119052 (mixed-bag) R 119049 119052 117714 0 -1 4194304 5636 0 0 0 28 1 0 0 20 0 1 0 142174050 109920256 9113 18446744073709551615 4235264 15840557 140726871478768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 31784960 140726871484826 140726871484903 140726871484903 140726871490507 0
/proc/119052/statm: 26836 9113 2176 2834 0 9588 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 107344 KiB
Current children cumulated memory: 36452 KiB
[startup+0.700134 s]
/proc/loadavg: 4.12 4.16 4.13 5/264 119053
/proc/meminfo: memFree=123779388/131249992 swapFree=33009392/33010684
[pid=119052] ppid=119049 vsize=185828 memory=107504 CPUtime=0.68 cores=5,7
/proc/119052/stat : 119052 (mixed-bag) R 119049 119052 117714 0 -1 4194304 12403 0 0 0 64 4 0 0 20 0 1 0 142174050 190287872 26876 18446744073709551615 4235264 15840557 140726871478768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 31784960 140726871484826 140726871484903 140726871484903 140726871490507 0
/proc/119052/statm: 46457 26876 2304 2834 0 28662 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 185828 KiB
Current children cumulated memory: 107504 KiB
[startup+1.50018 s]
/proc/loadavg: 4.12 4.16 4.13 5/264 119053
/proc/meminfo: memFree=123779388/131249992 swapFree=33009392/33010684
[pid=119052] ppid=119049 vsize=185828 memory=107504 CPUtime=1.47 cores=5,7
/proc/119052/stat : 119052 (mixed-bag) R 119049 119052 117714 0 -1 4194304 12403 0 0 0 143 4 0 0 20 0 1 0 142174050 190287872 26876 18446744073709551615 4235264 15840557 140726871478768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 31784960 140726871484826 140726871484903 140726871484903 140726871490507 0
/proc/119052/statm: 46457 26876 2304 2834 0 28662 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 185828 KiB
Current children cumulated memory: 107504 KiB
[startup+3.1055 s]
/proc/loadavg: 4.12 4.16 4.13 5/264 119053
/proc/meminfo: memFree=123768064/131249992 swapFree=33009392/33010684
[pid=119052] ppid=119049 vsize=185828 memory=107504 CPUtime=3.07 cores=5,7
/proc/119052/stat : 119052 (mixed-bag) R 119049 119052 117714 0 -1 4194304 12419 0 0 0 303 4 0 0 20 0 1 0 142174050 190287872 26876 18446744073709551615 4235264 15840557 140726871478768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 31784960 140726871484826 140726871484903 140726871484903 140726871490507 0
/proc/119052/statm: 46457 26876 2304 2834 0 28662 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 185828 KiB
Current children cumulated memory: 107504 KiB
[startup+6.30016 s]
/proc/loadavg: 4.11 4.15 4.13 5/264 119053
/proc/meminfo: memFree=123491980/131249992 swapFree=33009392/33010684
[pid=119052] ppid=119049 vsize=451440 memory=372556 CPUtime=6.27 cores=5,7
/proc/119052/stat : 119052 (mixed-bag) R 119049 119052 117714 0 -1 4194304 71362 0 0 0 611 16 0 0 20 0 1 0 142174050 462274560 93139 18446744073709551615 4235264 15840557 140726871478768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 31784960 140726871484826 140726871484903 140726871484903 140726871490507 0
/proc/119052/statm: 112860 93139 4064 2834 0 95065 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 451440 KiB
Current children cumulated memory: 372556 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.15 4.13 5/264 119054
/proc/meminfo: memFree=123438596/131249992 swapFree=33009392/33010684
[pid=119052] ppid=119049 vsize=516588 memory=437180 CPUtime=12.65 cores=5,7
/proc/119052/stat : 119052 (mixed-bag) R 119049 119052 117714 0 -1 4194304 85207 0 0 0 1246 19 0 0 20 0 1 0 142174050 528986112 109295 18446744073709551615 4235264 15840557 140726871478768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 31784960 140726871484826 140726871484903 140726871484903 140726871490507 0
/proc/119052/statm: 129147 109295 4064 2834 0 111352 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 516588 KiB
Current children cumulated memory: 437180 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.14 4.12 5/264 119054
/proc/meminfo: memFree=123390100/131249992 swapFree=33009392/33010684
[pid=119052] ppid=119049 vsize=529392 memory=449780 CPUtime=25.41 cores=5,7
/proc/119052/stat : 119052 (mixed-bag) R 119049 119052 117714 0 -1 4194304 102380 0 0 0 2518 23 0 0 20 0 1 0 142174050 542097408 112445 18446744073709551615 4235264 15840557 140726871478768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 31784960 140726871484826 140726871484903 140726871484903 140726871490507 0
/proc/119052/statm: 132348 112445 4096 2834 0 114553 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 529392 KiB
Current children cumulated memory: 449780 KiB
[startup+51.1054 s]
/proc/loadavg: 4.13 4.15 4.12 5/264 119054
/proc/meminfo: memFree=123043784/131249992 swapFree=33009392/33010684
[pid=119052] ppid=119049 vsize=960832 memory=812512 CPUtime=50.92 cores=5,7
/proc/119052/stat : 119052 (mixed-bag) R 119049 119052 117714 0 -1 4194304 159373 0 0 0 5058 34 0 0 20 0 1 0 142174050 983891968 203128 18446744073709551615 4235264 15840557 140726871478768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 31784960 140726871484826 140726871484903 140726871484903 140726871490507 0
/proc/119052/statm: 240208 203128 4288 2834 0 222413 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 960832 KiB
Current children cumulated memory: 812512 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.14 4.12 5/264 119056
/proc/meminfo: memFree=120357256/131249992 swapFree=33009392/33010684
[pid=119052] ppid=119049 vsize=997592 memory=842900 CPUtime=101.95 cores=5,7
/proc/119052/stat : 119052 (mixed-bag) R 119049 119052 117714 0 -1 4194304 161888 0 0 0 10160 35 0 0 20 0 1 0 142174050 1021534208 210725 18446744073709551615 4235264 15840557 140726871478768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 31784960 140726871484826 140726871484903 140726871484903 140726871490507 0
/proc/119052/statm: 249398 210725 4288 2834 0 231603 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 997592 KiB
Current children cumulated memory: 842900 KiB
[startup+162.3 s]
/proc/loadavg: 4.02 4.11 4.11 4/259 119092
/proc/meminfo: memFree=120678140/131249992 swapFree=33009392/33010684
[pid=119052] ppid=119049 vsize=1090276 memory=925740 CPUtime=161.77 cores=5,7
/proc/119052/stat : 119052 (mixed-bag) R 119049 119052 117714 0 -1 4194304 175527 0 0 0 16138 39 0 0 20 0 1 0 142174050 1116442624 231435 18446744073709551615 4235264 15840557 140726871478768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 31784960 140726871484826 140726871484903 140726871484903 140726871490507 0
/proc/119052/statm: 272569 231435 4288 2834 0 254774 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 1090276 KiB
Current children cumulated memory: 925740 KiB
[startup+222.3 s]
/proc/loadavg: 3.53 3.94 4.05 4/258 119098
/proc/meminfo: memFree=120681648/131249992 swapFree=33009392/33010684
[pid=119052] ppid=119049 vsize=1090276 memory=925740 CPUtime=221.6 cores=5,7
/proc/119052/stat : 119052 (mixed-bag) R 119049 119052 117714 0 -1 4194304 175527 0 0 0 22121 39 0 0 20 0 1 0 142174050 1116442624 231435 18446744073709551615 4235264 15840557 140726871478768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 31784960 140726871484826 140726871484903 140726871484903 140726871490507 0
/proc/119052/statm: 272569 231435 4288 2834 0 254774 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 1090276 KiB
Current children cumulated memory: 925740 KiB
[startup+282.3 s]
/proc/loadavg: 3.39 3.84 4.00 4/258 119101
/proc/meminfo: memFree=120665408/131249992 swapFree=33009392/33010684
[pid=119052] ppid=119049 vsize=1090276 memory=925996 CPUtime=281.43 cores=5,7
/proc/119052/stat : 119052 (mixed-bag) R 119049 119052 117714 0 -1 4194304 175685 0 0 0 28104 39 0 0 20 0 1 0 142174050 1116442624 231499 18446744073709551615 4235264 15840557 140726871478768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 31784960 140726871484826 140726871484903 140726871484903 140726871490507 0
/proc/119052/statm: 272569 231499 4288 2834 0 254774 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 1090276 KiB
Current children cumulated memory: 925996 KiB
[startup+342.3 s]
/proc/loadavg: 3.19 3.70 3.94 4/258 119103
/proc/meminfo: memFree=120827220/131249992 swapFree=33009392/33010684
[pid=119052] ppid=119049 vsize=892748 memory=753624 CPUtime=341.27 cores=5,7
/proc/119052/stat : 119052 (mixed-bag) R 119049 119052 117714 0 -1 4194304 177963 0 0 0 33998 129 0 0 20 0 1 0 142174050 914173952 188406 18446744073709551615 4235264 15840557 140726871478768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 31784960 140726871484826 140726871484903 140726871484903 140726871490507 0
/proc/119052/statm: 223187 188406 4480 2834 0 205392 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 892748 KiB
Current children cumulated memory: 753624 KiB
[startup+402.3 s]
/proc/loadavg: 3.18 3.60 3.89 4/258 119105
/proc/meminfo: memFree=120985232/131249992 swapFree=33009392/33010684
[pid=119052] ppid=119049 vsize=923568 memory=792564 CPUtime=401.1 cores=5,7
/proc/119052/stat : 119052 (mixed-bag) R 119049 119052 117714 0 -1 4194304 178500 0 0 0 39964 146 0 0 20 0 1 0 142174050 945733632 198141 18446744073709551615 4235264 15840557 140726871478768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 31784960 140726871484826 140726871484903 140726871484903 140726871490507 0
/proc/119052/statm: 230892 198141 4480 2834 0 213097 0
Current children cumulated CPU time: 401.1 s
Current children cumulated vsize: 923568 KiB
Current children cumulated memory: 792564 KiB
[startup+462.3 s]
/proc/loadavg: 3.11 3.50 3.84 4/256 119107
/proc/meminfo: memFree=120986196/131249992 swapFree=33009392/33010684
[pid=119052] ppid=119049 vsize=923568 memory=792564 CPUtime=460.92 cores=5,7
/proc/119052/stat : 119052 (mixed-bag) R 119049 119052 117714 0 -1 4194304 178511 0 0 0 45927 165 0 0 20 0 1 0 142174050 945733632 198141 18446744073709551615 4235264 15840557 140726871478768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 31784960 140726871484826 140726871484903 140726871484903 140726871490507 0
/proc/119052/statm: 230892 198141 4480 2834 0 213097 0
Current children cumulated CPU time: 460.92 s
################
# More data... #
################
Current children cumulated memory: 1042196 KiB
[startup+2922.3 s]
/proc/loadavg: 2.07 2.11 2.46 3/251 119278
/proc/meminfo: memFree=124771792/131249992 swapFree=33009392/33010684
[pid=119052] ppid=119049 vsize=1187304 memory=1042196 CPUtime=2913.57 cores=5,7
/proc/119052/stat : 119052 (mixed-bag) R 119049 119052 117714 0 -1 4194304 181387 0 0 0 290658 699 0 0 20 0 1 0 142174050 1215799296 260549 18446744073709551615 4235264 15840557 140726871478768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 31784960 140726871484826 140726871484903 140726871484903 140726871490507 0
/proc/119052/statm: 296826 260549 4480 2834 0 279031 0
Current children cumulated CPU time: 2913.57 s
Current children cumulated vsize: 1187304 KiB
Current children cumulated memory: 1042196 KiB
[startup+2982.3 s]
/proc/loadavg: 2.13 2.12 2.44 3/251 119280
/proc/meminfo: memFree=124772580/131249992 swapFree=33009392/33010684
[pid=119052] ppid=119049 vsize=1187304 memory=1042196 CPUtime=2973.41 cores=5,7
/proc/119052/stat : 119052 (mixed-bag) R 119049 119052 117714 0 -1 4194304 181390 0 0 0 296637 704 0 0 20 0 1 0 142174050 1215799296 260549 18446744073709551615 4235264 15840557 140726871478768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 31784960 140726871484826 140726871484903 140726871484903 140726871490507 0
/proc/119052/statm: 296826 260549 4480 2834 0 279031 0
Current children cumulated CPU time: 2973.41 s
Current children cumulated vsize: 1187304 KiB
Current children cumulated memory: 1042196 KiB
[startup+3042.3 s]
/proc/loadavg: 2.05 2.10 2.41 3/252 119283
/proc/meminfo: memFree=124774864/131249992 swapFree=33009392/33010684
[pid=119052] ppid=119049 vsize=1187304 memory=1042196 CPUtime=3033.23 cores=5,7
/proc/119052/stat : 119052 (mixed-bag) R 119049 119052 117714 0 -1 4194304 181541 0 0 0 302615 708 0 0 20 0 1 0 142174050 1215799296 260549 18446744073709551615 4235264 15840557 140726871478768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 31784960 140726871484826 140726871484903 140726871484903 140726871490507 0
/proc/119052/statm: 296826 260549 4480 2834 0 279031 0
Current children cumulated CPU time: 3033.23 s
Current children cumulated vsize: 1187304 KiB
Current children cumulated memory: 1042196 KiB
[startup+3102.3 s]
/proc/loadavg: 2.13 2.11 2.39 3/252 119285
/proc/meminfo: memFree=124774896/131249992 swapFree=33009392/33010684
[pid=119052] ppid=119049 vsize=1187304 memory=1042196 CPUtime=3093.08 cores=5,7
/proc/119052/stat : 119052 (mixed-bag) R 119049 119052 117714 0 -1 4194304 181654 0 0 0 308595 713 0 0 20 0 1 0 142174050 1215799296 260549 18446744073709551615 4235264 15840557 140726871478768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 31784960 140726871484826 140726871484903 140726871484903 140726871490507 0
/proc/119052/statm: 296826 260549 4480 2834 0 279031 0
Current children cumulated CPU time: 3093.08 s
Current children cumulated vsize: 1187304 KiB
Current children cumulated memory: 1042196 KiB
[startup+3162.3 s]
/proc/loadavg: 2.11 2.10 2.37 3/252 119287
/proc/meminfo: memFree=124774928/131249992 swapFree=33009392/33010684
[pid=119052] ppid=119049 vsize=1187304 memory=1042196 CPUtime=3152.91 cores=5,7
/proc/119052/stat : 119052 (mixed-bag) R 119049 119052 117714 0 -1 4194304 181666 0 0 0 314575 716 0 0 20 0 1 0 142174050 1215799296 260549 18446744073709551615 4235264 15840557 140726871478768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 31784960 140726871484826 140726871484903 140726871484903 140726871490507 0
/proc/119052/statm: 296826 260549 4480 2834 0 279031 0
Current children cumulated CPU time: 3152.91 s
Current children cumulated vsize: 1187304 KiB
Current children cumulated memory: 1042196 KiB
[startup+3222.3 s]
/proc/loadavg: 2.09 2.09 2.35 3/251 119291
/proc/meminfo: memFree=124754212/131249992 swapFree=33009392/33010684
[pid=119052] ppid=119049 vsize=1187304 memory=1058580 CPUtime=3212.74 cores=5,7
/proc/119052/stat : 119052 (mixed-bag) R 119049 119052 117714 0 -1 4194304 181679 0 0 0 320554 720 0 0 20 0 1 0 142174050 1215799296 264645 18446744073709551615 4235264 15840557 140726871478768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 31784960 140726871484826 140726871484903 140726871484903 140726871490507 0
/proc/119052/statm: 296826 264645 4480 2834 0 279031 0
Current children cumulated CPU time: 3212.74 s
Current children cumulated vsize: 1187304 KiB
Current children cumulated memory: 1058580 KiB
[startup+3282.3 s]
/proc/loadavg: 2.10 2.09 2.33 3/252 119298
/proc/meminfo: memFree=124741844/131249992 swapFree=33009392/33010684
[pid=119052] ppid=119049 vsize=1187304 memory=1070868 CPUtime=3272.58 cores=5,7
/proc/119052/stat : 119052 (mixed-bag) R 119049 119052 117714 0 -1 4194304 181691 0 0 0 326530 728 0 0 20 0 1 0 142174050 1215799296 267717 18446744073709551615 4235264 15840557 140726871478768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 31784960 140726871484826 140726871484903 140726871484903 140726871490507 0
/proc/119052/statm: 296826 267717 4480 2834 0 279031 0
Current children cumulated CPU time: 3272.58 s
Current children cumulated vsize: 1187304 KiB
Current children cumulated memory: 1070868 KiB
[startup+3342.3 s]
/proc/loadavg: 2.09 2.09 2.31 3/252 119300
/proc/meminfo: memFree=124725316/131249992 swapFree=33009392/33010684
[pid=119052] ppid=119049 vsize=1187304 memory=1087252 CPUtime=3332.41 cores=5,7
/proc/119052/stat : 119052 (mixed-bag) R 119049 119052 117714 0 -1 4194304 181699 0 0 0 332509 732 0 0 20 0 1 0 142174050 1215799296 271813 18446744073709551615 4235264 15840557 140726871478768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 31784960 140726871484826 140726871484903 140726871484903 140726871490507 0
/proc/119052/statm: 296826 271813 4480 2834 0 279031 0
Current children cumulated CPU time: 3332.41 s
Current children cumulated vsize: 1187304 KiB
Current children cumulated memory: 1087252 KiB
[startup+3402.3 s]
/proc/loadavg: 2.07 2.08 2.30 3/251 119302
/proc/meminfo: memFree=124721556/131249992 swapFree=33009392/33010684
[pid=119052] ppid=119049 vsize=1187304 memory=1091348 CPUtime=3392.24 cores=5,7
/proc/119052/stat : 119052 (mixed-bag) R 119049 119052 117714 0 -1 4194304 181703 0 0 0 338487 737 0 0 20 0 1 0 142174050 1215799296 272837 18446744073709551615 4235264 15840557 140726871478768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 31784960 140726871484826 140726871484903 140726871484903 140726871490507 0
/proc/119052/statm: 296826 272837 4480 2834 0 279031 0
Current children cumulated CPU time: 3392.24 s
Current children cumulated vsize: 1187304 KiB
Current children cumulated memory: 1091348 KiB
[startup+3462.3 s]
/proc/loadavg: 1.77 2.01 2.26 2/245 119335
/proc/meminfo: memFree=125471876/131249992 swapFree=33009392/33010684
[pid=119052] ppid=119049 vsize=1187304 memory=1091348 CPUtime=3452.08 cores=5,7
/proc/119052/stat : 119052 (mixed-bag) R 119049 119052 117714 0 -1 4194304 181703 0 0 0 344465 743 0 0 20 0 1 0 142174050 1215799296 272837 18446744073709551615 4235264 15840557 140726871478768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 31784960 140726871484826 140726871484903 140726871484903 140726871490507 0
/proc/119052/statm: 296826 272837 4480 2834 0 279031 0
Current children cumulated CPU time: 3452.08 s
Current children cumulated vsize: 1187304 KiB
Current children cumulated memory: 1091348 KiB
[startup+3522.3 s]
/proc/loadavg: 1.33 1.84 2.18 2/245 119337
/proc/meminfo: memFree=125472044/131249992 swapFree=33009392/33010684
[pid=119052] ppid=119049 vsize=1187304 memory=1091348 CPUtime=3511.92 cores=5,7
/proc/119052/stat : 119052 (mixed-bag) R 119049 119052 117714 0 -1 4194304 181703 0 0 0 350445 747 0 0 20 0 1 0 142174050 1215799296 272837 18446744073709551615 4235264 15840557 140726871478768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 31784960 140726871484826 140726871484903 140726871484903 140726871490507 0
/proc/119052/statm: 296826 272837 4480 2834 0 279031 0
Current children cumulated CPU time: 3511.92 s
Current children cumulated vsize: 1187304 KiB
Current children cumulated memory: 1091348 KiB
[startup+3582.3 s]
/proc/loadavg: 1.23 1.72 2.12 2/244 119339
/proc/meminfo: memFree=125472404/131249992 swapFree=33009392/33010684
[pid=119052] ppid=119049 vsize=1187304 memory=1091348 CPUtime=3571.76 cores=5,7
/proc/119052/stat : 119052 (mixed-bag) R 119049 119052 117714 0 -1 4194304 181704 0 0 0 356424 752 0 0 20 0 1 0 142174050 1215799296 272837 18446744073709551615 4235264 15840557 140726871478768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 31784960 140726871484826 140726871484903 140726871484903 140726871490507 0
/proc/119052/statm: 296826 272837 4480 2834 0 279031 0
Current children cumulated CPU time: 3571.76 s
Current children cumulated vsize: 1187304 KiB
Current children cumulated memory: 1091348 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.7 s]
/proc/loadavg: 1.14 1.65 2.08 2/244 119339
/proc/meminfo: memFree=125472404/131249992 swapFree=33009392/33010684
[pid=119052] ppid=119049 vsize=1187304 memory=1091348 CPUtime=3600.08 cores=5,7
/proc/119052/stat : 119052 (mixed-bag) R 119049 119052 117714 0 -1 4194304 181704 0 0 0 359253 755 0 0 20 0 1 0 142174050 1215799296 272837 18446744073709551615 4235264 15840557 140726871478768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 31784960 140726871484826 140726871484903 140726871484903 140726871490507 0
/proc/119052/statm: 296826 272837 4480 2834 0 279031 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1187304 KiB
Current children cumulated memory: 1091348 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.71 s]
# the end of solver process 119052 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3592.55 s, system=7.55392 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.7 s]
/proc/loadavg: 1.14 1.65 2.08 2/244 119339
/proc/meminfo: memFree=125472404/131249992 swapFree=33009392/33010684
[pid=119052] ppid=119049 vsize=1187304 memory=1091348 CPUtime=3600.08 cores=5,7
/proc/119052/stat : 119052 (mixed-bag) R 119049 119052 117714 0 -1 4194304 181704 0 0 0 359253 755 0 0 20 0 1 0 142174050 1215799296 272837 18446744073709551615 4235264 15840557 140726871478768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 31784960 140726871484826 140726871484903 140726871484903 140726871490507 0
/proc/119052/statm: 296826 272837 4480 2834 0 279031 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1187304 KiB
Current children cumulated memory: 1091348 KiB
Child status: 0
Real time (s): 3610.71
CPU time (s): 3600.1
CPU user time (s): 3592.55
CPU system time (s): 7.55392
CPU usage (%): 99.7061
Max. virtual memory (cumulated for all children) (KiB): 1187304
Max. memory (cumulated for all children) (KiB): 1091348
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.55
system time used= 7.55392
maximum resident set size= 1091860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 181737
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= 164
involuntary context switches= 19139
# summary of solver processes directly reported to runsolver:
# pid: 119052
# total CPU time (s): 3600.1
# total CPU user time (s): 3592.55
# total CPU system time (s): 7.55392
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.13802 second user time and 15.6495 second system time
The end
Begin job on nodeC035 at 2025-07-11 22:16:35
IDJOB=4529384
IDBENCH=180653
IDSOLVER=3386
FILE ID=nodeC035/4529384-1752264995
RUNJOBID= nodeC035-1752257288-117732
SLURM_JOB_ID= 9682607
Free space on /tmp= 432544 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
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-4529384-1752264995/watcher-4529384-1752264995 -o /tmp/evaluation-result-4529384-1752264995/solver-4529384-1752264995 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1752257288-117732 --watchdog 3760 mixed-bag HOME/instance-4529384-1752264995.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 85006dfa006eef4f5ff7a59d59a5be2d
RANDOM SEED=4409662
nodeC035 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 : 3599.773
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 : 6999.51
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 : 3599.748
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 : 6999.51
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 : 3607.836
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 : 6999.51
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 : 3586.512
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 : 6999.51
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.438
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 : 6999.51
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 : 3599.766
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 : 6999.51
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 : 3700.000
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 : 6999.51
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 : 3596.423
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 : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 123868132 kB
MemAvailable: 126954872 kB
Buffers: 664 kB
Cached: 3834348 kB
SwapCached: 332 kB
Active: 3098344 kB
Inactive: 3519496 kB
Active(anon): 2779500 kB
Inactive(anon): 21028 kB
Active(file): 318844 kB
Inactive(file): 3498468 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009392 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 20352 kB
Writeback: 28 kB
AnonPages: 2784704 kB
Mapped: 131800 kB
Shmem: 17700 kB
KReclaimable: 217332 kB
Slab: 311164 kB
SReclaimable: 217332 kB
SUnreclaim: 93832 kB
KernelStack: 4240 kB
PageTables: 8956 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 3324520 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1187840 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: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432532 MiB
End job on nodeC035 at 2025-07-11 23:16:46