0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c with Papilo
0.00/0.00 c with SCIP
0.00/0.00 c [STEP] parsing instance
0.30/0.36 c [STEP] preprocessing with Papilo
0.59/0.64 c [STEP] solving with SCIP
299.65/300.75 c [STEP] preprocessing done, loading into solver
299.75/300.85 c [STEP] solving
299.75/300.85 c #variables 8884 #constraints 17459
299.75/300.85 c SMALL=int, LARGE=long long
299.75/300.85 d SCIPUB 512
299.75/300.85 c bounds - >= 0 @ 299.497
299.75/300.85 c stratification level: 0
464.16/465.85 c bounds - >= 1 @ 299.509
464.16/465.85 c bounds - >= 2 @ 299.51
464.16/465.85 c bounds - >= 4 @ 299.511
464.16/465.85 c bounds - >= 8 @ 299.513
464.16/465.85 c bounds - >= 16 @ 299.526
464.16/465.85 c #Conflicts: 1000 | #Constraints: 18463
464.16/465.85 c bounds - >= 32 @ 300.737
464.16/465.85 c #Conflicts: 2000 | #Constraints: 19464
464.16/465.85 c INPROCESSING
464.16/465.85 c #Conflicts: 3000 | #Constraints: 19472
464.16/465.85 c #Conflicts: 4000 | #Constraints: 20472
464.16/465.85 c INPROCESSING
464.16/465.85 c #Conflicts: 5000 | #Constraints: 19881
464.16/465.85 c #Conflicts: 6000 | #Constraints: 20881
464.16/465.85 c INPROCESSING
464.16/465.85 c #Conflicts: 7000 | #Constraints: 19894
464.16/465.85 c #Conflicts: 8000 | #Constraints: 20894
464.16/465.85 c #Conflicts: 9000 | #Constraints: 21894
464.16/465.85 c INPROCESSING
464.16/465.85 c GARBAGE COLLECT
464.16/465.85 c #Conflicts: 10000 | #Constraints: 20600
464.16/465.85 c #Conflicts: 11000 | #Constraints: 21600
464.16/465.85 c #Conflicts: 12000 | #Constraints: 22600
464.16/465.85 c #Conflicts: 13000 | #Constraints: 23600
464.16/465.85 c #Conflicts: 14000 | #Constraints: 24600
464.16/465.85 c #Conflicts: 15000 | #Constraints: 25600
464.16/465.85 c #Conflicts: 16000 | #Constraints: 26600
464.16/465.85 c INPROCESSING
464.16/465.85 c #Conflicts: 17000 | #Constraints: 22800
464.16/465.85 c #Conflicts: 18000 | #Constraints: 23800
464.16/465.85 c #Conflicts: 19000 | #Constraints: 24800
464.16/465.85 c #Conflicts: 20000 | #Constraints: 25800
464.16/465.85 c INPROCESSING
464.16/465.85 c GARBAGE COLLECT
464.16/465.85 c #Conflicts: 21000 | #Constraints: 22459
464.16/465.85 c #Conflicts: 22000 | #Constraints: 23459
464.16/465.85 c #Conflicts: 23000 | #Constraints: 24459
464.16/465.85 c #Conflicts: 24000 | #Constraints: 25459
464.16/465.85 c #Conflicts: 25000 | #Constraints: 26459
464.16/465.85 c #Conflicts: 26000 | #Constraints: 27459
464.16/465.85 c #Conflicts: 27000 | #Constraints: 28459
464.16/465.85 c #Conflicts: 28000 | #Constraints: 29459
464.16/465.85 c #Conflicts: 29000 | #Constraints: 30459
464.16/465.85 c #Conflicts: 30000 | #Constraints: 31459
464.16/465.85 c INPROCESSING
464.16/465.85 c GARBAGE COLLECT
464.16/465.85 c #Conflicts: 31000 | #Constraints: 25094
464.16/465.85 c #Conflicts: 32000 | #Constraints: 26094
464.16/465.85 c #Conflicts: 33000 | #Constraints: 27094
464.16/465.85 c #Conflicts: 34000 | #Constraints: 28094
464.16/465.85 c #Conflicts: 35000 | #Constraints: 29094
464.16/465.85 c #Conflicts: 36000 | #Constraints: 30094
464.16/465.85 c INPROCESSING
464.16/465.85 c GARBAGE COLLECT
464.16/465.85 c #Conflicts: 37000 | #Constraints: 24810
464.16/465.85 c #Conflicts: 38000 | #Constraints: 25810
464.16/465.85 c #Conflicts: 39000 | #Constraints: 26810
464.16/465.85 c #Conflicts: 40000 | #Constraints: 27810
464.16/465.85 c #Conflicts: 41000 | #Constraints: 28810
464.16/465.85 c #Conflicts: 42000 | #Constraints: 29810
464.16/465.85 c #Conflicts: 43000 | #Constraints: 30810
464.16/465.85 c #Conflicts: 44000 | #Constraints: 31810
464.16/465.85 c #Conflicts: 45000 | #Constraints: 32810
464.16/465.85 c #Conflicts: 46000 | #Constraints: 33810
464.16/465.85 c #Conflicts: 47000 | #Constraints: 34810
464.16/465.85 c #Conflicts: 48000 | #Constraints: 35810
464.16/465.85 c #Conflicts: 49000 | #Constraints: 36810
464.16/465.85 c INPROCESSING
464.16/465.85 c GARBAGE COLLECT
464.16/465.85 c #Conflicts: 50000 | #Constraints: 27911
464.16/465.85 c #Conflicts: 51000 | #Constraints: 28911
464.16/465.85 c #Conflicts: 52000 | #Constraints: 29911
464.16/465.85 c #Conflicts: 53000 | #Constraints: 30911
464.16/465.85 c #Conflicts: 54000 | #Constraints: 31911
464.16/465.85 c #Conflicts: 55000 | #Constraints: 32911
464.16/465.85 c #Conflicts: 56000 | #Constraints: 33911
464.16/465.85 c INPROCESSING
464.16/465.85 c GARBAGE COLLECT
464.16/465.85 c #Conflicts: 57000 | #Constraints: 26715
464.16/465.85 c #Conflicts: 58000 | #Constraints: 27715
464.16/465.85 c #Conflicts: 59000 | #Constraints: 28715
464.16/465.85 c #Conflicts: 60000 | #Constraints: 29715
464.16/465.85 c #Conflicts: 61000 | #Constraints: 30715
464.16/465.85 c #Conflicts: 62000 | #Constraints: 31715
464.16/465.85 c #Conflicts: 63000 | #Constraints: 32715
464.16/465.85 c #Conflicts: 64000 | #Constraints: 33715
464.16/465.85 c #Conflicts: 65000 | #Constraints: 34715
464.16/465.85 c #Conflicts: 66000 | #Constraints: 35715
464.16/465.85 c #Conflicts: 67000 | #Constraints: 36715
464.16/465.85 c #Conflicts: 68000 | #Constraints: 37715
464.16/465.85 c #Conflicts: 69000 | #Constraints: 38715
464.16/465.85 c #Conflicts: 70000 | #Constraints: 39715
464.16/465.85 c #Conflicts: 71000 | #Constraints: 40715
876.32/879.67 c #Conflicts: 72000 | #Constraints: 41715
876.32/879.67 c INPROCESSING
876.32/879.67 c GARBAGE COLLECT
876.32/879.67 c #Conflicts: 73000 | #Constraints: 30324
876.32/879.67 c #Conflicts: 74000 | #Constraints: 31324
876.32/879.67 c #Conflicts: 75000 | #Constraints: 32324
876.32/879.67 c #Conflicts: 76000 | #Constraints: 33324
876.32/879.67 c #Conflicts: 77000 | #Constraints: 34324
876.32/879.67 c #Conflicts: 78000 | #Constraints: 35324
876.32/879.67 c #Conflicts: 79000 | #Constraints: 36324
876.32/879.67 c #Conflicts: 80000 | #Constraints: 37324
876.32/879.67 c INPROCESSING
876.32/879.67 c GARBAGE COLLECT
876.32/879.67 c #Conflicts: 81000 | #Constraints: 28547
876.32/879.67 c #Conflicts: 82000 | #Constraints: 29547
876.32/879.67 c #Conflicts: 83000 | #Constraints: 30547
876.32/879.67 c #Conflicts: 84000 | #Constraints: 31547
876.32/879.67 c #Conflicts: 85000 | #Constraints: 32547
876.32/879.67 c #Conflicts: 86000 | #Constraints: 33547
876.32/879.67 c #Conflicts: 87000 | #Constraints: 34547
876.32/879.67 c #Conflicts: 88000 | #Constraints: 35547
876.32/879.67 c #Conflicts: 89000 | #Constraints: 36547
876.32/879.67 c #Conflicts: 90000 | #Constraints: 37547
876.32/879.67 c #Conflicts: 91000 | #Constraints: 38547
876.32/879.67 c #Conflicts: 92000 | #Constraints: 39547
876.32/879.67 c #Conflicts: 93000 | #Constraints: 40547
876.32/879.67 c #Conflicts: 94000 | #Constraints: 41547
876.32/879.67 c #Conflicts: 95000 | #Constraints: 42547
876.32/879.67 c #Conflicts: 96000 | #Constraints: 43547
876.32/879.67 c #Conflicts: 97000 | #Constraints: 44547
876.32/879.67 c #Conflicts: 98000 | #Constraints: 45547
876.32/879.67 c #Conflicts: 99000 | #Constraints: 46547
876.32/879.67 c #Conflicts: 100000 | #Constraints: 47547
876.32/879.67 c INPROCESSING
876.32/879.67 c GARBAGE COLLECT
876.32/879.67 c #Conflicts: 101000 | #Constraints: 33479
876.32/879.67 c #Conflicts: 102000 | #Constraints: 34479
876.32/879.67 c #Conflicts: 103000 | #Constraints: 35479
876.32/879.67 c #Conflicts: 104000 | #Constraints: 36479
876.32/879.67 c #Conflicts: 105000 | #Constraints: 37479
876.32/879.67 c #Conflicts: 106000 | #Constraints: 38479
876.32/879.67 c #Conflicts: 107000 | #Constraints: 39479
876.32/879.67 c #Conflicts: 108000 | #Constraints: 40479
876.32/879.67 c #Conflicts: 109000 | #Constraints: 41479
876.32/879.67 c INPROCESSING
876.32/879.67 c GARBAGE COLLECT
876.32/879.67 c #Conflicts: 110000 | #Constraints: 32422
876.32/879.67 c #Conflicts: 111000 | #Constraints: 33422
876.32/879.67 c #Conflicts: 112000 | #Constraints: 34422
876.32/879.67 c #Conflicts: 113000 | #Constraints: 35422
876.32/879.67 c #Conflicts: 114000 | #Constraints: 36422
876.32/879.67 c #Conflicts: 115000 | #Constraints: 37422
876.32/879.67 c #Conflicts: 116000 | #Constraints: 38422
876.32/879.67 c #Conflicts: 117000 | #Constraints: 39422
876.32/879.67 c #Conflicts: 118000 | #Constraints: 40422
876.32/879.67 c #Conflicts: 119000 | #Constraints: 41422
876.32/879.67 c #Conflicts: 120000 | #Constraints: 42422
876.32/879.67 c #Conflicts: 121000 | #Constraints: 43422
876.32/879.67 c #Conflicts: 122000 | #Constraints: 44422
876.32/879.67 c #Conflicts: 123000 | #Constraints: 45422
876.32/879.67 c #Conflicts: 124000 | #Constraints: 46422
876.32/879.67 c #Conflicts: 125000 | #Constraints: 47422
876.32/879.67 c #Conflicts: 126000 | #Constraints: 48422
876.32/879.67 c #Conflicts: 127000 | #Constraints: 49422
876.32/879.67 c #Conflicts: 128000 | #Constraints: 50422
876.32/879.67 c #Conflicts: 129000 | #Constraints: 51422
876.32/879.67 c #Conflicts: 130000 | #Constraints: 52422
876.32/879.67 c #Conflicts: 131000 | #Constraints: 53422
876.32/879.67 c #Conflicts: 132000 | #Constraints: 54422
876.32/879.67 c INPROCESSING
876.32/879.67 c GARBAGE COLLECT
876.32/879.67 c #Conflicts: 133000 | #Constraints: 36980
876.32/879.67 c #Conflicts: 134000 | #Constraints: 37980
876.32/879.67 c #Conflicts: 135000 | #Constraints: 38980
876.32/879.67 c #Conflicts: 136000 | #Constraints: 39980
876.32/879.67 c #Conflicts: 137000 | #Constraints: 40980
876.32/879.67 c #Conflicts: 138000 | #Constraints: 41980
876.32/879.67 c #Conflicts: 139000 | #Constraints: 42980
876.32/879.67 c #Conflicts: 140000 | #Constraints: 43980
876.32/879.67 c #Conflicts: 141000 | #Constraints: 44980
876.32/879.67 c #Conflicts: 142000 | #Constraints: 45980
876.32/879.67 c #Conflicts: 143000 | #Constraints: 46980
876.32/879.67 c #Conflicts: 144000 | #Constraints: 47980
876.32/879.67 c #Conflicts: 145000 | #Constraints: 48980
876.32/879.67 c #Conflicts: 146000 | #Constraints: 49980
876.32/879.67 c #Conflicts: 147000 | #Constraints: 50980
1447.47/1453.17 c #Conflicts: 148000 | #Constraints: 51980
1447.47/1453.17 c #Conflicts: 149000 | #Constraints: 52980
1447.47/1453.17 c #Conflicts: 150000 | #Constraints: 53980
1447.47/1453.17 c #Conflicts: 151000 | #Constraints: 54980
1447.47/1453.17 c #Conflicts: 152000 | #Constraints: 55980
1447.47/1453.17 c #Conflicts: 153000 | #Constraints: 56980
1447.47/1453.17 c #Conflicts: 154000 | #Constraints: 57980
1447.47/1453.17 c #Conflicts: 155000 | #Constraints: 58980
1447.47/1453.17 c #Conflicts: 156000 | #Constraints: 59980
1447.47/1453.17 c INPROCESSING
1447.47/1453.17 c GARBAGE COLLECT
1447.47/1453.17 c #Conflicts: 157000 | #Constraints: 39367
1447.47/1453.17 c #Conflicts: 158000 | #Constraints: 40367
1447.47/1453.17 c #Conflicts: 159000 | #Constraints: 41367
1447.47/1453.17 c #Conflicts: 160000 | #Constraints: 42367
1447.47/1453.17 c #Conflicts: 161000 | #Constraints: 43367
1447.47/1453.17 c #Conflicts: 162000 | #Constraints: 44367
1447.47/1453.17 c #Conflicts: 163000 | #Constraints: 45367
1447.47/1453.17 c #Conflicts: 164000 | #Constraints: 46367
1447.47/1453.17 c #Conflicts: 165000 | #Constraints: 47367
1447.47/1453.17 c #Conflicts: 166000 | #Constraints: 48367
1447.47/1453.17 c #Conflicts: 167000 | #Constraints: 49367
1447.47/1453.17 c #Conflicts: 168000 | #Constraints: 50367
1447.47/1453.17 c #Conflicts: 169000 | #Constraints: 51367
1447.47/1453.17 c #Conflicts: 170000 | #Constraints: 52367
1447.47/1453.17 c #Conflicts: 171000 | #Constraints: 53367
1447.47/1453.17 c #Conflicts: 172000 | #Constraints: 54367
1447.47/1453.17 c #Conflicts: 173000 | #Constraints: 55367
1447.47/1453.17 c #Conflicts: 174000 | #Constraints: 56367
1447.47/1453.17 c #Conflicts: 175000 | #Constraints: 57367
1447.47/1453.17 c #Conflicts: 176000 | #Constraints: 58367
1447.47/1453.17 c #Conflicts: 177000 | #Constraints: 59367
1447.47/1453.17 c #Conflicts: 178000 | #Constraints: 60367
1447.47/1453.17 c #Conflicts: 179000 | #Constraints: 61367
1447.47/1453.17 c #Conflicts: 180000 | #Constraints: 62367
1447.47/1453.17 c #Conflicts: 181000 | #Constraints: 63367
1447.47/1453.17 c #Conflicts: 182000 | #Constraints: 64367
1447.47/1453.17 c #Conflicts: 183000 | #Constraints: 65367
1447.47/1453.17 c INPROCESSING
1447.47/1453.17 c GARBAGE COLLECT
1447.47/1453.17 c #Conflicts: 184000 | #Constraints: 42169
1447.47/1453.17 c #Conflicts: 185000 | #Constraints: 43169
1447.47/1453.17 c #Conflicts: 186000 | #Constraints: 44169
1447.47/1453.17 c #Conflicts: 187000 | #Constraints: 45169
1447.47/1453.17 c #Conflicts: 188000 | #Constraints: 46169
1447.47/1453.17 c #Conflicts: 189000 | #Constraints: 47169
1447.47/1453.17 c #Conflicts: 190000 | #Constraints: 48169
1447.47/1453.17 c #Conflicts: 191000 | #Constraints: 49169
1447.47/1453.17 c #Conflicts: 192000 | #Constraints: 50169
1447.47/1453.17 c #Conflicts: 193000 | #Constraints: 51169
1447.47/1453.17 c #Conflicts: 194000 | #Constraints: 52169
1447.47/1453.17 c #Conflicts: 195000 | #Constraints: 53169
1447.47/1453.17 c #Conflicts: 196000 | #Constraints: 54169
1447.47/1453.17 c #Conflicts: 197000 | #Constraints: 55169
1447.47/1453.17 c #Conflicts: 198000 | #Constraints: 56169
1447.47/1453.17 c #Conflicts: 199000 | #Constraints: 57169
1447.47/1453.17 c #Conflicts: 200000 | #Constraints: 58169
1447.47/1453.17 c #Conflicts: 201000 | #Constraints: 59169
1447.47/1453.17 c #Conflicts: 202000 | #Constraints: 60169
1447.47/1453.17 c #Conflicts: 203000 | #Constraints: 61169
1447.47/1453.17 c #Conflicts: 204000 | #Constraints: 62169
1447.47/1453.17 c #Conflicts: 205000 | #Constraints: 63169
1447.47/1453.17 c #Conflicts: 206000 | #Constraints: 64169
1447.47/1453.17 c #Conflicts: 207000 | #Constraints: 65169
1447.47/1453.17 c #Conflicts: 208000 | #Constraints: 66169
1447.47/1453.17 c #Conflicts: 209000 | #Constraints: 67169
1447.47/1453.17 c #Conflicts: 210000 | #Constraints: 68169
1447.47/1453.17 c #Conflicts: 211000 | #Constraints: 69169
1447.47/1453.17 c #Conflicts: 212000 | #Constraints: 70169
1447.47/1453.17 c INPROCESSING
1447.47/1453.17 c GARBAGE COLLECT
1447.47/1453.17 c #Conflicts: 213000 | #Constraints: 45961
1447.47/1453.17 c #Conflicts: 214000 | #Constraints: 46961
1447.47/1453.17 c #Conflicts: 215000 | #Constraints: 47961
1447.47/1453.17 c #Conflicts: 216000 | #Constraints: 48961
1447.47/1453.17 c #Conflicts: 217000 | #Constraints: 49961
1447.47/1453.17 c #Conflicts: 218000 | #Constraints: 50961
1447.47/1453.17 c #Conflicts: 219000 | #Constraints: 51961
1447.47/1453.17 c #Conflicts: 220000 | #Constraints: 52961
1447.47/1453.17 c #Conflicts: 221000 | #Constraints: 53961
1447.47/1453.17 c #Conflicts: 222000 | #Constraints: 54961
1447.47/1453.17 c #Conflicts: 223000 | #Constraints: 55961
1447.47/1453.17 c #Conflicts: 224000 | #Constraints: 56961
2389.98/2399.65 c #Conflicts: 225000 | #Constraints: 57961
2389.98/2399.65 c #Conflicts: 226000 | #Constraints: 58961
2389.98/2399.65 c #Conflicts: 227000 | #Constraints: 59961
2389.98/2399.65 c #Conflicts: 228000 | #Constraints: 60961
2389.98/2399.65 c #Conflicts: 229000 | #Constraints: 61961
2389.98/2399.65 c #Conflicts: 230000 | #Constraints: 62961
2389.98/2399.65 c #Conflicts: 231000 | #Constraints: 63961
2389.98/2399.65 c #Conflicts: 232000 | #Constraints: 64961
2389.98/2399.65 c #Conflicts: 233000 | #Constraints: 65961
2389.98/2399.65 c #Conflicts: 234000 | #Constraints: 66961
2389.98/2399.65 c #Conflicts: 235000 | #Constraints: 67961
2389.98/2399.65 c #Conflicts: 236000 | #Constraints: 68961
2389.98/2399.65 c #Conflicts: 237000 | #Constraints: 69961
2389.98/2399.65 c #Conflicts: 238000 | #Constraints: 70961
2389.98/2399.65 c #Conflicts: 239000 | #Constraints: 71961
2389.98/2399.65 c #Conflicts: 240000 | #Constraints: 72961
2389.98/2399.65 c #Conflicts: 241000 | #Constraints: 73961
2389.98/2399.65 c #Conflicts: 242000 | #Constraints: 74961
2389.98/2399.65 c #Conflicts: 243000 | #Constraints: 75961
2389.98/2399.66 c INPROCESSING
2389.98/2399.66 c GARBAGE COLLECT
2389.98/2399.66 c #Conflicts: 244000 | #Constraints: 50525
2389.98/2399.66 c #Conflicts: 245000 | #Constraints: 51525
2389.98/2399.66 c #Conflicts: 246000 | #Constraints: 52525
2389.98/2399.66 c #Conflicts: 247000 | #Constraints: 53525
2389.98/2399.66 c #Conflicts: 248000 | #Constraints: 54525
2389.98/2399.66 c #Conflicts: 249000 | #Constraints: 55525
2389.98/2399.66 c #Conflicts: 250000 | #Constraints: 56525
2389.98/2399.66 c #Conflicts: 251000 | #Constraints: 57525
2389.98/2399.66 c #Conflicts: 252000 | #Constraints: 58525
2389.98/2399.66 c #Conflicts: 253000 | #Constraints: 59525
2389.98/2399.66 c #Conflicts: 254000 | #Constraints: 60525
2389.98/2399.66 c #Conflicts: 255000 | #Constraints: 61525
2389.98/2399.66 c #Conflicts: 256000 | #Constraints: 62525
2389.98/2399.66 c #Conflicts: 257000 | #Constraints: 63525
2389.98/2399.66 c #Conflicts: 258000 | #Constraints: 64525
2389.98/2399.66 c #Conflicts: 259000 | #Constraints: 65525
2389.98/2399.66 c #Conflicts: 260000 | #Constraints: 66525
2389.98/2399.66 c #Conflicts: 261000 | #Constraints: 67525
2389.98/2399.66 c #Conflicts: 262000 | #Constraints: 68525
2389.98/2399.66 c #Conflicts: 263000 | #Constraints: 69525
2389.98/2399.66 c #Conflicts: 264000 | #Constraints: 70525
2389.98/2399.66 c #Conflicts: 265000 | #Constraints: 71525
2389.98/2399.66 c #Conflicts: 266000 | #Constraints: 72525
2389.98/2399.66 c #Conflicts: 267000 | #Constraints: 73525
2389.98/2399.66 c #Conflicts: 268000 | #Constraints: 74525
2389.98/2399.66 c #Conflicts: 269000 | #Constraints: 75525
2389.98/2399.66 c #Conflicts: 270000 | #Constraints: 76525
2389.98/2399.66 c #Conflicts: 271000 | #Constraints: 77525
2389.98/2399.66 c #Conflicts: 272000 | #Constraints: 78525
2389.98/2399.66 c #Conflicts: 273000 | #Constraints: 79525
2389.98/2399.66 c #Conflicts: 274000 | #Constraints: 80525
2389.98/2399.66 c #Conflicts: 275000 | #Constraints: 81525
2389.98/2399.66 c #Conflicts: 276000 | #Constraints: 82525
2389.98/2399.66 c INPROCESSING
2389.98/2399.66 c GARBAGE COLLECT
2389.98/2399.66 c #Conflicts: 277000 | #Constraints: 55604
2389.98/2399.66 c #Conflicts: 278000 | #Constraints: 56604
2389.98/2399.66 c #Conflicts: 279000 | #Constraints: 57604
2389.98/2399.66 c #Conflicts: 280000 | #Constraints: 58604
2389.98/2399.66 c #Conflicts: 281000 | #Constraints: 59604
2389.98/2399.66 c #Conflicts: 282000 | #Constraints: 60604
2389.98/2399.66 c #Conflicts: 283000 | #Constraints: 61604
2389.98/2399.66 c #Conflicts: 284000 | #Constraints: 62604
2389.98/2399.66 c #Conflicts: 285000 | #Constraints: 63604
2389.98/2399.66 c #Conflicts: 286000 | #Constraints: 64604
2389.98/2399.66 c #Conflicts: 287000 | #Constraints: 65604
2389.98/2399.66 c #Conflicts: 288000 | #Constraints: 66604
2389.98/2399.66 c #Conflicts: 289000 | #Constraints: 67604
2389.98/2399.66 c #Conflicts: 290000 | #Constraints: 68604
2389.98/2399.66 c #Conflicts: 291000 | #Constraints: 69604
2389.98/2399.66 c #Conflicts: 292000 | #Constraints: 70604
2389.98/2399.66 c #Conflicts: 293000 | #Constraints: 71604
2389.98/2399.66 c #Conflicts: 294000 | #Constraints: 72604
2389.98/2399.66 c #Conflicts: 295000 | #Constraints: 73604
2389.98/2399.66 c #Conflicts: 296000 | #Constraints: 74604
2389.98/2399.66 c #Conflicts: 297000 | #Constraints: 75604
2389.98/2399.66 c #Conflicts: 298000 | #Constraints: 76604
2389.98/2399.66 c #Conflicts: 299000 | #Constraints: 77604
2389.98/2399.66 c #Conflicts: 300000 | #Constraints: 78604
2389.98/2399.66 c #Conflicts: 301000 | #Constraints: 79604
3600.06/3615.10 c #Conflicts: 302000 | #Constraints: 80604
3600.06/3615.10 c #Conflicts: 303000 | #Constraints: 81604
3600.06/3615.10 c #Conflicts: 304000 | #Constraints: 82604
3600.06/3615.10 c #Conflicts: 305000 | #Constraints: 83604
3600.06/3615.10 c #Conflicts: 306000 | #Constraints: 84604
3600.06/3615.10 c #Conflicts: 307000 | #Constraints: 85604
3600.06/3615.10 c #Conflicts: 308000 | #Constraints: 86604
3600.06/3615.10 c #Conflicts: 309000 | #Constraints: 87604
3600.06/3615.10 c #Conflicts: 310000 | #Constraints: 88604
3600.06/3615.10 c INPROCESSING
3600.06/3615.10 c GARBAGE COLLECT
3600.06/3615.10 c #Conflicts: 311000 | #Constraints: 59794
3600.06/3615.10 c #Conflicts: 312000 | #Constraints: 60794
3600.06/3615.10 c #Conflicts: 313000 | #Constraints: 61794
3600.06/3615.10 c #Conflicts: 314000 | #Constraints: 62794
3600.06/3615.10 c #Conflicts: 315000 | #Constraints: 63794
3600.06/3615.10 c #Conflicts: 316000 | #Constraints: 64794
3600.06/3615.10 c #Conflicts: 317000 | #Constraints: 65794
3600.06/3615.10 c #Conflicts: 318000 | #Constraints: 66794
3600.06/3615.10 c #Conflicts: 319000 | #Constraints: 67794
3600.06/3615.10 c #Conflicts: 320000 | #Constraints: 68794
3600.06/3615.10 c #Conflicts: 321000 | #Constraints: 69794
3600.06/3615.10 c #Conflicts: 322000 | #Constraints: 70794
3600.06/3615.10 c #Conflicts: 323000 | #Constraints: 71794
3600.06/3615.10 c #Conflicts: 324000 | #Constraints: 72794
3600.06/3615.10 c #Conflicts: 325000 | #Constraints: 73794
3600.06/3615.10 c #Conflicts: 326000 | #Constraints: 74794
3600.06/3615.10 c #Conflicts: 327000 | #Constraints: 75794
3600.06/3615.10 c #Conflicts: 328000 | #Constraints: 76794
3600.06/3615.10 c #Conflicts: 329000 | #Constraints: 77794
3600.06/3615.10 c #Conflicts: 330000 | #Constraints: 78794
3600.06/3615.10 c #Conflicts: 331000 | #Constraints: 79794
3600.06/3615.10 c #Conflicts: 332000 | #Constraints: 80794
3600.06/3615.10 c #Conflicts: 333000 | #Constraints: 81794
3600.06/3615.10 c #Conflicts: 334000 | #Constraints: 82794
3600.06/3615.10 c #Conflicts: 335000 | #Constraints: 83794
3600.06/3615.10 c #Conflicts: 336000 | #Constraints: 84794
3600.06/3615.10 c #Conflicts: 337000 | #Constraints: 85794
3600.06/3615.10 c #Conflicts: 338000 | #Constraints: 86794
3600.06/3615.10 c #Conflicts: 339000 | #Constraints: 87794
3600.06/3615.10 c #Conflicts: 340000 | #Constraints: 88794
3600.06/3615.10 c #Conflicts: 341000 | #Constraints: 89794
3600.06/3615.10 c #Conflicts: 342000 | #Constraints: 90794
3600.06/3615.10 c #Conflicts: 343000 | #Constraints: 91794
3600.06/3615.10 c #Conflicts: 344000 | #Constraints: 92794
3600.06/3615.10 c #Conflicts: 345000 | #Constraints: 93794
3600.06/3615.10 c #Conflicts: 346000 | #Constraints: 94794
3600.06/3615.10 c #Conflicts: 347000 | #Constraints: 95794
3600.06/3615.10 c INPROCESSING
3600.06/3615.10 c GARBAGE COLLECT
3600.06/3615.10 c #Conflicts: 348000 | #Constraints: 65238
3600.06/3615.10 c #Conflicts: 349000 | #Constraints: 66238
3600.06/3615.10 c #Conflicts: 350000 | #Constraints: 67238
3600.06/3615.10 c #Conflicts: 351000 | #Constraints: 68238
3600.06/3615.10 c #Conflicts: 352000 | #Constraints: 69238
3600.06/3615.10 c #Conflicts: 353000 | #Constraints: 70238
3600.06/3615.10 c #Conflicts: 354000 | #Constraints: 71238
3600.06/3615.10 c #Conflicts: 355000 | #Constraints: 72238
3600.06/3615.10 c #Conflicts: 356000 | #Constraints: 73238
3600.06/3615.10 c #Conflicts: 357000 | #Constraints: 74238
3600.06/3615.10 c #Conflicts: 358000 | #Constraints: 75238
3600.06/3615.10 c #Conflicts: 359000 | #Constraints: 76238
3600.06/3615.10 c #Conflicts: 360000 | #Constraints: 77238
3600.06/3615.10 c #Conflicts: 361000 | #Constraints: 78238
3600.06/3615.10 c #Conflicts: 362000 | #Constraints: 79238
3600.06/3615.10 c #Conflicts: 363000 | #Constraints: 80238
3600.06/3615.10 c Program interrupted by user.
3600.06/3615.10 c cpu time 3592.78 s
3600.06/3615.10 c deterministic time 235091957571 2.35e+11
3600.06/3615.10 c optimization time 257.561 s
3600.06/3615.10 c total solve time 3035.72 s
3600.06/3615.10 c core-guided solve time 3035.72 s
3600.06/3615.10 c propagation time 3171.34 s
3600.06/3615.10 c conflict analysis time 110.536 s
3600.06/3615.10 c propagations 549487855
3600.06/3615.10 c resolve steps 1636562
3600.06/3615.10 c decisions 2935414
3600.06/3615.10 c conflicts 363587
3600.06/3615.10 c restarts 877
3600.06/3615.10 c inprocessing phases 22
3600.06/3615.10 c input clauses 1
3600.06/3615.10 c input cardinalities 0
3600.06/3615.10 c input general constraints 17464
3600.06/3615.10 c input average constraint length 34.13
3600.06/3615.10 c input average constraint degree 969.93
3600.06/3615.10 c learned clauses 83339
3600.06/3615.10 c learned cardinalities 3
3600.06/3615.10 c learned general constraints 280245
3600.06/3615.10 c learned average constraint length 46.39
3600.06/3615.10 c learned average constraint degree 14373609.98
3600.06/3615.10 c watched constraints 297315
3600.06/3615.10 c counting constraints 394
3600.06/3615.10 c gcd simplifications 4748
3600.06/3615.10 c detected cardinalities 3
3600.06/3615.10 c weakened non-implied lits 1336725
3600.06/3615.10 c weakened non-implying lits 573
3600.06/3615.10 c original variables 8883
3600.06/3615.10 c clausal propagations 137870
3600.06/3615.10 c cardinality propagations 11
3600.06/3615.10 c watched propagations 543619304
3600.06/3615.10 c counting propagations 5564149
3600.06/3615.10 c watch lookups 54364670747
3600.06/3615.10 c watch backjump lookups 53287422680
3600.06/3615.10 c watch checks 65250624530
3600.06/3615.10 c propagation checks 61019181241
3600.06/3615.10 c constraint additions 64849277
3600.06/3615.10 c trail pops 552785826
3600.06/3615.10 c formula constraints 17459
3600.06/3615.10 c learned constraints 363587
3600.06/3615.10 c bound constraints 6
3600.06/3615.10 c core-guided constraints 0
3600.06/3615.10 c encountered formula constraints 1391799
3600.06/3615.10 c encountered learned constraints 608350
3600.06/3615.10 c encountered bound constraints 0
3600.06/3615.10 c encountered core-guided constraints 0
3600.06/3615.10 c LP total time 0 s
3600.06/3615.10 c LP solve time 0 s
3600.06/3615.10 c LP constraints added 0
3600.06/3615.10 c LP constraints removed 0
3600.06/3615.10 c LP pivots internal 0
3600.06/3615.10 c LP pivots root 0
3600.06/3615.10 c LP calls 0
3600.06/3615.10 c LP optimalities 0
3600.06/3615.10 c LP no pivot count 0
3600.06/3615.10 c LP infeasibilities 0
3600.06/3615.10 c LP valid Farkas constraints 0
3600.06/3615.10 c LP learned Farkas constraints 0
3600.06/3615.10 c LP basis resets 0
3600.06/3615.10 c LP cycling count 0
3600.06/3615.10 c LP singular count 0
3600.06/3615.10 c LP no primal count 0
3600.06/3615.10 c LP no farkas count 0
3600.06/3615.10 c LP other issue count 0
3600.06/3615.10 c LP Gomory cuts 0
3600.06/3615.10 c LP learned cuts 0
3600.06/3615.10 c LP deleted cuts 0
3600.06/3615.10 c LP encountered Gomory constraints 0
3600.06/3615.10 c LP encountered Farkas constraints 0
3600.06/3615.10 c LP encountered learned Farkas constraints 0
3600.06/3615.10 c CG auxiliary variables introduced 0
3600.06/3615.10 c CG solutions found 0
3600.06/3615.10 c CG cores constructed 6
3600.06/3615.10 c CG core cardinality constraints returned 0
3600.06/3615.10 c CG unit cores 0
3600.06/3615.10 c CG single cores 6
3600.06/3615.10 c CG blocks removed during cardinality reduction 0
3600.06/3615.10 c CG first core best 0
3600.06/3615.10 c CG decision core best 0
3600.06/3615.10 c CG core reduction tie 0
3600.06/3615.10 c CG core degree average 1.00
3600.06/3615.10 c CG core slack average 5.50
3600.06/3615.10 c CG exhausted 0
3600.06/3615.10 c CG exhaust time 0 s
3600.06/3615.10 c CG trimmed 0
3600.06/3615.10 c CG trim time 0.002074 s
3600.06/3615.10 c CG minimized 0
3600.06/3615.10 c CG minimize time 0 s
3600.06/3615.10 c CG am1 prop time 0.002397 s
3600.06/3615.10 c CG # am1s reformulated 0
3600.06/3615.10 c CG lower bound derived from am1s 0
3600.06/3615.10 c CG # clausal cores 6
3600.06/3615.10 c CG # cardinality cores 0
3600.06/3615.10 c CG # pb cores 0
3600.06/3615.10 c CG # pb reforms 0
3600.06/3615.10 c CG # cores discarded because of pb reform 0
3600.06/3615.10 d LOWERBOUND 32
3600.06/3615.10 d NCORES 6
3600.06/3615.10 d NPBCORES 0
3600.06/3615.10 d NPBREFORM 0
3600.06/3615.10 d NTRIMMED 0
3600.06/3615.10 d NEXHAUSTED 0
3600.06/3615.10 d NAM1S 0
3600.06/3615.10 d AM1LB 0
3600.06/3615.10 c [Papilo Statistics]
3600.06/3615.10 c prepro time 0.278077s
3600.06/3615.10 c # tsx applied 8721
3600.06/3615.10 c # tsx conflicts 0
3600.06/3615.10 c # bound changes 0
3600.06/3615.10 c # side changes 8721
3600.06/3615.10 c # coef changes 0
3600.06/3615.10 c # rounds 2
3600.06/3615.10 c # deted vars 0
3600.06/3615.10 c # deted constrs 8721
3600.06/3615.10 c # consecutive rounds of only bound changes 0
3600.06/3615.10 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: 63968 MiB (61850 MiB free)
memory of node 1: 64473 MiB (62021 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454743-1721471098/watcher-4454743-1721471098 -o /tmp/evaluation-result-4454743-1721471098/solver-4454743-1721471098 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721467498-1059649 --watchdog 3760 mixed-bag HOME/instance-4454743-1721471098.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1062449, runsolver pid=1062446
Current StackSize limit: 8192 KiB
[startup+0.100095 s]*
/proc/loadavg: 4.09 4.09 4.06 5/260 1062450
/proc/meminfo: memFree=126812452/131524600 swapFree=131071996/131071996
[pid=1062449] ppid=1062446 vsize=84056 memory=15904 CPUtime=0.09 cores=0,2
/proc/1062449/stat : 1062449 (mixed-bag) R 1062446 1062449 1059639 0 -1 4194304 2532 0 0 0 9 0 0 0 20 0 1 0 199273649 86073344 3976 134679101440 4194304 16488053 140730671928064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 44527616 140730671936533 140730671936610 140730671936610 140730671943627 0
/proc/1062449/statm: 21014 3976 1626 3002 0 5302 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 84056 KiB
Current children cumulated memory: 15904 KiB
[startup+0.205655 s]*
/proc/loadavg: 4.09 4.09 4.06 5/260 1062450
/proc/meminfo: memFree=126794376/131524600 swapFree=131071996/131071996
[pid=1062449] ppid=1062446 vsize=92248 memory=24276 CPUtime=0.2 cores=0,2
/proc/1062449/stat : 1062449 (mixed-bag) R 1062446 1062449 1059639 0 -1 4194304 3125 0 0 0 19 1 0 0 20 0 1 0 199273649 94461952 6069 134679101440 4194304 16488053 140730671928064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 44527616 140730671936533 140730671936610 140730671936610 140730671943627 0
/proc/1062449/statm: 23062 6069 1626 3002 0 7350 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 92248 KiB
Current children cumulated memory: 24276 KiB
[startup+0.305609 s]*
/proc/loadavg: 4.09 4.09 4.06 5/260 1062450
/proc/meminfo: memFree=126787224/131524600 swapFree=131071996/131071996
[pid=1062449] ppid=1062446 vsize=118636 memory=37812 CPUtime=0.3 cores=0,2
/proc/1062449/stat : 1062449 (mixed-bag) R 1062446 1062449 1059639 0 -1 4194304 4445 0 0 0 29 1 0 0 20 0 1 0 199273649 121483264 9453 134679101440 4194304 16488053 140730671928064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 44527616 140730671936533 140730671936610 140730671936610 140730671943627 0
/proc/1062449/statm: 29659 9453 1642 3002 0 13947 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 118636 KiB
Current children cumulated memory: 37812 KiB
[startup+0.700238 s]
/proc/loadavg: 4.09 4.09 4.06 5/260 1062450
/proc/meminfo: memFree=126679272/131524600 swapFree=131071996/131071996
[pid=1062449] ppid=1062446 vsize=229820 memory=147712 CPUtime=0.68 cores=0,2
/proc/1062449/stat : 1062449 (mixed-bag) R 1062446 1062449 1059639 0 -1 4194304 19375 0 0 0 64 4 0 0 20 0 1 0 199273649 235335680 36928 134679101440 4194304 16488053 140730671928064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 44527616 140730671936533 140730671936610 140730671936610 140730671943627 0
/proc/1062449/statm: 57455 36928 3667 3002 0 41204 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 229820 KiB
Current children cumulated memory: 147712 KiB
[startup+1.50024 s]
/proc/loadavg: 4.09 4.09 4.06 5/260 1062450
/proc/meminfo: memFree=126577724/131524600 swapFree=131071996/131071996
[pid=1062449] ppid=1062446 vsize=402648 memory=315316 CPUtime=1.48 cores=0,2
/proc/1062449/stat : 1062449 (mixed-bag) R 1062446 1062449 1059639 0 -1 4194304 52468 0 0 0 139 9 0 0 20 0 1 0 199273649 412311552 78829 134679101440 4194304 16488053 140730671928064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 44527616 140730671936533 140730671936610 140730671936610 140730671943627 0
/proc/1062449/statm: 100662 78829 3825 3002 0 84411 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 402648 KiB
Current children cumulated memory: 315316 KiB
[startup+3.10552 s]
/proc/loadavg: 4.08 4.08 4.06 5/260 1062450
/proc/meminfo: memFree=126368980/131524600 swapFree=131071996/131071996
[pid=1062449] ppid=1062446 vsize=509656 memory=395452 CPUtime=3.08 cores=0,2
/proc/1062449/stat : 1062449 (mixed-bag) R 1062446 1062449 1059639 0 -1 4194304 70914 0 0 0 296 12 0 0 20 0 1 0 199273649 521887744 98863 134679101440 4194304 16488053 140730671928064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 44527616 140730671936533 140730671936610 140730671936610 140730671943627 0
/proc/1062449/statm: 127414 98863 4001 3002 0 111163 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 509656 KiB
Current children cumulated memory: 395452 KiB
[startup+6.30022 s]
/proc/loadavg: 4.08 4.08 4.06 5/260 1062452
/proc/meminfo: memFree=126313024/131524600 swapFree=131071996/131071996
[pid=1062449] ppid=1062446 vsize=562728 memory=444896 CPUtime=6.27 cores=0,2
/proc/1062449/stat : 1062449 (mixed-bag) R 1062446 1062449 1059639 0 -1 4194304 80068 0 0 0 613 14 0 0 20 0 1 0 199273649 576233472 111224 134679101440 4194304 16488053 140730671928064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 44527616 140730671936533 140730671936610 140730671936610 140730671943627 0
/proc/1062449/statm: 140682 111224 4001 3002 0 124431 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 562728 KiB
Current children cumulated memory: 444896 KiB
[startup+12.7002 s]
/proc/loadavg: 4.07 4.08 4.06 5/260 1062498
/proc/meminfo: memFree=125987928/131524600 swapFree=131071996/131071996
[pid=1062449] ppid=1062446 vsize=615976 memory=494124 CPUtime=12.64 cores=0,2
/proc/1062449/stat : 1062449 (mixed-bag) R 1062446 1062449 1059639 0 -1 4194304 90375 0 0 0 1248 16 0 0 20 0 1 0 199273649 630759424 123531 134679101440 4194304 16488053 140730671928064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 44527616 140730671936533 140730671936610 140730671936610 140730671943627 0
/proc/1062449/statm: 153994 123531 4001 3002 0 137743 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 615976 KiB
Current children cumulated memory: 494124 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 4.09 4.07 5/258 1062501
/proc/meminfo: memFree=125750624/131524600 swapFree=131071996/131071996
[pid=1062449] ppid=1062446 vsize=615976 memory=494232 CPUtime=25.39 cores=0,2
/proc/1062449/stat : 1062449 (mixed-bag) R 1062446 1062449 1059639 0 -1 4194304 90436 0 0 0 2523 16 0 0 20 0 1 0 199273649 630759424 123558 134679101440 4194304 16488053 140730671928064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 44527616 140730671936533 140730671936610 140730671936610 140730671943627 0
/proc/1062449/statm: 153994 123558 4024 3002 0 137743 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 615976 KiB
Current children cumulated memory: 494232 KiB
[startup+51.1054 s]
/proc/loadavg: 4.14 4.10 4.07 5/258 1062550
/proc/meminfo: memFree=126111088/131524600 swapFree=131071996/131071996
[pid=1062449] ppid=1062446 vsize=615976 memory=494232 CPUtime=50.92 cores=0,2
/proc/1062449/stat : 1062449 (mixed-bag) R 1062446 1062449 1059639 0 -1 4194304 90511 0 0 0 5075 17 0 0 20 0 1 0 199273649 630759424 123558 134679101440 4194304 16488053 140730671928064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 44527616 140730671936533 140730671936610 140730671936610 140730671943627 0
/proc/1062449/statm: 153994 123558 4024 3002 0 137743 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 615976 KiB
Current children cumulated memory: 494232 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.10 4.07 5/258 1062558
/proc/meminfo: memFree=126028072/131524600 swapFree=131071996/131071996
[pid=1062449] ppid=1062446 vsize=621216 memory=504424 CPUtime=101.94 cores=0,2
/proc/1062449/stat : 1062449 (mixed-bag) R 1062446 1062449 1059639 0 -1 4194304 119281 0 0 0 10172 22 0 0 20 0 1 0 199273649 636125184 126106 134679101440 4194304 16488053 140730671928064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 44527616 140730671936533 140730671936610 140730671936610 140730671943627 0
/proc/1062449/statm: 155304 126106 4040 3002 0 139053 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 621216 KiB
Current children cumulated memory: 504424 KiB
[startup+162.3 s]
/proc/loadavg: 4.18 4.11 4.08 5/257 1062570
/proc/meminfo: memFree=125916956/131524600 swapFree=131071996/131071996
[pid=1062449] ppid=1062446 vsize=667700 memory=549620 CPUtime=161.72 cores=0,2
/proc/1062449/stat : 1062449 (mixed-bag) R 1062446 1062449 1059639 0 -1 4194304 139433 0 0 0 16146 26 0 0 20 0 1 0 199273649 683724800 137405 134679101440 4194304 16488053 140730671928064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 44527616 140730671936533 140730671936610 140730671936610 140730671943627 0
/proc/1062449/statm: 166925 137405 4040 3002 0 150674 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 667700 KiB
Current children cumulated memory: 549620 KiB
[startup+222.3 s]
/proc/loadavg: 4.35 4.19 4.11 5/259 1062750
/proc/meminfo: memFree=125783872/131524600 swapFree=131071996/131071996
[pid=1062449] ppid=1062446 vsize=706984 memory=587956 CPUtime=221.51 cores=0,2
/proc/1062449/stat : 1062449 (mixed-bag) R 1062446 1062449 1059639 0 -1 4194304 149150 0 0 0 22123 28 0 0 20 0 1 0 199273649 723951616 146989 134679101440 4194304 16488053 140730671928064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 44527616 140730671936533 140730671936610 140730671936610 140730671943627 0
/proc/1062449/statm: 176746 146989 4040 3002 0 160495 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 706984 KiB
Current children cumulated memory: 587956 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.17 4.10 5/259 1062761
/proc/meminfo: memFree=125740168/131524600 swapFree=131071996/131071996
[pid=1062449] ppid=1062446 vsize=706984 memory=593692 CPUtime=281.32 cores=0,2
/proc/1062449/stat : 1062449 (mixed-bag) R 1062446 1062449 1059639 0 -1 4194304 149231 0 0 0 28103 29 0 0 20 0 1 0 199273649 723951616 148423 134679101440 4194304 16488053 140730671928064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 44527616 140730671936533 140730671936610 140730671936610 140730671943627 0
/proc/1062449/statm: 176746 148423 4040 3002 0 160495 0
Current children cumulated CPU time: 281.32 s
Current children cumulated vsize: 706984 KiB
Current children cumulated memory: 593692 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.15 4.09 5/260 1062833
/proc/meminfo: memFree=125840100/131524600 swapFree=131071996/131071996
[pid=1062449] ppid=1062446 vsize=680104 memory=584556 CPUtime=341.1 cores=0,2
/proc/1062449/stat : 1062449 (mixed-bag) R 1062446 1062449 1059639 0 -1 4194304 150386 0 0 0 34044 66 0 0 20 0 1 0 199273649 696426496 146139 134679101440 4194304 16488053 140730671928064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 44527616 140730671936533 140730671936610 140730671936610 140730671943627 0
/proc/1062449/statm: 170026 146139 4167 3002 0 153775 0
Current children cumulated CPU time: 341.1 s
Current children cumulated vsize: 680104 KiB
Current children cumulated memory: 584556 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.15 4.09 5/260 1062843
/proc/meminfo: memFree=125800172/131524600 swapFree=131071996/131071996
[pid=1062449] ppid=1062446 vsize=687284 memory=613980 CPUtime=400.9 cores=0,2
/proc/1062449/stat : 1062449 (mixed-bag) R 1062446 1062449 1059639 0 -1 4194304 150794 0 0 0 39986 104 0 0 20 0 1 0 199273649 703778816 153495 134679101440 4194304 16488053 140730671928064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 44527616 140730671936533 140730671936610 140730671936610 140730671943627 0
/proc/1062449/statm: 171821 153495 4167 3002 0 155570 0
Current children cumulated CPU time: 400.9 s
Current children cumulated vsize: 687284 KiB
Current children cumulated memory: 613980 KiB
[startup+462.3 s]
/proc/loadavg: 4.18 4.17 4.10 5/260 1062854
/proc/meminfo: memFree=125788752/131524600 swapFree=131071996/131071996
[pid=1062449] ppid=1062446 vsize=687284 memory=619100 CPUtime=460.67 cores=0,2
/proc/1062449/stat : 1062449 (mixed-bag) R 1062446 1062449 1059639 0 -1 4194304 150840 0 0 0 45938 129 0 0 20 0 1 0 199273649 703778816 154775 134679101440 4194304 16488053 140730671928064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 44527616 140730671936533 140730671936610 140730671936610 140730671943627 0
/proc/1062449/statm: 171821 154775 4167 3002 0 155570 0
################
# More data... #
################
Current children cumulated memory: 649576 KiB
[startup+2922.3 s]
/proc/loadavg: 4.15 4.14 4.11 5/257 1063876
/proc/meminfo: memFree=125716760/131524600 swapFree=131071996/131071996
[pid=1062449] ppid=1062446 vsize=717928 memory=649576 CPUtime=2910.38 cores=0,2
/proc/1062449/stat : 1062449 (mixed-bag) R 1062446 1062449 1059639 0 -1 4194304 154989 0 0 0 290405 633 0 0 20 0 1 0 199273649 735158272 162394 134679101440 4194304 16488053 140730671928064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 44527616 140730671936533 140730671936610 140730671936610 140730671943627 0
/proc/1062449/statm: 179482 162394 4167 3002 0 163231 0
Current children cumulated CPU time: 2910.38 s
Current children cumulated vsize: 717928 KiB
Current children cumulated memory: 649576 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/257 1063887
/proc/meminfo: memFree=125715772/131524600 swapFree=131071996/131071996
[pid=1062449] ppid=1062446 vsize=717928 memory=649576 CPUtime=2970.12 cores=0,2
/proc/1062449/stat : 1062449 (mixed-bag) R 1062446 1062449 1059639 0 -1 4194304 155060 0 0 0 296369 643 0 0 20 0 1 0 199273649 735158272 162394 134679101440 4194304 16488053 140730671928064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 44527616 140730671936533 140730671936610 140730671936610 140730671943627 0
/proc/1062449/statm: 179482 162394 4167 3002 0 163231 0
Current children cumulated CPU time: 2970.12 s
Current children cumulated vsize: 717928 KiB
Current children cumulated memory: 649576 KiB
[startup+3042.3 s]
/proc/loadavg: 4.16 4.15 4.11 5/255 1063897
/proc/meminfo: memFree=125713756/131524600 swapFree=131071996/131071996
[pid=1062449] ppid=1062446 vsize=717928 memory=649576 CPUtime=3029.85 cores=0,2
/proc/1062449/stat : 1062449 (mixed-bag) R 1062446 1062449 1059639 0 -1 4194304 155133 0 0 0 302334 651 0 0 20 0 1 0 199273649 735158272 162394 134679101440 4194304 16488053 140730671928064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 44527616 140730671936533 140730671936610 140730671936610 140730671943627 0
/proc/1062449/statm: 179482 162394 4167 3002 0 163231 0
Current children cumulated CPU time: 3029.85 s
Current children cumulated vsize: 717928 KiB
Current children cumulated memory: 649576 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/254 1063907
/proc/meminfo: memFree=125712908/131524600 swapFree=131071996/131071996
[pid=1062449] ppid=1062446 vsize=717928 memory=649576 CPUtime=3089.57 cores=0,2
/proc/1062449/stat : 1062449 (mixed-bag) R 1062446 1062449 1059639 0 -1 4194304 155205 0 0 0 308298 659 0 0 20 0 1 0 199273649 735158272 162394 134679101440 4194304 16488053 140730671928064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 44527616 140730671936533 140730671936610 140730671936610 140730671943627 0
/proc/1062449/statm: 179482 162394 4167 3002 0 163231 0
Current children cumulated CPU time: 3089.57 s
Current children cumulated vsize: 717928 KiB
Current children cumulated memory: 649576 KiB
[startup+3162.3 s]
/proc/loadavg: 4.21 4.15 4.11 5/254 1063918
/proc/meminfo: memFree=125712340/131524600 swapFree=131071996/131071996
[pid=1062449] ppid=1062446 vsize=717928 memory=649576 CPUtime=3149.3 cores=0,2
/proc/1062449/stat : 1062449 (mixed-bag) R 1062446 1062449 1059639 0 -1 4194304 155280 0 0 0 314261 669 0 0 20 0 1 0 199273649 735158272 162394 134679101440 4194304 16488053 140730671928064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 44527616 140730671936533 140730671936610 140730671936610 140730671943627 0
/proc/1062449/statm: 179482 162394 4167 3002 0 163231 0
Current children cumulated CPU time: 3149.3 s
Current children cumulated vsize: 717928 KiB
Current children cumulated memory: 649576 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/254 1063929
/proc/meminfo: memFree=125709360/131524600 swapFree=131071996/131071996
[pid=1062449] ppid=1062446 vsize=717928 memory=651624 CPUtime=3209.04 cores=0,2
/proc/1062449/stat : 1062449 (mixed-bag) R 1062446 1062449 1059639 0 -1 4194304 155354 0 0 0 320225 679 0 0 20 0 1 0 199273649 735158272 162906 134679101440 4194304 16488053 140730671928064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 44527616 140730671936533 140730671936610 140730671936610 140730671943627 0
/proc/1062449/statm: 179482 162906 4167 3002 0 163231 0
Current children cumulated CPU time: 3209.04 s
Current children cumulated vsize: 717928 KiB
Current children cumulated memory: 651624 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.13 4.09 5/254 1063939
/proc/meminfo: memFree=125706380/131524600 swapFree=131071996/131071996
[pid=1062449] ppid=1062446 vsize=717928 memory=651624 CPUtime=3268.77 cores=0,2
/proc/1062449/stat : 1062449 (mixed-bag) R 1062446 1062449 1059639 0 -1 4194304 155390 0 0 0 326190 687 0 0 20 0 1 0 199273649 735158272 162906 134679101440 4194304 16488053 140730671928064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 44527616 140730671936533 140730671936610 140730671936610 140730671943627 0
/proc/1062449/statm: 179482 162906 4167 3002 0 163231 0
Current children cumulated CPU time: 3268.77 s
Current children cumulated vsize: 717928 KiB
Current children cumulated memory: 651624 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.12 4.09 5/256 1063954
/proc/meminfo: memFree=125701716/131524600 swapFree=131071996/131071996
[pid=1062449] ppid=1062446 vsize=717928 memory=653672 CPUtime=3328.5 cores=0,2
/proc/1062449/stat : 1062449 (mixed-bag) R 1062446 1062449 1059639 0 -1 4194304 155474 0 0 0 332155 695 0 0 20 0 1 0 199273649 735158272 163418 134679101440 4194304 16488053 140730671928064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 44527616 140730671936533 140730671936610 140730671936610 140730671943627 0
/proc/1062449/statm: 179482 163418 4167 3002 0 163231 0
Current children cumulated CPU time: 3328.5 s
Current children cumulated vsize: 717928 KiB
Current children cumulated memory: 653672 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/256 1063964
/proc/meminfo: memFree=125701088/131524600 swapFree=131071996/131071996
[pid=1062449] ppid=1062446 vsize=717928 memory=653672 CPUtime=3388.24 cores=0,2
/proc/1062449/stat : 1062449 (mixed-bag) R 1062446 1062449 1059639 0 -1 4194304 155562 0 0 0 338121 703 0 0 20 0 1 0 199273649 735158272 163418 134679101440 4194304 16488053 140730671928064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 44527616 140730671936533 140730671936610 140730671936610 140730671943627 0
/proc/1062449/statm: 179482 163418 4167 3002 0 163231 0
Current children cumulated CPU time: 3388.24 s
Current children cumulated vsize: 717928 KiB
Current children cumulated memory: 653672 KiB
[startup+3462.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/256 1063975
/proc/meminfo: memFree=125698264/131524600 swapFree=131071996/131071996
[pid=1062449] ppid=1062446 vsize=717928 memory=653672 CPUtime=3447.97 cores=0,2
/proc/1062449/stat : 1062449 (mixed-bag) R 1062446 1062449 1059639 0 -1 4194304 155646 0 0 0 344086 711 0 0 20 0 1 0 199273649 735158272 163418 134679101440 4194304 16488053 140730671928064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 44527616 140730671936533 140730671936610 140730671936610 140730671943627 0
/proc/1062449/statm: 179482 163418 4167 3002 0 163231 0
Current children cumulated CPU time: 3447.97 s
Current children cumulated vsize: 717928 KiB
Current children cumulated memory: 653672 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/256 1063986
/proc/meminfo: memFree=125697512/131524600 swapFree=131071996/131071996
[pid=1062449] ppid=1062446 vsize=717928 memory=653672 CPUtime=3507.69 cores=0,2
/proc/1062449/stat : 1062449 (mixed-bag) R 1062446 1062449 1059639 0 -1 4194304 155732 0 0 0 350051 718 0 0 20 0 1 0 199273649 735158272 163418 134679101440 4194304 16488053 140730671928064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 44527616 140730671936533 140730671936610 140730671936610 140730671943627 0
/proc/1062449/statm: 179482 163418 4167 3002 0 163231 0
Current children cumulated CPU time: 3507.69 s
Current children cumulated vsize: 717928 KiB
Current children cumulated memory: 653672 KiB
[startup+3582.3 s]
/proc/loadavg: 4.06 4.11 4.09 5/256 1063998
/proc/meminfo: memFree=125696808/131524600 swapFree=131071996/131071996
[pid=1062449] ppid=1062446 vsize=717928 memory=653672 CPUtime=3567.41 cores=0,2
/proc/1062449/stat : 1062449 (mixed-bag) R 1062446 1062449 1059639 0 -1 4194304 155819 0 0 0 356016 725 0 0 20 0 1 0 199273649 735158272 163418 134679101440 4194304 16488053 140730671928064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 44527616 140730671936533 140730671936610 140730671936610 140730671943627 0
/proc/1062449/statm: 179482 163418 4167 3002 0 163231 0
Current children cumulated CPU time: 3567.41 s
Current children cumulated vsize: 717928 KiB
Current children cumulated memory: 653672 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3615.11 s]
/proc/loadavg: 4.08 4.11 4.09 5/258 1064434
/proc/meminfo: memFree=126012624/131524600 swapFree=131071996/131071996
[pid=1062449] ppid=1062446 vsize=717928 memory=653672 CPUtime=3600.06 cores=0,2
/proc/1062449/stat : 1062449 (mixed-bag) R 1062446 1062449 1059639 0 -1 4194304 155881 0 0 0 359277 729 0 0 20 0 1 0 199273649 735158272 163418 134679101440 4194304 16488053 140730671928064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 44527616 140730671936533 140730671936610 140730671936610 140730671943627 0
/proc/1062449/statm: 179482 163418 4167 3002 0 163231 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 717928 KiB
Current children cumulated memory: 653672 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3615.11 s]
# the end of solver process 1062449 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3592.78 s, system=7.29883 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3615.11 s]
/proc/loadavg: 4.08 4.11 4.09 5/258 1064434
/proc/meminfo: memFree=126012624/131524600 swapFree=131071996/131071996
[pid=1062449] ppid=1062446 vsize=717928 memory=653672 CPUtime=3600.06 cores=0,2
/proc/1062449/stat : 1062449 (mixed-bag) R 1062446 1062449 1059639 0 -1 4194304 155881 0 0 0 359277 729 0 0 20 0 1 0 199273649 735158272 163418 134679101440 4194304 16488053 140730671928064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 44527616 140730671936533 140730671936610 140730671936610 140730671943627 0
/proc/1062449/statm: 179482 163418 4167 3002 0 163231 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 717928 KiB
Current children cumulated memory: 653672 KiB
Child status: 0
Real time (s): 3615.11
CPU time (s): 3600.08
CPU user time (s): 3592.78
CPU system time (s): 7.29883
CPU usage (%): 99.5842
Max. virtual memory (cumulated for all children) (KiB): 717928
Max. memory (cumulated for all children) (KiB): 653672
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.78
system time used= 7.29883
maximum resident set size= 653672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 155916
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= 52
involuntary context switches= 24689
# summary of solver processes directly reported to runsolver:
# pid: 1062449
# total CPU time (s): 3600.08
# total CPU user time (s): 3592.78
# total CPU system time (s): 7.29883
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.86036 second user time and 17.171 second system time
The end
Begin job on nodeC021 at 2024-07-20 12:25:10
IDJOB=4454743
IDBENCH=147625
IDSOLVER=3083
FILE ID=nodeC021/4454743-1721471098
RUNJOBID= nodeC021-1721467498-1059649
SLURM_JOB_ID= 7545721
Free space on /tmp= 890028 MiB
SOLVER NAME= mixed-bag 2024-07-19
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_18.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454743-1721471098/watcher-4454743-1721471098 -o /tmp/evaluation-result-4454743-1721471098/solver-4454743-1721471098 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721467498-1059649 --watchdog 3760 mixed-bag HOME/instance-4454743-1721471098.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 175cf8fd081870b89b1494469c4bb17a
RANDOM SEED=1368859222
nodeC021.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3657.578
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.42
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 : 3676.261
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.23
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 : 3665.334
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.42
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.751
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.23
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 : 3666.191
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.42
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 : 3676.253
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3615.797
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.42
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 : 3600.034
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 126858660 kB
MemAvailable: 128993880 kB
Buffers: 564772 kB
Cached: 2397784 kB
SwapCached: 0 kB
Active: 1112876 kB
Inactive: 2898136 kB
Active(anon): 1552 kB
Inactive(anon): 1092848 kB
Active(file): 1111324 kB
Inactive(file): 1805288 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 54652 kB
Writeback: 48 kB
AnonPages: 1047940 kB
Mapped: 140100 kB
Shmem: 45912 kB
KReclaimable: 116864 kB
Slab: 233028 kB
SReclaimable: 116864 kB
SUnreclaim: 116164 kB
KernelStack: 4208 kB
PageTables: 11644 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1537336 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 73376 kB
HardwareCorrupted: 0 kB
AnonHugePages: 819200 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 260820 kB
DirectMap2M: 25726976 kB
DirectMap1G: 110100480 kB
Free space on /tmp at the end= 889996 MiB
End job on nodeC021 at 2024-07-20 13:25:26