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.51/0.57 c [STEP] preprocessing with Papilo
0.69/0.77 c Papilo could not simplify the problem
0.69/0.77 c [STEP] solving with SCIP
299.94/300.92 c [STEP] preprocessing done, loading into solver
300.05/301.01 c [STEP] solving
300.05/301.01 c #variables 2701 #constraints 43070
300.05/301.01 c SMALL=int, LARGE=long long
300.05/301.01 c bounds - >= 0 @ 299.772
300.05/301.01 c stratification level: 4
304.33/305.33 c #Conflicts: 1000 | #Constraints: 44069
304.33/305.33 c #Conflicts: 2000 | #Constraints: 45069
304.33/305.33 c INPROCESSING
304.33/305.33 c #Conflicts: 3000 | #Constraints: 45090
304.33/305.33 c #Conflicts: 4000 | #Constraints: 46090
304.33/305.33 c INPROCESSING
304.33/305.33 c #Conflicts: 5000 | #Constraints: 45509
304.33/305.33 c #Conflicts: 6000 | #Constraints: 46509
304.33/305.33 c INPROCESSING
304.33/305.33 c GARBAGE COLLECT
304.33/305.33 c #Conflicts: 7000 | #Constraints: 45516
304.33/305.33 c #Conflicts: 8000 | #Constraints: 46516
304.33/305.33 c #Conflicts: 9000 | #Constraints: 47516
304.33/305.33 c INPROCESSING
304.33/305.33 c #Conflicts: 10000 | #Constraints: 46225
304.33/305.33 c #Conflicts: 11000 | #Constraints: 47225
304.33/305.33 c #Conflicts: 12000 | #Constraints: 48225
304.33/305.33 c INPROCESSING
304.33/305.33 c GARBAGE COLLECT
304.33/305.33 c #Conflicts: 13000 | #Constraints: 46698
304.33/305.33 c #Conflicts: 14000 | #Constraints: 47698
304.33/305.33 c #Conflicts: 15000 | #Constraints: 48698
304.33/305.33 c INPROCESSING
304.33/305.33 c #Conflicts: 16000 | #Constraints: 46924
304.33/305.33 c #Conflicts: 17000 | #Constraints: 47924
304.33/305.33 c #Conflicts: 18000 | #Constraints: 48924
304.33/305.33 c INPROCESSING
304.33/305.33 c GARBAGE COLLECT
304.33/305.33 c #Conflicts: 19000 | #Constraints: 46953
304.33/305.33 c #Conflicts: 20000 | #Constraints: 47953
304.33/305.33 c #Conflicts: 21000 | #Constraints: 48953
304.33/305.33 c INPROCESSING
304.33/305.33 c #Conflicts: 22000 | #Constraints: 46746
304.33/305.33 c #Conflicts: 23000 | #Constraints: 47746
304.33/305.33 c #Conflicts: 24000 | #Constraints: 48746
304.33/305.33 c #Conflicts: 25000 | #Constraints: 49746
304.33/305.33 c INPROCESSING
304.33/305.33 c GARBAGE COLLECT
304.33/305.33 c #Conflicts: 26000 | #Constraints: 47357
304.33/305.33 c #Conflicts: 27000 | #Constraints: 48357
304.33/305.33 c #Conflicts: 28000 | #Constraints: 49357
304.33/305.33 c #Conflicts: 29000 | #Constraints: 50357
304.33/305.33 c INPROCESSING
304.33/305.33 c #Conflicts: 30000 | #Constraints: 47751
304.33/305.33 c #Conflicts: 31000 | #Constraints: 48751
304.33/305.33 c #Conflicts: 32000 | #Constraints: 49751
304.33/305.33 c #Conflicts: 33000 | #Constraints: 50751
304.33/305.33 c INPROCESSING
304.33/305.33 c GARBAGE COLLECT
304.33/305.33 c #Conflicts: 34000 | #Constraints: 47962
304.33/305.33 c #Conflicts: 35000 | #Constraints: 48962
304.33/305.33 c #Conflicts: 36000 | #Constraints: 49962
304.33/305.33 c #Conflicts: 37000 | #Constraints: 50962
304.33/305.33 c INPROCESSING
304.33/305.33 c GARBAGE COLLECT
304.33/305.33 c #Conflicts: 38000 | #Constraints: 47974
304.33/305.33 c #Conflicts: 39000 | #Constraints: 48974
304.33/305.33 c #Conflicts: 40000 | #Constraints: 49974
304.33/305.33 c #Conflicts: 41000 | #Constraints: 50974
304.33/305.33 c INPROCESSING
304.33/305.33 c GARBAGE COLLECT
304.33/305.33 c #Conflicts: 42000 | #Constraints: 47783
304.33/305.33 c #Conflicts: 43000 | #Constraints: 48783
304.33/305.33 c #Conflicts: 44000 | #Constraints: 49783
304.33/305.33 c #Conflicts: 45000 | #Constraints: 50783
304.33/305.33 c #Conflicts: 46000 | #Constraints: 51783
304.33/305.33 c INPROCESSING
304.33/305.33 c GARBAGE COLLECT
304.33/305.33 c #Conflicts: 47000 | #Constraints: 48386
304.33/305.33 c #Conflicts: 48000 | #Constraints: 49386
304.33/305.33 c #Conflicts: 49000 | #Constraints: 50386
304.33/305.33 c #Conflicts: 50000 | #Constraints: 51386
304.33/305.33 c #Conflicts: 51000 | #Constraints: 52386
304.33/305.33 c INPROCESSING
304.33/305.33 c GARBAGE COLLECT
304.33/305.33 c #Conflicts: 52000 | #Constraints: 48796
304.33/305.33 c #Conflicts: 53000 | #Constraints: 49796
304.33/305.33 c #Conflicts: 54000 | #Constraints: 50796
304.33/305.33 c #Conflicts: 55000 | #Constraints: 51796
304.33/305.33 c #Conflicts: 56000 | #Constraints: 52796
304.33/305.33 c INPROCESSING
304.33/305.33 c GARBAGE COLLECT
304.33/305.33 c #Conflicts: 57000 | #Constraints: 49007
304.33/305.33 c #Conflicts: 58000 | #Constraints: 50007
304.33/305.33 c #Conflicts: 59000 | #Constraints: 51007
304.33/305.33 c #Conflicts: 60000 | #Constraints: 52007
304.33/305.33 c #Conflicts: 61000 | #Constraints: 53007
304.33/305.33 c INPROCESSING
304.33/305.33 c GARBAGE COLLECT
304.33/305.33 c #Conflicts: 62000 | #Constraints: 48990
304.33/305.33 c #Conflicts: 63000 | #Constraints: 49990
304.33/305.33 c #Conflicts: 64000 | #Constraints: 50990
304.33/305.33 c #Conflicts: 65000 | #Constraints: 51990
304.33/305.33 c #Conflicts: 66000 | #Constraints: 52990
304.33/305.33 c INPROCESSING
304.33/305.33 c GARBAGE COLLECT
304.33/305.33 c #Conflicts: 67000 | #Constraints: 48772
304.33/305.33 c #Conflicts: 68000 | #Constraints: 49772
304.33/305.33 c #Conflicts: 69000 | #Constraints: 50772
304.33/305.33 c #Conflicts: 70000 | #Constraints: 51772
310.72/311.77 c #Conflicts: 71000 | #Constraints: 52772
310.72/311.77 c #Conflicts: 72000 | #Constraints: 53772
310.72/311.77 c INPROCESSING
310.72/311.77 c GARBAGE COLLECT
310.72/311.77 c #Conflicts: 73000 | #Constraints: 49390
310.72/311.77 c #Conflicts: 74000 | #Constraints: 50390
310.72/311.77 c #Conflicts: 75000 | #Constraints: 51390
310.72/311.77 c #Conflicts: 76000 | #Constraints: 52390
310.72/311.77 c #Conflicts: 77000 | #Constraints: 53390
310.72/311.77 c #Conflicts: 78000 | #Constraints: 54390
310.72/311.77 c INPROCESSING
310.72/311.77 c GARBAGE COLLECT
310.72/311.77 c #Conflicts: 79000 | #Constraints: 49801
310.72/311.77 c #Conflicts: 80000 | #Constraints: 50801
310.72/311.77 c #Conflicts: 81000 | #Constraints: 51801
310.72/311.77 c #Conflicts: 82000 | #Constraints: 52801
310.72/311.77 c #Conflicts: 83000 | #Constraints: 53801
310.72/311.77 c #Conflicts: 84000 | #Constraints: 54801
310.72/311.77 c INPROCESSING
310.72/311.77 c GARBAGE COLLECT
310.72/311.77 c #Conflicts: 85000 | #Constraints: 50019
310.72/311.77 c #Conflicts: 86000 | #Constraints: 51019
310.72/311.77 c #Conflicts: 87000 | #Constraints: 52019
310.72/311.77 c #Conflicts: 88000 | #Constraints: 53019
310.72/311.77 c #Conflicts: 89000 | #Constraints: 54019
310.72/311.77 c #Conflicts: 90000 | #Constraints: 55019
310.72/311.77 c INPROCESSING
310.72/311.77 c GARBAGE COLLECT
310.72/311.77 c #Conflicts: 91000 | #Constraints: 50016
310.72/311.77 c #Conflicts: 92000 | #Constraints: 51016
310.72/311.77 c #Conflicts: 93000 | #Constraints: 52016
310.72/311.77 c #Conflicts: 94000 | #Constraints: 53016
310.72/311.77 c #Conflicts: 95000 | #Constraints: 54016
310.72/311.77 c #Conflicts: 96000 | #Constraints: 55016
310.72/311.77 c INPROCESSING
310.72/311.77 c GARBAGE COLLECT
310.72/311.77 c #Conflicts: 97000 | #Constraints: 49836
310.72/311.77 c #Conflicts: 98000 | #Constraints: 50836
310.72/311.77 c #Conflicts: 99000 | #Constraints: 51836
310.72/311.77 c #Conflicts: 100000 | #Constraints: 52836
310.72/311.77 c #Conflicts: 101000 | #Constraints: 53836
310.72/311.77 c #Conflicts: 102000 | #Constraints: 54836
310.72/311.77 c #Conflicts: 103000 | #Constraints: 55836
310.72/311.77 c INPROCESSING
310.72/311.77 c GARBAGE COLLECT
310.72/311.77 c #Conflicts: 104000 | #Constraints: 50431
310.72/311.77 c #Conflicts: 105000 | #Constraints: 51431
310.72/311.77 c #Conflicts: 106000 | #Constraints: 52431
310.72/311.77 c #Conflicts: 107000 | #Constraints: 53431
310.72/311.77 c #Conflicts: 108000 | #Constraints: 54431
310.72/311.77 c #Conflicts: 109000 | #Constraints: 55431
310.72/311.77 c #Conflicts: 110000 | #Constraints: 56431
310.72/311.77 c INPROCESSING
310.72/311.77 c GARBAGE COLLECT
310.72/311.77 c #Conflicts: 111000 | #Constraints: 50844
310.72/311.77 c #Conflicts: 112000 | #Constraints: 51844
310.72/311.77 c #Conflicts: 113000 | #Constraints: 52844
310.72/311.77 c #Conflicts: 114000 | #Constraints: 53844
310.72/311.77 c #Conflicts: 115000 | #Constraints: 54844
310.72/311.77 c #Conflicts: 116000 | #Constraints: 55844
310.72/311.77 c #Conflicts: 117000 | #Constraints: 56844
310.72/311.77 c INPROCESSING
310.72/311.77 c GARBAGE COLLECT
310.72/311.77 c #Conflicts: 118000 | #Constraints: 51039
310.72/311.77 c #Conflicts: 119000 | #Constraints: 52039
310.72/311.77 c #Conflicts: 120000 | #Constraints: 53039
310.72/311.77 c #Conflicts: 121000 | #Constraints: 54039
310.72/311.77 c #Conflicts: 122000 | #Constraints: 55039
310.72/311.77 c #Conflicts: 123000 | #Constraints: 56039
310.72/311.77 c #Conflicts: 124000 | #Constraints: 57039
310.72/311.77 c INPROCESSING
310.72/311.77 c GARBAGE COLLECT
310.72/311.77 c #Conflicts: 125000 | #Constraints: 51039
310.72/311.77 c #Conflicts: 126000 | #Constraints: 52039
310.72/311.77 c #Conflicts: 127000 | #Constraints: 53039
310.72/311.77 c #Conflicts: 128000 | #Constraints: 54039
310.72/311.77 c #Conflicts: 129000 | #Constraints: 55039
310.72/311.77 c #Conflicts: 130000 | #Constraints: 56039
310.72/311.77 c #Conflicts: 131000 | #Constraints: 57039
310.72/311.77 c INPROCESSING
310.72/311.77 c GARBAGE COLLECT
310.72/311.77 c #Conflicts: 132000 | #Constraints: 50845
310.72/311.77 c #Conflicts: 133000 | #Constraints: 51845
310.72/311.77 c #Conflicts: 134000 | #Constraints: 52845
310.72/311.77 c #Conflicts: 135000 | #Constraints: 53845
310.72/311.77 c #Conflicts: 136000 | #Constraints: 54845
310.72/311.77 c #Conflicts: 137000 | #Constraints: 55845
310.72/311.77 c #Conflicts: 138000 | #Constraints: 56845
310.72/311.77 c #Conflicts: 139000 | #Constraints: 57845
310.72/311.77 c INPROCESSING
310.72/311.77 c GARBAGE COLLECT
310.72/311.77 c #Conflicts: 140000 | #Constraints: 51451
310.72/311.77 c #Conflicts: 141000 | #Constraints: 52451
310.72/311.77 c #Conflicts: 142000 | #Constraints: 53451
319.80/320.89 c #Conflicts: 143000 | #Constraints: 54451
319.80/320.89 c #Conflicts: 144000 | #Constraints: 55451
319.80/320.89 c #Conflicts: 145000 | #Constraints: 56451
319.80/320.89 c #Conflicts: 146000 | #Constraints: 57451
319.80/320.89 c #Conflicts: 147000 | #Constraints: 58451
319.80/320.89 c INPROCESSING
319.80/320.89 c GARBAGE COLLECT
319.80/320.89 c #Conflicts: 148000 | #Constraints: 51869
319.80/320.89 c #Conflicts: 149000 | #Constraints: 52869
319.80/320.89 c #Conflicts: 150000 | #Constraints: 53869
319.80/320.89 c #Conflicts: 151000 | #Constraints: 54869
319.80/320.89 c #Conflicts: 152000 | #Constraints: 55869
319.80/320.89 c #Conflicts: 153000 | #Constraints: 56869
319.80/320.89 c #Conflicts: 154000 | #Constraints: 57869
319.80/320.89 c #Conflicts: 155000 | #Constraints: 58869
319.80/320.89 c INPROCESSING
319.80/320.89 c GARBAGE COLLECT
319.80/320.89 c #Conflicts: 156000 | #Constraints: 52069
319.80/320.89 c #Conflicts: 157000 | #Constraints: 53069
319.80/320.89 c #Conflicts: 158000 | #Constraints: 54069
319.80/320.89 c #Conflicts: 159000 | #Constraints: 55069
319.80/320.89 c #Conflicts: 160000 | #Constraints: 56069
319.80/320.89 c #Conflicts: 161000 | #Constraints: 57069
319.80/320.89 c #Conflicts: 162000 | #Constraints: 58069
319.80/320.89 c #Conflicts: 163000 | #Constraints: 59069
319.80/320.89 c INPROCESSING
319.80/320.89 c GARBAGE COLLECT
319.80/320.89 c #Conflicts: 164000 | #Constraints: 52073
319.80/320.89 c #Conflicts: 165000 | #Constraints: 53073
319.80/320.89 c #Conflicts: 166000 | #Constraints: 54073
319.80/320.89 c #Conflicts: 167000 | #Constraints: 55073
319.80/320.89 c #Conflicts: 168000 | #Constraints: 56073
319.80/320.89 c #Conflicts: 169000 | #Constraints: 57073
319.80/320.89 c #Conflicts: 170000 | #Constraints: 58073
319.80/320.89 c #Conflicts: 171000 | #Constraints: 59073
319.80/320.89 c INPROCESSING
319.80/320.89 c GARBAGE COLLECT
319.80/320.89 c #Conflicts: 172000 | #Constraints: 51872
319.80/320.89 c #Conflicts: 173000 | #Constraints: 52872
319.80/320.89 c #Conflicts: 174000 | #Constraints: 53872
319.80/320.89 c #Conflicts: 175000 | #Constraints: 54872
319.80/320.89 c #Conflicts: 176000 | #Constraints: 55872
319.80/320.89 c #Conflicts: 177000 | #Constraints: 56872
319.80/320.89 c #Conflicts: 178000 | #Constraints: 57872
319.80/320.89 c #Conflicts: 179000 | #Constraints: 58872
319.80/320.89 c #Conflicts: 180000 | #Constraints: 59872
319.80/320.89 c INPROCESSING
319.80/320.89 c GARBAGE COLLECT
319.80/320.89 c #Conflicts: 181000 | #Constraints: 52478
319.80/320.89 c #Conflicts: 182000 | #Constraints: 53478
319.80/320.89 c #Conflicts: 183000 | #Constraints: 54478
319.80/320.89 c #Conflicts: 184000 | #Constraints: 55478
319.80/320.89 c #Conflicts: 185000 | #Constraints: 56478
319.80/320.89 c #Conflicts: 186000 | #Constraints: 57478
319.80/320.89 c #Conflicts: 187000 | #Constraints: 58478
319.80/320.89 c #Conflicts: 188000 | #Constraints: 59478
319.80/320.89 c #Conflicts: 189000 | #Constraints: 60478
319.80/320.89 c INPROCESSING
319.80/320.89 c GARBAGE COLLECT
319.80/320.89 c #Conflicts: 190000 | #Constraints: 52883
319.80/320.89 c #Conflicts: 191000 | #Constraints: 53883
319.80/320.89 c #Conflicts: 192000 | #Constraints: 54883
319.80/320.89 c #Conflicts: 193000 | #Constraints: 55883
319.80/320.89 c #Conflicts: 194000 | #Constraints: 56883
319.80/320.89 c #Conflicts: 195000 | #Constraints: 57883
319.80/320.89 c #Conflicts: 196000 | #Constraints: 58883
319.80/320.89 c #Conflicts: 197000 | #Constraints: 59883
319.80/320.89 c #Conflicts: 198000 | #Constraints: 60883
319.80/320.89 c INPROCESSING
319.80/320.89 c GARBAGE COLLECT
319.80/320.89 c #Conflicts: 199000 | #Constraints: 53085
319.80/320.89 c #Conflicts: 200000 | #Constraints: 54085
319.80/320.89 c #Conflicts: 201000 | #Constraints: 55085
319.80/320.89 c #Conflicts: 202000 | #Constraints: 56085
319.80/320.89 c #Conflicts: 203000 | #Constraints: 57085
319.80/320.89 c #Conflicts: 204000 | #Constraints: 58085
319.80/320.89 c #Conflicts: 205000 | #Constraints: 59085
319.80/320.89 c #Conflicts: 206000 | #Constraints: 60085
319.80/320.89 c #Conflicts: 207000 | #Constraints: 61085
319.80/320.89 c INPROCESSING
319.80/320.89 c GARBAGE COLLECT
319.80/320.89 c #Conflicts: 208000 | #Constraints: 53111
319.80/320.89 c #Conflicts: 209000 | #Constraints: 54111
319.80/320.89 c #Conflicts: 210000 | #Constraints: 55111
319.80/320.89 c #Conflicts: 211000 | #Constraints: 56111
319.80/320.89 c #Conflicts: 212000 | #Constraints: 57111
319.80/320.89 c #Conflicts: 213000 | #Constraints: 58111
319.80/320.89 c #Conflicts: 214000 | #Constraints: 59111
319.80/320.89 c #Conflicts: 215000 | #Constraints: 60111
332.56/333.64 c #Conflicts: 216000 | #Constraints: 61111
332.56/333.64 c INPROCESSING
332.56/333.64 c GARBAGE COLLECT
332.56/333.64 c #Conflicts: 217000 | #Constraints: 52917
332.56/333.64 c #Conflicts: 218000 | #Constraints: 53917
332.56/333.64 c #Conflicts: 219000 | #Constraints: 54917
332.56/333.64 c #Conflicts: 220000 | #Constraints: 55917
332.56/333.64 c #Conflicts: 221000 | #Constraints: 56917
332.56/333.64 c #Conflicts: 222000 | #Constraints: 57917
332.56/333.64 c #Conflicts: 223000 | #Constraints: 58917
332.56/333.64 c #Conflicts: 224000 | #Constraints: 59917
332.56/333.64 c #Conflicts: 225000 | #Constraints: 60917
332.56/333.64 c #Conflicts: 226000 | #Constraints: 61917
332.56/333.64 c INPROCESSING
332.56/333.64 c GARBAGE COLLECT
332.56/333.64 c #Conflicts: 227000 | #Constraints: 53523
332.56/333.64 c #Conflicts: 228000 | #Constraints: 54523
332.56/333.64 c #Conflicts: 229000 | #Constraints: 55523
332.56/333.64 c #Conflicts: 230000 | #Constraints: 56523
332.56/333.64 c #Conflicts: 231000 | #Constraints: 57523
332.56/333.64 c #Conflicts: 232000 | #Constraints: 58523
332.56/333.64 c #Conflicts: 233000 | #Constraints: 59523
332.56/333.64 c #Conflicts: 234000 | #Constraints: 60523
332.56/333.64 c #Conflicts: 235000 | #Constraints: 61523
332.56/333.64 c #Conflicts: 236000 | #Constraints: 62523
332.56/333.64 c INPROCESSING
332.56/333.64 c GARBAGE COLLECT
332.56/333.64 c #Conflicts: 237000 | #Constraints: 53925
332.56/333.64 c #Conflicts: 238000 | #Constraints: 54925
332.56/333.64 c #Conflicts: 239000 | #Constraints: 55925
332.56/333.64 c #Conflicts: 240000 | #Constraints: 56925
332.56/333.64 c #Conflicts: 241000 | #Constraints: 57925
332.56/333.64 c #Conflicts: 242000 | #Constraints: 58925
332.56/333.64 c #Conflicts: 243000 | #Constraints: 59925
332.56/333.64 c #Conflicts: 244000 | #Constraints: 60925
332.56/333.64 c #Conflicts: 245000 | #Constraints: 61925
332.56/333.64 c #Conflicts: 246000 | #Constraints: 62925
332.56/333.64 c INPROCESSING
332.56/333.64 c GARBAGE COLLECT
332.56/333.64 c #Conflicts: 247000 | #Constraints: 54130
332.56/333.64 c #Conflicts: 248000 | #Constraints: 55130
332.56/333.64 c #Conflicts: 249000 | #Constraints: 56130
332.56/333.64 c #Conflicts: 250000 | #Constraints: 57130
332.56/333.64 c #Conflicts: 251000 | #Constraints: 58130
332.56/333.64 c #Conflicts: 252000 | #Constraints: 59130
332.56/333.64 c #Conflicts: 253000 | #Constraints: 60130
332.56/333.64 c #Conflicts: 254000 | #Constraints: 61130
332.56/333.64 c #Conflicts: 255000 | #Constraints: 62130
332.56/333.64 c #Conflicts: 256000 | #Constraints: 63130
332.56/333.64 c INPROCESSING
332.56/333.64 c GARBAGE COLLECT
332.56/333.64 c #Conflicts: 257000 | #Constraints: 54125
332.56/333.64 c #Conflicts: 258000 | #Constraints: 55125
332.56/333.64 c #Conflicts: 259000 | #Constraints: 56125
332.56/333.64 c #Conflicts: 260000 | #Constraints: 57125
332.56/333.64 c #Conflicts: 261000 | #Constraints: 58125
332.56/333.64 c #Conflicts: 262000 | #Constraints: 59125
332.56/333.64 c #Conflicts: 263000 | #Constraints: 60125
332.56/333.64 c #Conflicts: 264000 | #Constraints: 61125
332.56/333.64 c #Conflicts: 265000 | #Constraints: 62125
332.56/333.64 c #Conflicts: 266000 | #Constraints: 63125
332.56/333.64 c INPROCESSING
332.56/333.64 c GARBAGE COLLECT
332.56/333.64 c #Conflicts: 267000 | #Constraints: 53948
332.56/333.64 c #Conflicts: 268000 | #Constraints: 54948
332.56/333.64 c #Conflicts: 269000 | #Constraints: 55948
332.56/333.64 c #Conflicts: 270000 | #Constraints: 56948
332.56/333.64 c #Conflicts: 271000 | #Constraints: 57948
332.56/333.64 c #Conflicts: 272000 | #Constraints: 58948
332.56/333.64 c #Conflicts: 273000 | #Constraints: 59948
332.56/333.64 c #Conflicts: 274000 | #Constraints: 60948
332.56/333.64 c #Conflicts: 275000 | #Constraints: 61948
332.56/333.64 c #Conflicts: 276000 | #Constraints: 62948
332.56/333.64 c #Conflicts: 277000 | #Constraints: 63948
332.56/333.64 c INPROCESSING
332.56/333.64 c GARBAGE COLLECT
332.56/333.64 c #Conflicts: 278000 | #Constraints: 54543
332.56/333.64 c #Conflicts: 279000 | #Constraints: 55543
332.56/333.64 c #Conflicts: 280000 | #Constraints: 56543
332.56/333.64 c #Conflicts: 281000 | #Constraints: 57543
332.56/333.64 c #Conflicts: 282000 | #Constraints: 58543
332.56/333.64 c #Conflicts: 283000 | #Constraints: 59543
332.56/333.64 c #Conflicts: 284000 | #Constraints: 60543
332.56/333.64 c #Conflicts: 285000 | #Constraints: 61543
332.56/333.64 c #Conflicts: 286000 | #Constraints: 62543
332.56/333.64 c #Conflicts: 287000 | #Constraints: 63543
332.56/333.64 c #Conflicts: 288000 | #Constraints: 64543
332.56/333.64 c INPROCESSING
332.56/333.64 c GARBAGE COLLECT
332.56/333.64 c #Conflicts: 289000 | #Constraints: 54954
339.24/340.33 c #Conflicts: 290000 | #Constraints: 55954
339.24/340.33 c #Conflicts: 291000 | #Constraints: 56954
339.24/340.33 c #Conflicts: 292000 | #Constraints: 57954
339.24/340.33 c #Conflicts: 293000 | #Constraints: 58954
339.24/340.33 c #Conflicts: 294000 | #Constraints: 59954
339.24/340.33 c #Conflicts: 295000 | #Constraints: 60954
339.24/340.33 c #Conflicts: 296000 | #Constraints: 61954
339.24/340.33 c #Conflicts: 297000 | #Constraints: 62954
339.24/340.33 c #Conflicts: 298000 | #Constraints: 63954
339.24/340.33 c #Conflicts: 299000 | #Constraints: 64954
339.24/340.33 c INPROCESSING
339.24/340.33 c GARBAGE COLLECT
339.24/340.33 c #Conflicts: 300000 | #Constraints: 55158
339.24/340.33 c #Conflicts: 301000 | #Constraints: 56158
339.24/340.33 c #Conflicts: 302000 | #Constraints: 57158
339.24/340.33 c #Conflicts: 303000 | #Constraints: 58158
339.24/340.33 c #Conflicts: 304000 | #Constraints: 59158
339.24/340.33 c #Conflicts: 305000 | #Constraints: 60158
339.24/340.33 c #Conflicts: 306000 | #Constraints: 61158
339.24/340.33 c #Conflicts: 307000 | #Constraints: 62158
339.24/340.33 c #Conflicts: 308000 | #Constraints: 63158
339.24/340.33 c #Conflicts: 309000 | #Constraints: 64158
339.24/340.33 c #Conflicts: 310000 | #Constraints: 65158
339.24/340.33 c INPROCESSING
339.24/340.33 c GARBAGE COLLECT
339.24/340.33 c #Conflicts: 311000 | #Constraints: 55173
339.24/340.33 c #Conflicts: 312000 | #Constraints: 56173
339.24/340.33 c #Conflicts: 313000 | #Constraints: 57173
339.24/340.33 c #Conflicts: 314000 | #Constraints: 58173
339.24/340.33 c #Conflicts: 315000 | #Constraints: 59173
339.24/340.33 c #Conflicts: 316000 | #Constraints: 60173
339.24/340.33 c #Conflicts: 317000 | #Constraints: 61173
339.24/340.33 c bounds - >= 4 @ 337.727
339.24/340.33 c finalizing WCE round: reformulating cores
376.95/378.19 c #Conflicts: 318000 | #Constraints: 62177
376.95/378.19 c bounds 338 >= 4 @ 337.868
376.95/378.19 c #Conflicts: 319000 | #Constraints: 63177
376.95/378.19 c #Conflicts: 320000 | #Constraints: 64177
376.95/378.19 c #Conflicts: 321000 | #Constraints: 65177
376.95/378.19 c INPROCESSING
376.95/378.19 c GARBAGE COLLECT
376.95/378.19 c #Conflicts: 322000 | #Constraints: 54951
376.95/378.19 c #Conflicts: 323000 | #Constraints: 55951
376.95/378.19 c #Conflicts: 324000 | #Constraints: 56951
376.95/378.19 c #Conflicts: 325000 | #Constraints: 57951
376.95/378.19 c #Conflicts: 326000 | #Constraints: 58951
376.95/378.19 c #Conflicts: 327000 | #Constraints: 59951
376.95/378.19 c #Conflicts: 328000 | #Constraints: 60951
376.95/378.19 c #Conflicts: 329000 | #Constraints: 61951
376.95/378.19 c #Conflicts: 330000 | #Constraints: 62951
376.95/378.19 c #Conflicts: 331000 | #Constraints: 63951
376.95/378.19 c #Conflicts: 332000 | #Constraints: 64951
376.95/378.19 c #Conflicts: 333000 | #Constraints: 65951
376.95/378.19 c INPROCESSING
376.95/378.19 c GARBAGE COLLECT
376.95/378.19 c #Conflicts: 334000 | #Constraints: 55552
376.95/378.19 c #Conflicts: 335000 | #Constraints: 56552
376.95/378.19 c #Conflicts: 336000 | #Constraints: 57552
376.95/378.19 c #Conflicts: 337000 | #Constraints: 58552
376.95/378.19 c #Conflicts: 338000 | #Constraints: 59552
376.95/378.19 c #Conflicts: 339000 | #Constraints: 60552
376.95/378.19 c #Conflicts: 340000 | #Constraints: 61552
376.95/378.19 c #Conflicts: 341000 | #Constraints: 62552
376.95/378.19 c #Conflicts: 342000 | #Constraints: 63552
376.95/378.19 c #Conflicts: 343000 | #Constraints: 64552
376.95/378.19 c #Conflicts: 344000 | #Constraints: 65552
376.95/378.19 c #Conflicts: 345000 | #Constraints: 66552
376.95/378.19 c INPROCESSING
376.95/378.19 c GARBAGE COLLECT
376.95/378.19 c #Conflicts: 346000 | #Constraints: 55918
376.95/378.19 c #Conflicts: 347000 | #Constraints: 56918
376.95/378.19 c #Conflicts: 348000 | #Constraints: 57918
376.95/378.19 c #Conflicts: 349000 | #Constraints: 58918
376.95/378.19 c #Conflicts: 350000 | #Constraints: 59918
376.95/378.19 c #Conflicts: 351000 | #Constraints: 60918
376.95/378.19 c #Conflicts: 352000 | #Constraints: 61918
376.95/378.19 c #Conflicts: 353000 | #Constraints: 62918
376.95/378.19 c #Conflicts: 354000 | #Constraints: 63918
376.95/378.19 c #Conflicts: 355000 | #Constraints: 64918
376.95/378.19 c #Conflicts: 356000 | #Constraints: 65918
376.95/378.19 c #Conflicts: 357000 | #Constraints: 66918
376.95/378.19 c INPROCESSING
376.95/378.19 c GARBAGE COLLECT
376.95/378.19 c #Conflicts: 358000 | #Constraints: 56122
376.95/378.19 c #Conflicts: 359000 | #Constraints: 57122
376.95/378.19 c #Conflicts: 360000 | #Constraints: 58122
376.95/378.19 c #Conflicts: 361000 | #Constraints: 59122
376.95/378.19 c #Conflicts: 362000 | #Constraints: 60122
376.95/378.19 c #Conflicts: 363000 | #Constraints: 61122
376.95/378.19 c #Conflicts: 364000 | #Constraints: 62122
376.95/378.19 c #Conflicts: 365000 | #Constraints: 63122
376.95/378.19 c #Conflicts: 366000 | #Constraints: 64122
376.95/378.19 c #Conflicts: 367000 | #Constraints: 65122
376.95/378.19 c #Conflicts: 368000 | #Constraints: 66122
376.95/378.19 c #Conflicts: 369000 | #Constraints: 67122
376.95/378.19 c INPROCESSING
376.95/378.19 c GARBAGE COLLECT
376.95/378.19 c #Conflicts: 370000 | #Constraints: 56095
376.95/378.19 c #Conflicts: 371000 | #Constraints: 57095
376.95/378.19 c #Conflicts: 372000 | #Constraints: 58095
376.95/378.19 c #Conflicts: 373000 | #Constraints: 59095
376.95/378.19 c #Conflicts: 374000 | #Constraints: 60095
376.95/378.19 c #Conflicts: 375000 | #Constraints: 61095
376.95/378.19 c #Conflicts: 376000 | #Constraints: 62095
376.95/378.19 c #Conflicts: 377000 | #Constraints: 63095
376.95/378.19 c #Conflicts: 378000 | #Constraints: 64095
376.95/378.19 c #Conflicts: 379000 | #Constraints: 65095
376.95/378.19 c #Conflicts: 380000 | #Constraints: 66095
376.95/378.19 c #Conflicts: 381000 | #Constraints: 67095
376.95/378.19 c INPROCESSING
376.95/378.19 c GARBAGE COLLECT
376.95/378.19 c #Conflicts: 382000 | #Constraints: 55909
376.95/378.19 c #Conflicts: 383000 | #Constraints: 56909
376.95/378.19 c #Conflicts: 384000 | #Constraints: 57909
376.95/378.19 c #Conflicts: 385000 | #Constraints: 58909
376.95/378.19 c #Conflicts: 386000 | #Constraints: 59909
376.95/378.19 c #Conflicts: 387000 | #Constraints: 60909
376.95/378.19 c #Conflicts: 388000 | #Constraints: 61909
376.95/378.19 c #Conflicts: 389000 | #Constraints: 62909
376.95/378.19 c #Conflicts: 390000 | #Constraints: 63909
376.95/378.19 c #Conflicts: 391000 | #Constraints: 64909
376.95/378.19 c #Conflicts: 392000 | #Constraints: 65909
1347.69/1351.72 c #Conflicts: 393000 | #Constraints: 66909
1347.69/1351.72 c #Conflicts: 394000 | #Constraints: 67909
1347.69/1351.72 c INPROCESSING
1347.69/1351.72 c GARBAGE COLLECT
1347.69/1351.72 c #Conflicts: 395000 | #Constraints: 56539
1347.69/1351.72 c #Conflicts: 396000 | #Constraints: 57539
1347.69/1351.72 c #Conflicts: 397000 | #Constraints: 58539
1347.69/1351.72 c #Conflicts: 398000 | #Constraints: 59539
1347.69/1351.72 c #Conflicts: 399000 | #Constraints: 60539
1347.69/1351.72 c #Conflicts: 400000 | #Constraints: 61539
1347.69/1351.72 c #Conflicts: 401000 | #Constraints: 62539
1347.69/1351.72 c #Conflicts: 402000 | #Constraints: 63539
1347.69/1351.72 c #Conflicts: 403000 | #Constraints: 64539
1347.69/1351.72 c #Conflicts: 404000 | #Constraints: 65539
1347.69/1351.72 c #Conflicts: 405000 | #Constraints: 66539
1347.69/1351.72 c #Conflicts: 406000 | #Constraints: 67539
1347.69/1351.72 c #Conflicts: 407000 | #Constraints: 68539
1347.69/1351.72 c INPROCESSING
1347.69/1351.72 c GARBAGE COLLECT
1347.69/1351.72 c #Conflicts: 408000 | #Constraints: 56949
1347.69/1351.72 c #Conflicts: 409000 | #Constraints: 57949
1347.69/1351.72 c #Conflicts: 410000 | #Constraints: 58949
1347.69/1351.72 c #Conflicts: 411000 | #Constraints: 59949
1347.69/1351.72 c #Conflicts: 412000 | #Constraints: 60949
1347.69/1351.72 c #Conflicts: 413000 | #Constraints: 61949
1347.69/1351.72 c #Conflicts: 414000 | #Constraints: 62949
1347.69/1351.72 c #Conflicts: 415000 | #Constraints: 63949
1347.69/1351.72 c #Conflicts: 416000 | #Constraints: 64949
1347.69/1351.72 c #Conflicts: 417000 | #Constraints: 65949
1347.69/1351.72 c #Conflicts: 418000 | #Constraints: 66949
1347.69/1351.72 c #Conflicts: 419000 | #Constraints: 67949
1347.69/1351.72 c #Conflicts: 420000 | #Constraints: 68949
1347.69/1351.72 c #Conflicts: 421000 | #Constraints: 69949
1347.69/1351.72 c #Conflicts: 422000 | #Constraints: 70949
1347.69/1351.72 c #Conflicts: 423000 | #Constraints: 71949
1347.69/1351.72 c #Conflicts: 424000 | #Constraints: 72949
1347.69/1351.72 c #Conflicts: 425000 | #Constraints: 73949
1347.69/1351.72 c #Conflicts: 426000 | #Constraints: 74949
1347.69/1351.72 c #Conflicts: 427000 | #Constraints: 75949
1347.69/1351.72 c #Conflicts: 428000 | #Constraints: 76949
1347.69/1351.72 c #Conflicts: 429000 | #Constraints: 77949
1347.69/1351.72 c #Conflicts: 430000 | #Constraints: 78949
1347.69/1351.72 c #Conflicts: 431000 | #Constraints: 79949
1347.69/1351.72 c #Conflicts: 432000 | #Constraints: 80949
1347.69/1351.72 c #Conflicts: 433000 | #Constraints: 81949
1347.69/1351.72 c #Conflicts: 434000 | #Constraints: 82949
1347.69/1351.72 c #Conflicts: 435000 | #Constraints: 83949
1347.69/1351.72 c #Conflicts: 436000 | #Constraints: 84949
1347.69/1351.72 c #Conflicts: 437000 | #Constraints: 85949
1347.69/1351.72 c #Conflicts: 438000 | #Constraints: 86949
1347.69/1351.72 c #Conflicts: 439000 | #Constraints: 87949
1347.69/1351.72 c #Conflicts: 440000 | #Constraints: 88949
1347.69/1351.72 c #Conflicts: 441000 | #Constraints: 89949
1347.69/1351.72 c #Conflicts: 442000 | #Constraints: 90949
1347.69/1351.72 c #Conflicts: 443000 | #Constraints: 91949
1347.69/1351.72 c #Conflicts: 444000 | #Constraints: 92949
1347.69/1351.72 c #Conflicts: 445000 | #Constraints: 93949
1347.69/1351.72 c #Conflicts: 446000 | #Constraints: 94949
1347.69/1351.72 c #Conflicts: 447000 | #Constraints: 95949
1347.69/1351.72 c #Conflicts: 448000 | #Constraints: 96949
1347.69/1351.72 c #Conflicts: 449000 | #Constraints: 97949
1347.69/1351.72 c #Conflicts: 450000 | #Constraints: 98949
1347.69/1351.72 c #Conflicts: 451000 | #Constraints: 99949
1347.69/1351.72 c #Conflicts: 452000 | #Constraints: 100949
1347.69/1351.72 c #Conflicts: 453000 | #Constraints: 101949
1347.69/1351.72 c #Conflicts: 454000 | #Constraints: 102949
1347.69/1351.72 c #Conflicts: 455000 | #Constraints: 103949
1347.69/1351.72 c #Conflicts: 456000 | #Constraints: 104949
1347.69/1351.72 c #Conflicts: 457000 | #Constraints: 105949
1347.69/1351.72 c #Conflicts: 458000 | #Constraints: 106949
1347.69/1351.72 c #Conflicts: 459000 | #Constraints: 107949
1347.69/1351.72 c #Conflicts: 460000 | #Constraints: 108949
1347.69/1351.72 c #Conflicts: 461000 | #Constraints: 109949
1347.69/1351.72 c #Conflicts: 462000 | #Constraints: 110949
1347.69/1351.72 c #Conflicts: 463000 | #Constraints: 111949
1347.69/1351.72 c #Conflicts: 464000 | #Constraints: 112949
1347.69/1351.72 c #Conflicts: 465000 | #Constraints: 113949
1347.69/1351.72 c #Conflicts: 466000 | #Constraints: 114949
1347.69/1351.72 c #Conflicts: 467000 | #Constraints: 115949
1347.69/1351.72 c #Conflicts: 468000 | #Constraints: 116949
1347.69/1351.72 c #Conflicts: 469000 | #Constraints: 117949
3492.49/3503.10 c #Conflicts: 470000 | #Constraints: 118949
3492.49/3503.10 c INPROCESSING
3492.49/3503.10 c GARBAGE COLLECT
3492.49/3503.10 c #Conflicts: 471000 | #Constraints: 81976
3492.49/3503.10 c #Conflicts: 472000 | #Constraints: 82976
3492.49/3503.10 c #Conflicts: 473000 | #Constraints: 83976
3492.49/3503.10 c #Conflicts: 474000 | #Constraints: 84976
3492.49/3503.10 c #Conflicts: 475000 | #Constraints: 85976
3492.49/3503.10 c #Conflicts: 476000 | #Constraints: 86976
3492.49/3503.10 c #Conflicts: 477000 | #Constraints: 87976
3492.49/3503.10 c #Conflicts: 478000 | #Constraints: 88976
3492.49/3503.10 c #Conflicts: 479000 | #Constraints: 89976
3492.49/3503.10 c #Conflicts: 480000 | #Constraints: 90976
3492.49/3503.10 c #Conflicts: 481000 | #Constraints: 91976
3492.49/3503.10 c #Conflicts: 482000 | #Constraints: 92976
3492.49/3503.10 c #Conflicts: 483000 | #Constraints: 93976
3492.49/3503.10 c #Conflicts: 484000 | #Constraints: 94976
3492.49/3503.10 c INPROCESSING
3492.49/3503.10 c GARBAGE COLLECT
3492.49/3503.10 c #Conflicts: 485000 | #Constraints: 69974
3492.49/3503.10 c #Conflicts: 486000 | #Constraints: 70974
3492.49/3503.10 c #Conflicts: 487000 | #Constraints: 71974
3492.49/3503.10 c #Conflicts: 488000 | #Constraints: 72974
3492.49/3503.10 c #Conflicts: 489000 | #Constraints: 73974
3492.49/3503.10 c #Conflicts: 490000 | #Constraints: 74974
3492.49/3503.10 c #Conflicts: 491000 | #Constraints: 75974
3492.49/3503.10 c #Conflicts: 492000 | #Constraints: 76974
3492.49/3503.10 c #Conflicts: 493000 | #Constraints: 77974
3492.49/3503.10 c #Conflicts: 494000 | #Constraints: 78974
3492.49/3503.10 c #Conflicts: 495000 | #Constraints: 79974
3492.49/3503.10 c #Conflicts: 496000 | #Constraints: 80974
3492.49/3503.10 c #Conflicts: 497000 | #Constraints: 81974
3492.49/3503.10 c #Conflicts: 498000 | #Constraints: 82974
3492.49/3503.10 c INPROCESSING
3492.49/3503.10 c GARBAGE COLLECT
3492.49/3503.10 c #Conflicts: 499000 | #Constraints: 63782
3492.49/3503.10 c #Conflicts: 500000 | #Constraints: 64782
3492.49/3503.10 c #Conflicts: 501000 | #Constraints: 65782
3492.49/3503.10 c #Conflicts: 502000 | #Constraints: 66782
3492.49/3503.10 c #Conflicts: 503000 | #Constraints: 67782
3492.49/3503.10 c #Conflicts: 504000 | #Constraints: 68782
3492.49/3503.10 c #Conflicts: 505000 | #Constraints: 69782
3492.49/3503.10 c #Conflicts: 506000 | #Constraints: 70782
3492.49/3503.10 c #Conflicts: 507000 | #Constraints: 71782
3492.49/3503.10 c #Conflicts: 508000 | #Constraints: 72782
3492.49/3503.10 c #Conflicts: 509000 | #Constraints: 73782
3492.49/3503.10 c #Conflicts: 510000 | #Constraints: 74782
3492.49/3503.10 c #Conflicts: 511000 | #Constraints: 75782
3492.49/3503.10 c #Conflicts: 512000 | #Constraints: 76782
3492.49/3503.10 c #Conflicts: 513000 | #Constraints: 77782
3492.49/3503.10 c #Conflicts: 514000 | #Constraints: 78782
3492.49/3503.10 c #Conflicts: 515000 | #Constraints: 79782
3492.49/3503.10 c #Conflicts: 516000 | #Constraints: 80782
3492.49/3503.10 c #Conflicts: 517000 | #Constraints: 81782
3492.49/3503.10 c #Conflicts: 518000 | #Constraints: 82782
3492.49/3503.10 c #Conflicts: 519000 | #Constraints: 83782
3492.49/3503.10 c #Conflicts: 520000 | #Constraints: 84782
3492.49/3503.10 c #Conflicts: 521000 | #Constraints: 85782
3492.49/3503.10 c #Conflicts: 522000 | #Constraints: 86782
3492.49/3503.10 c #Conflicts: 523000 | #Constraints: 87782
3492.49/3503.10 c #Conflicts: 524000 | #Constraints: 88782
3492.49/3503.10 c #Conflicts: 525000 | #Constraints: 89782
3492.49/3503.10 c #Conflicts: 526000 | #Constraints: 90782
3492.49/3503.10 c #Conflicts: 527000 | #Constraints: 91782
3492.49/3503.10 c #Conflicts: 528000 | #Constraints: 92782
3492.49/3503.10 c #Conflicts: 529000 | #Constraints: 93782
3492.49/3503.10 c #Conflicts: 530000 | #Constraints: 94782
3492.49/3503.10 c #Conflicts: 531000 | #Constraints: 95782
3492.49/3503.10 c #Conflicts: 532000 | #Constraints: 96782
3492.49/3503.10 c #Conflicts: 533000 | #Constraints: 97782
3492.49/3503.10 c #Conflicts: 534000 | #Constraints: 98782
3492.49/3503.10 c #Conflicts: 535000 | #Constraints: 99782
3492.49/3503.10 c #Conflicts: 536000 | #Constraints: 100782
3492.49/3503.10 c #Conflicts: 537000 | #Constraints: 101782
3492.49/3503.10 c #Conflicts: 538000 | #Constraints: 102782
3492.49/3503.10 c #Conflicts: 539000 | #Constraints: 103782
3492.49/3503.10 c #Conflicts: 540000 | #Constraints: 104782
3492.49/3503.10 c #Conflicts: 541000 | #Constraints: 105782
3492.49/3503.10 c #Conflicts: 542000 | #Constraints: 106782
3492.49/3503.10 c #Conflicts: 543000 | #Constraints: 107782
3492.49/3503.10 c #Conflicts: 544000 | #Constraints: 108782
3492.49/3503.10 c #Conflicts: 545000 | #Constraints: 109782
3492.49/3503.10 c #Conflicts: 546000 | #Constraints: 110782
3600.04/3610.90 c #Conflicts: 547000 | #Constraints: 111782
3600.04/3610.90 c #Conflicts: 548000 | #Constraints: 112782
3600.04/3610.90 c Program interrupted by user.
3600.04/3610.90 c cpu time 3593.07 s
3600.04/3610.90 c deterministic time 198913748342 1.99e+11
3600.04/3610.90 c optimization time 1659.53 s
3600.04/3610.90 c total solve time 1633.76 s
3600.04/3610.90 c core-guided solve time 1633.76 s
3600.04/3610.90 c propagation time 2929.28 s
3600.04/3610.90 c conflict analysis time 350.306 s
3600.04/3610.90 c propagations 123667423
3600.04/3610.90 c resolve steps 10249812
3600.04/3610.90 c decisions 4294364
3600.04/3610.90 c conflicts 548818
3600.04/3610.90 c restarts 1148
3600.04/3610.90 c inprocessing phases 58
3600.04/3610.90 c input clauses 20670
3600.04/3610.90 c input cardinalities 801
3600.04/3610.90 c input general constraints 21603
3600.04/3610.90 c input average constraint length 7.30
3600.04/3610.90 c input average constraint degree 5.30
3600.04/3610.90 c learned clauses 459941
3600.04/3610.90 c learned cardinalities 10316
3600.04/3610.90 c learned general constraints 78560
3600.04/3610.90 c learned average constraint length 176.35
3600.04/3610.90 c learned average constraint degree 778368.72
3600.04/3610.90 c watched constraints 73616
3600.04/3610.90 c counting constraints 26547
3600.04/3610.90 c gcd simplifications 931
3600.04/3610.90 c detected cardinalities 9
3600.04/3610.90 c weakened non-implied lits 13361137
3600.04/3610.90 c weakened non-implying lits 3357
3600.04/3610.90 c original variables 2700
3600.04/3610.90 c clausal propagations 56897566
3600.04/3610.90 c cardinality propagations 54311731
3600.04/3610.90 c watched propagations 5554909
3600.04/3610.90 c counting propagations 6350664
3600.04/3610.90 c watch lookups 58762942295
3600.04/3610.90 c watch backjump lookups 56498050525
3600.04/3610.90 c watch checks 69347192861
3600.04/3610.90 c propagation checks 13696909980
3600.04/3610.90 c constraint additions 352181283
3600.04/3610.90 c trail pops 128509610
3600.04/3610.90 c formula constraints 43070
3600.04/3610.90 c learned constraints 548817
3600.04/3610.90 c bound constraints 2
3600.04/3610.90 c core-guided constraints 2
3600.04/3610.90 c encountered formula constraints 5032537
3600.04/3610.90 c encountered learned constraints 5757293
3600.04/3610.90 c encountered bound constraints 0
3600.04/3610.90 c encountered core-guided constraints 8800
3600.04/3610.90 c LP total time 0 s
3600.04/3610.90 c LP solve time 0 s
3600.04/3610.90 c LP constraints added 0
3600.04/3610.90 c LP constraints removed 0
3600.04/3610.90 c LP pivots internal 0
3600.04/3610.90 c LP pivots root 0
3600.04/3610.90 c LP calls 0
3600.04/3610.90 c LP optimalities 0
3600.04/3610.90 c LP no pivot count 0
3600.04/3610.90 c LP infeasibilities 0
3600.04/3610.90 c LP valid Farkas constraints 0
3600.04/3610.90 c LP learned Farkas constraints 0
3600.04/3610.90 c LP basis resets 0
3600.04/3610.90 c LP cycling count 0
3600.04/3610.90 c LP singular count 0
3600.04/3610.90 c LP no primal count 0
3600.04/3610.90 c LP no farkas count 0
3600.04/3610.90 c LP other issue count 0
3600.04/3610.90 c LP Gomory cuts 0
3600.04/3610.90 c LP learned cuts 0
3600.04/3610.90 c LP deleted cuts 0
3600.04/3610.90 c LP encountered Gomory constraints 0
3600.04/3610.90 c LP encountered Farkas constraints 0
3600.04/3610.90 c LP encountered learned Farkas constraints 0
3600.04/3610.90 c CG auxiliary variables introduced 1
3600.04/3610.90 c CG solutions found 1
3600.04/3610.90 c CG cores constructed 1
3600.04/3610.90 c CG core cardinality constraints returned 0
3600.04/3610.90 c CG unit cores 0
3600.04/3610.90 c CG single cores 1
3600.04/3610.90 c CG blocks removed during cardinality reduction 0
3600.04/3610.90 c CG first core best 0
3600.04/3610.90 c CG decision core best 0
3600.04/3610.90 c CG core reduction tie 0
3600.04/3610.90 c CG core degree average 1.00
3600.04/3610.90 c CG core slack average 182.00
3600.04/3610.90 c CG exhausted 0
3600.04/3610.90 c CG exhaust time 0.104475 s
3600.04/3610.90 c CG trimmed 0
3600.04/3610.90 c CG trim time 0.000234 s
3600.04/3610.90 c CG minimized 0
3600.04/3610.90 c CG minimize time 0 s
3600.04/3610.90 c CG am1 prop time 0.000588 s
3600.04/3610.90 c CG # am1s reformulated 0
3600.04/3610.90 c CG lower bound derived from am1s 0
3600.04/3610.90 c CG # clausal cores 1
3600.04/3610.90 c CG # cardinality cores 0
3600.04/3610.90 c CG # pb cores 0
3600.04/3610.90 c CG # pb reforms 0
3600.04/3610.90 c CG # cores discarded because of pb reform 0
3600.04/3610.90 d LOWERBOUND 4
3600.04/3610.90 d NCORES 1
3600.04/3610.90 d NPBCORES 0
3600.04/3610.90 d NPBREFORM 0
3600.04/3610.90 d NTRIMMED 0
3600.04/3610.90 d NEXHAUSTED 0
3600.04/3610.90 d NAM1S 0
3600.04/3610.90 d AM1LB 0
3600.04/3610.90 c [STEP] postprocessing with Papilo
3600.04/3610.90 o 338
3600.04/3610.90 s SATISFIABLE
3600.04/3610.90 v x1 x2 -x3 x4 -x5 x6 -x7 x8 x9 -x10 -x11 -x12 -x13 x14 -x15 -x16 -x17 -x18 x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 x52 -x53 -x54 -x55 -x56 -x57 x58 -x59 -x60 -x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 x100 x101 x102 -x103 -x104 -x105 -x106 x107 -x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 x124 -x125 -x126 -x127 x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 x187 -x188 -x189 -x190 x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 x199 x200 x201 -x202 x203 -x204 -x205 -x206 x207 -x208 -x209 -x210 -x211 -x212 x213 -x214 -x215 -x216 -x217 -x218 x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 x248 -x249 -x250 -x251 -x252 -x253 -x254 x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 x270 -x271 -x272 x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 x287 -x288 -x289 -x290 x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 x299 x300 x301 -x302 x303 -x304 -x305 x306 -x307 -x308 -x309 -x310 x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 x350 -x351 x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 x396 -x397 x398 x399 -x400 x401 x402 -x403 x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 x412 -x413 -x414 -x415 -x416 -x417 x418 -x419 -x420 -x421 -x422 -x423 x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 x466 -x467 -x468 -x469 -x470 -x471 -x472 x473 -x474 -x475 -x476 -x477 -x478 x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 x499 x500 x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 x513 -x514 -x515 -x516 -x517 -x518 x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 x528 -x529 -x530 -x531 -x532 -x533 x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 x548 -x549 -x550 -x551 -x552 -x553 x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 x591 -x592 -x593 -x594 -x595 -x596 -x597 x598 -x599 -x600 x601 -x602 x603 x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 x619 -x620 -x621 -x622 x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 x655 -x656 -x657 -x658 -x659 x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 x691 -x692 -x693 x694 -x695 -x696 x697 x698 -x699 -x700 x701 x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 x719 -x720 -x721 -x722 -x723 -x724 -x725 x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 x755 -x756 -x757 x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 x782 -x783 -x784 -x785 -x786 -x787 x788 -x789 -x790 -x791 -x792 x793 -x794 -x795 x796 -x797 x798 -x799 x800 x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 x837 -x838 -x839 -x840 -x841 x842 -x843 -x844 -x845 -x846 -x847 -x848 x849 -x850 -x851 -x852 -x853 -x854 -x855 x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 x882 -x883 x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 x895 -x896 -x897 x898 x899 x900 -x901 -x902 -x903 -x904 x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 x933 -x934 -x935 -x936 x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 x1206 -x1207 -x1208 -x1209 -x1210 -x1211 x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 x1511 -x1512 -x1513 -x1514 -x1515 -x1516 x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 x1726 -x1727 -x1728 -x1729 -x1730 x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 x2124 -x2125 -x2126 -x2127 -x2128 -x2129 x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 x2411 -x2412 -x2413 x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 x2517 -x2518 -x2519 -x2520 -x2521 -x2522 x2523 x2524 x2525 -x2526 -x2527 x2528 x2529 x2530 -x2531 x2532 -x2533 x2534 x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 x2542 x2543 -x2544 -x2545 x2546 x2547 x2548 -x2549 -x2550 x2551 -x2552 x2553 x2554 x2555 -x2556 x2557 x2558 x2559 -x2560 -x2561 -x2562 x2563 x2564 x2565 -x2566 -x2567 -x2568 x2569 x2570 x2571 -x2572 -x2573 -x2574 x2575 -x2576 -x2577 -x2578 x2579 x2580 x2581 -x2582 -x2583 -x2584 x2585 x2586 -x2587 -x2588 -x2589 x2590 x2591 x2592 -x2593 x2594 -x2595 x2596 x2597 x2598 -x2599 -x2600 -x2601 x2602 x2603 -x2604 x2605 -x2606 -x2607 -x2608 x2609 x2610 -x2611 x2612 x2613 -x2614 -x2615 x2616 -x2617 -x2618 -x2619 x2620 x2621 x2622 -x2623 x2624 x2625 x2626 -x2627 -x2628 x2629 x2630 x2631 -x2632 -x2633 -x2634 x2635 -x2636 -x2637 x2638 -x2639 x2640 x2641 -x2642 -x2643 x2644 x2645 -x2646 x2647 x2648 x2649 -x2650 x2651 x2652 x2653 -x2654 -x2655 -x2656 x2657 -x2658 -x2659 -x2660 x2661 -x2662 -x2663 x2664 x2665 -x2666 -x2667 x2668 -x2669 x2670 -x2671 x2672 x2673 -x2674 x2675 x2676 -x2677 x2678 -x2679 -x2680 -x2681 x2682 -x2683 -x2684 -x2685 x2686 -x2687 -x2688 x2689 x2690 x2691 -x2692 -x2693 -x2694 x2695 x2696 -x2697 x2698 x2699 x2700
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: 64059 MiB (61807 MiB free)
memory of node 1: 64510 MiB (63419 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435646-1721129880/watcher-4435646-1721129880 -o /tmp/evaluation-result-4435646-1721129880/solver-4435646-1721129880 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721129892-842640 --watchdog 3760 mixed-bag HOME/instance-4435646-1721129880.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=842697, runsolver pid=842693
[startup+0.100571 s]*
/proc/loadavg: 1.02 1.39 2.56 7/242 842702
/proc/meminfo: memFree=128209300/131655788 swapFree=131071996/131071996
[pid=842697] ppid=842693 vsize=77884 memory=10336 CPUtime=0.1 cores=4,6
/proc/842697/stat : 842697 (mixed-bag) R 842693 842697 842629 0 -1 4194304 1628 0 0 0 10 0 0 0 20 0 1 0 165147599 79753216 2584 134679101440 4194304 16487941 140734587423648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 32829440 140734587425815 140734587425892 140734587425892 140734587432907 0
/proc/842697/statm: 19471 2584 1643 3002 0 3761 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 77884 KiB
Current children cumulated memory: 10336 KiB
[startup+0.214368 s]*
/proc/loadavg: 1.02 1.39 2.56 5/242 842702
/proc/meminfo: memFree=128174632/131655788 swapFree=131071996/131071996
[pid=842697] ppid=842693 vsize=79932 memory=12776 CPUtime=0.21 cores=4,6
/proc/842697/stat : 842697 (mixed-bag) R 842693 842697 842629 0 -1 4194304 2260 0 0 0 20 1 0 0 20 0 1 0 165147599 81850368 3194 134679101440 4194304 16487941 140734587423648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 32829440 140734587425815 140734587425892 140734587425892 140734587432907 0
/proc/842697/statm: 19983 3194 1643 3002 0 4273 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 79932 KiB
Current children cumulated memory: 12776 KiB
[startup+0.313047 s]*
/proc/loadavg: 1.02 1.39 2.56 5/242 842702
/proc/meminfo: memFree=128143632/131655788 swapFree=131071996/131071996
[pid=842697] ppid=842693 vsize=84028 memory=15852 CPUtime=0.31 cores=4,6
/proc/842697/stat : 842697 (mixed-bag) R 842693 842697 842629 0 -1 4194304 2541 0 0 0 30 1 0 0 20 0 1 0 165147599 86044672 3963 134679101440 4194304 16487941 140734587423648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 32829440 140734587425815 140734587425892 140734587425892 140734587432907 0
/proc/842697/statm: 21007 3963 1643 3002 0 5297 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 84028 KiB
Current children cumulated memory: 15852 KiB
[startup+0.700355 s]
/proc/loadavg: 1.02 1.39 2.56 5/242 842702
/proc/meminfo: memFree=128069312/131655788 swapFree=131071996/131071996
[pid=842697] ppid=842693 vsize=139992 memory=60280 CPUtime=0.69 cores=4,6
/proc/842697/stat : 842697 (mixed-bag) R 842693 842697 842629 0 -1 4194304 9093 0 0 0 65 4 0 0 20 0 1 0 165147599 143351808 15070 134679101440 4194304 16487941 140734587423648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 32829440 140734587425815 140734587425892 140734587425892 140734587432907 0
/proc/842697/statm: 34998 15070 1763 3002 0 18749 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 139992 KiB
Current children cumulated memory: 60280 KiB
[startup+1.50035 s]
/proc/loadavg: 1.02 1.39 2.56 5/242 842702
/proc/meminfo: memFree=127933264/131655788 swapFree=131071996/131071996
[pid=842697] ppid=842693 vsize=266180 memory=191340 CPUtime=1.48 cores=4,6
/proc/842697/stat : 842697 (mixed-bag) R 842693 842697 842629 0 -1 4194304 44027 0 0 0 135 13 0 0 20 0 1 0 165147599 272568320 47835 134679101440 4194304 16487941 140734587423648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 32829440 140734587425815 140734587425892 140734587425892 140734587432907 0
/proc/842697/statm: 66545 47835 3793 3002 0 50296 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 266180 KiB
Current children cumulated memory: 191340 KiB
[startup+3.11265 s]
/proc/loadavg: 1.02 1.39 2.56 5/236 842738
/proc/meminfo: memFree=127674164/131655788 swapFree=131071996/131071996
[pid=842697] ppid=842693 vsize=510320 memory=394580 CPUtime=3.08 cores=4,6
/proc/842697/stat : 842697 (mixed-bag) R 842693 842697 842629 0 -1 4194304 65171 0 0 0 289 19 0 0 20 0 1 0 165147599 522567680 98645 134679101440 4194304 16487941 140734587423648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 32829440 140734587425815 140734587425892 140734587425892 140734587432907 0
/proc/842697/statm: 127580 98645 3841 3002 0 111331 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 510320 KiB
Current children cumulated memory: 394580 KiB
[startup+6.3003 s]
/proc/loadavg: 1.26 1.43 2.56 5/242 842750
/proc/meminfo: memFree=127323140/131655788 swapFree=131071996/131071996
[pid=842697] ppid=842693 vsize=555108 memory=437212 CPUtime=6.26 cores=4,6
/proc/842697/stat : 842697 (mixed-bag) R 842693 842697 842629 0 -1 4194304 81942 0 0 0 604 22 0 0 20 0 1 0 165147599 568430592 109303 134679101440 4194304 16487941 140734587423648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 32829440 140734587425815 140734587425892 140734587425892 140734587432907 0
/proc/842697/statm: 138777 109303 4031 3002 0 122528 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 555108 KiB
Current children cumulated memory: 437212 KiB
[startup+12.7003 s]
/proc/loadavg: 1.48 1.48 2.57 5/242 842750
/proc/meminfo: memFree=125815896/131655788 swapFree=131071996/131071996
[pid=842697] ppid=842693 vsize=555108 memory=437692 CPUtime=12.64 cores=4,6
/proc/842697/stat : 842697 (mixed-bag) R 842693 842697 842629 0 -1 4194304 82103 0 0 0 1242 22 0 0 20 0 1 0 165147599 568430592 109423 134679101440 4194304 16487941 140734587423648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 32829440 140734587425815 140734587425892 140734587425892 140734587432907 0
/proc/842697/statm: 138777 109423 4031 3002 0 122528 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 555108 KiB
Current children cumulated memory: 437692 KiB
[startup+25.5004 s]
/proc/loadavg: 2.04 1.60 2.60 5/242 842751
/proc/meminfo: memFree=123490188/131655788 swapFree=131071996/131071996
[pid=842697] ppid=842693 vsize=555108 memory=438532 CPUtime=25.39 cores=4,6
/proc/842697/stat : 842697 (mixed-bag) R 842693 842697 842629 0 -1 4194304 82305 0 0 0 2517 22 0 0 20 0 1 0 165147599 568430592 109633 134679101440 4194304 16487941 140734587423648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 32829440 140734587425815 140734587425892 140734587425892 140734587432907 0
/proc/842697/statm: 138777 109633 4047 3002 0 122528 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 555108 KiB
Current children cumulated memory: 438532 KiB
[startup+51.1128 s]
/proc/loadavg: 2.77 1.81 2.64 5/242 842756
/proc/meminfo: memFree=122053064/131655788 swapFree=131071996/131071996
[pid=842697] ppid=842693 vsize=580080 memory=454380 CPUtime=50.92 cores=4,6
/proc/842697/stat : 842697 (mixed-bag) R 842693 842697 842629 0 -1 4194304 85235 0 0 0 5069 23 0 0 20 0 1 0 165147599 594001920 113595 134679101440 4194304 16487941 140734587423648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 32829440 140734587425815 140734587425892 140734587425892 140734587432907 0
/proc/842697/statm: 145020 113595 4047 3002 0 128771 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 580080 KiB
Current children cumulated memory: 454380 KiB
[startup+102.3 s]
/proc/loadavg: 3.51 2.17 2.72 5/242 842765
/proc/meminfo: memFree=121791004/131655788 swapFree=131071996/131071996
[pid=842697] ppid=842693 vsize=600576 memory=464232 CPUtime=101.92 cores=4,6
/proc/842697/stat : 842697 (mixed-bag) R 842693 842697 842629 0 -1 4194304 86702 0 0 0 10169 23 0 0 20 0 1 0 165147599 614989824 116058 134679101440 4194304 16487941 140734587423648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 32829440 140734587425815 140734587425892 140734587425892 140734587432907 0
/proc/842697/statm: 150144 116058 4047 3002 0 133895 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 600576 KiB
Current children cumulated memory: 464232 KiB
[startup+162.3 s]
/proc/loadavg: 3.92 2.53 2.81 5/244 842781
/proc/meminfo: memFree=121515468/131655788 swapFree=131071996/131071996
[pid=842697] ppid=842693 vsize=634576 memory=475372 CPUtime=161.72 cores=4,6
/proc/842697/stat : 842697 (mixed-bag) R 842693 842697 842629 0 -1 4194304 88990 0 0 0 16148 24 0 0 20 0 1 0 165147599 649805824 118843 134679101440 4194304 16487941 140734587423648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 32829440 140734587425815 140734587425892 140734587425892 140734587432907 0
/proc/842697/statm: 158644 118843 4047 3002 0 142395 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 634576 KiB
Current children cumulated memory: 475372 KiB
[startup+222.3 s]
/proc/loadavg: 4.02 2.82 2.89 5/244 842791
/proc/meminfo: memFree=121416728/131655788 swapFree=131071996/131071996
[pid=842697] ppid=842693 vsize=634576 memory=475452 CPUtime=221.55 cores=4,6
/proc/842697/stat : 842697 (mixed-bag) R 842693 842697 842629 0 -1 4194304 89039 0 0 0 22131 24 0 0 20 0 1 0 165147599 649805824 118863 134679101440 4194304 16487941 140734587423648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 32829440 140734587425815 140734587425892 140734587425892 140734587432907 0
/proc/842697/statm: 158644 118863 4047 3002 0 142395 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 634576 KiB
Current children cumulated memory: 475452 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 3.05 2.97 5/243 842801
/proc/meminfo: memFree=121265800/131655788 swapFree=131071996/131071996
[pid=842697] ppid=842693 vsize=692604 memory=538264 CPUtime=281.39 cores=4,6
/proc/842697/stat : 842697 (mixed-bag) R 842693 842697 842629 0 -1 4194304 103042 0 0 0 28113 26 0 0 20 0 1 0 165147599 709226496 134566 134679101440 4194304 16487941 140734587423648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 32829440 140734587425815 140734587425892 140734587425892 140734587432907 0
/proc/842697/statm: 173151 134566 4047 3002 0 156902 0
Current children cumulated CPU time: 281.39 s
Current children cumulated vsize: 692604 KiB
Current children cumulated memory: 538264 KiB
[startup+342.3 s]
/proc/loadavg: 4.26 3.29 3.06 5/244 842814
/proc/meminfo: memFree=123017108/131655788 swapFree=131071996/131071996
[pid=842697] ppid=842693 vsize=554500 memory=453024 CPUtime=341.24 cores=4,6
/proc/842697/stat : 842697 (mixed-bag) R 842693 842697 842629 0 -1 4194304 105281 0 0 0 33968 156 0 0 20 0 1 0 165147599 567808000 113256 134679101440 4194304 16487941 140734587423648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 32829440 140734587425815 140734587425892 140734587425892 140734587432907 0
/proc/842697/statm: 138625 113256 4196 3002 0 122376 0
Current children cumulated CPU time: 341.24 s
Current children cumulated vsize: 554500 KiB
Current children cumulated memory: 453024 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 3.44 3.13 5/244 842827
/proc/meminfo: memFree=121948480/131655788 swapFree=131071996/131071996
[pid=842697] ppid=842693 vsize=566176 memory=481304 CPUtime=401.07 cores=4,6
/proc/842697/stat : 842697 (mixed-bag) R 842693 842697 842629 0 -1 4194304 105685 0 0 0 39881 226 0 0 20 0 1 0 165147599 579764224 120326 134679101440 4194304 16487941 140734587423648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 32829440 140734587425815 140734587425892 140734587425892 140734587432907 0
/proc/842697/statm: 141544 120326 4212 3002 0 125295 0
Current children cumulated CPU time: 401.07 s
Current children cumulated vsize: 566176 KiB
Current children cumulated memory: 481304 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 3.55 3.19 5/244 842837
/proc/meminfo: memFree=121606908/131655788 swapFree=131071996/131071996
[pid=842697] ppid=842693 vsize=566176 memory=493592 CPUtime=460.92 cores=4,6
/proc/842697/stat : 842697 (mixed-bag) R 842693 842697 842629 0 -1 4194304 105770 0 0 0 45833 259 0 0 20 0 1 0 165147599 579764224 123398 134679101440 4194304 16487941 140734587423648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 32829440 140734587425815 140734587425892 140734587425892 140734587432907 0
/proc/842697/statm: 141544 123398 4212 3002 0 125295 0
################
# More data... #
################
Current children cumulated memory: 574836 KiB
[startup+2922.3 s]
/proc/loadavg: 4.18 4.17 4.08 5/243 844236
/proc/meminfo: memFree=113667468/131655788 swapFree=131071996/131071996
[pid=842697] ppid=842693 vsize=666052 memory=574836 CPUtime=2913.54 cores=4,6
/proc/842697/stat : 842697 (mixed-bag) R 842693 842697 842629 0 -1 4194304 112052 0 0 0 290721 633 0 0 20 0 1 0 165147599 682037248 143709 134679101440 4194304 16487941 140734587423648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 32829440 140734587425815 140734587425892 140734587425892 140734587432907 0
/proc/842697/statm: 166513 143709 4212 3002 0 150264 0
Current children cumulated CPU time: 2913.54 s
Current children cumulated vsize: 666052 KiB
Current children cumulated memory: 574836 KiB
[startup+2982.3 s]
/proc/loadavg: 4.19 4.16 4.08 5/242 844246
/proc/meminfo: memFree=113412620/131655788 swapFree=131071996/131071996
[pid=842697] ppid=842693 vsize=666052 memory=574836 CPUtime=2973.36 cores=4,6
/proc/842697/stat : 842697 (mixed-bag) R 842693 842697 842629 0 -1 4194304 112189 0 0 0 296697 639 0 0 20 0 1 0 165147599 682037248 143709 134679101440 4194304 16487941 140734587423648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 32829440 140734587425815 140734587425892 140734587425892 140734587432907 0
/proc/842697/statm: 166513 143709 4212 3002 0 150264 0
Current children cumulated CPU time: 2973.36 s
Current children cumulated vsize: 666052 KiB
Current children cumulated memory: 574836 KiB
[startup+3042.3 s]
/proc/loadavg: 4.18 4.16 4.09 5/244 844426
/proc/meminfo: memFree=113145308/131655788 swapFree=131071996/131071996
[pid=842697] ppid=842693 vsize=666052 memory=574836 CPUtime=3033.18 cores=4,6
/proc/842697/stat : 842697 (mixed-bag) R 842693 842697 842629 0 -1 4194304 112344 0 0 0 302673 645 0 0 20 0 1 0 165147599 682037248 143709 134679101440 4194304 16487941 140734587423648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 32829440 140734587425815 140734587425892 140734587425892 140734587432907 0
/proc/842697/statm: 166513 143709 4212 3002 0 150264 0
Current children cumulated CPU time: 3033.18 s
Current children cumulated vsize: 666052 KiB
Current children cumulated memory: 574836 KiB
[startup+3102.3 s]
/proc/loadavg: 4.06 4.13 4.08 5/244 844437
/proc/meminfo: memFree=113103448/131655788 swapFree=131071996/131071996
[pid=842697] ppid=842693 vsize=666052 memory=574836 CPUtime=3093 cores=4,6
/proc/842697/stat : 842697 (mixed-bag) R 842693 842697 842629 0 -1 4194304 112490 0 0 0 308650 650 0 0 20 0 1 0 165147599 682037248 143709 134679101440 4194304 16487941 140734587423648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 32829440 140734587425815 140734587425892 140734587425892 140734587432907 0
/proc/842697/statm: 166513 143709 4212 3002 0 150264 0
Current children cumulated CPU time: 3093 s
Current children cumulated vsize: 666052 KiB
Current children cumulated memory: 574836 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.14 4.09 5/243 844503
/proc/meminfo: memFree=112937428/131655788 swapFree=131071996/131071996
[pid=842697] ppid=842693 vsize=666052 memory=574836 CPUtime=3152.81 cores=4,6
/proc/842697/stat : 842697 (mixed-bag) R 842693 842697 842629 0 -1 4194304 112648 0 0 0 314626 655 0 0 20 0 1 0 165147599 682037248 143709 134679101440 4194304 16487941 140734587423648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 32829440 140734587425815 140734587425892 140734587425892 140734587432907 0
/proc/842697/statm: 166513 143709 4212 3002 0 150264 0
Current children cumulated CPU time: 3152.81 s
Current children cumulated vsize: 666052 KiB
Current children cumulated memory: 574836 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/243 844513
/proc/meminfo: memFree=112894024/131655788 swapFree=131071996/131071996
[pid=842697] ppid=842693 vsize=666052 memory=576884 CPUtime=3212.63 cores=4,6
/proc/842697/stat : 842697 (mixed-bag) R 842693 842697 842629 0 -1 4194304 112801 0 0 0 320602 661 0 0 20 0 1 0 165147599 682037248 144221 134679101440 4194304 16487941 140734587423648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 32829440 140734587425815 140734587425892 140734587425892 140734587432907 0
/proc/842697/statm: 166513 144221 4212 3002 0 150264 0
Current children cumulated CPU time: 3212.63 s
Current children cumulated vsize: 666052 KiB
Current children cumulated memory: 576884 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/243 844524
/proc/meminfo: memFree=112853460/131655788 swapFree=131071996/131071996
[pid=842697] ppid=842693 vsize=666052 memory=580980 CPUtime=3272.45 cores=4,6
/proc/842697/stat : 842697 (mixed-bag) R 842693 842697 842629 0 -1 4194304 112964 0 0 0 326579 666 0 0 20 0 1 0 165147599 682037248 145245 134679101440 4194304 16487941 140734587423648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 32829440 140734587425815 140734587425892 140734587425892 140734587432907 0
/proc/842697/statm: 166513 145245 4212 3002 0 150264 0
Current children cumulated CPU time: 3272.45 s
Current children cumulated vsize: 666052 KiB
Current children cumulated memory: 580980 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/243 844534
/proc/meminfo: memFree=112849764/131655788 swapFree=131071996/131071996
[pid=842697] ppid=842693 vsize=666052 memory=583028 CPUtime=3332.27 cores=4,6
/proc/842697/stat : 842697 (mixed-bag) R 842693 842697 842629 0 -1 4194304 113125 0 0 0 332553 674 0 0 20 0 1 0 165147599 682037248 145757 134679101440 4194304 16487941 140734587423648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 32829440 140734587425815 140734587425892 140734587425892 140734587432907 0
/proc/842697/statm: 166513 145757 4212 3002 0 150264 0
Current children cumulated CPU time: 3332.27 s
Current children cumulated vsize: 666052 KiB
Current children cumulated memory: 583028 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/242 844545
/proc/meminfo: memFree=112785828/131655788 swapFree=131071996/131071996
[pid=842697] ppid=842693 vsize=666052 memory=585076 CPUtime=3392.08 cores=4,6
/proc/842697/stat : 842697 (mixed-bag) R 842693 842697 842629 0 -1 4194304 113288 0 0 0 338529 679 0 0 20 0 1 0 165147599 682037248 146269 134679101440 4194304 16487941 140734587423648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 32829440 140734587425815 140734587425892 140734587425892 140734587432907 0
/proc/842697/statm: 166513 146269 4212 3002 0 150264 0
Current children cumulated CPU time: 3392.08 s
Current children cumulated vsize: 666052 KiB
Current children cumulated memory: 585076 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/241 844557
/proc/meminfo: memFree=112649180/131655788 swapFree=131071996/131071996
[pid=842697] ppid=842693 vsize=666052 memory=587124 CPUtime=3451.9 cores=4,6
/proc/842697/stat : 842697 (mixed-bag) R 842693 842697 842629 0 -1 4194304 113455 0 0 0 344504 686 0 0 20 0 1 0 165147599 682037248 146781 134679101440 4194304 16487941 140734587423648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 32829440 140734587425815 140734587425892 140734587425892 140734587432907 0
/proc/842697/statm: 166513 146781 4212 3002 0 150264 0
Current children cumulated CPU time: 3451.9 s
Current children cumulated vsize: 666052 KiB
Current children cumulated memory: 587124 KiB
[startup+3522.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/241 844568
/proc/meminfo: memFree=112479472/131655788 swapFree=131071996/131071996
[pid=842697] ppid=842693 vsize=666052 memory=589172 CPUtime=3511.72 cores=4,6
/proc/842697/stat : 842697 (mixed-bag) R 842693 842697 842629 0 -1 4194304 113623 0 0 0 350481 691 0 0 20 0 1 0 165147599 682037248 147293 134679101440 4194304 16487941 140734587423648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 32829440 140734587425815 140734587425892 140734587425892 140734587432907 0
/proc/842697/statm: 166513 147293 4212 3002 0 150264 0
Current children cumulated CPU time: 3511.72 s
Current children cumulated vsize: 666052 KiB
Current children cumulated memory: 589172 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/241 844578
/proc/meminfo: memFree=112389872/131655788 swapFree=131071996/131071996
[pid=842697] ppid=842693 vsize=666052 memory=593268 CPUtime=3571.53 cores=4,6
/proc/842697/stat : 842697 (mixed-bag) R 842693 842697 842629 0 -1 4194304 113799 0 0 0 356457 696 0 0 20 0 1 0 165147599 682037248 148317 134679101440 4194304 16487941 140734587423648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 32829440 140734587425815 140734587425892 140734587425892 140734587432907 0
/proc/842697/statm: 166513 148317 4212 3002 0 150264 0
Current children cumulated CPU time: 3571.53 s
Current children cumulated vsize: 666052 KiB
Current children cumulated memory: 593268 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.9 s]
/proc/loadavg: 4.10 4.10 4.09 5/241 844629
/proc/meminfo: memFree=118581156/131655788 swapFree=131071996/131071996
[pid=842697] ppid=842693 vsize=666052 memory=593268 CPUtime=3600.04 cores=4,6
/proc/842697/stat : 842697 (mixed-bag) R 842693 842697 842629 0 -1 4194304 113856 0 0 0 359306 698 0 0 20 0 1 0 165147599 682037248 148317 134679101440 4194304 16487941 140734587423648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 32829440 140734587425815 140734587425892 140734587425892 140734587432907 0
/proc/842697/statm: 166513 148317 4212 3002 0 150264 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 666052 KiB
Current children cumulated memory: 593268 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.91 s]
# the end of solver process 842697 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3593.07 s, system=6.99301 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.9 s]
/proc/loadavg: 4.10 4.10 4.09 5/241 844629
/proc/meminfo: memFree=118581156/131655788 swapFree=131071996/131071996
[pid=842697] ppid=842693 vsize=666052 memory=593268 CPUtime=3600.04 cores=4,6
/proc/842697/stat : 842697 (mixed-bag) R 842693 842697 842629 0 -1 4194304 113856 0 0 0 359306 698 0 0 20 0 1 0 165147599 682037248 148317 134679101440 4194304 16487941 140734587423648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 32829440 140734587425815 140734587425892 140734587425892 140734587432907 0
/proc/842697/statm: 166513 148317 4212 3002 0 150264 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 666052 KiB
Current children cumulated memory: 593268 KiB
Child status: 0
Real time (s): 3610.91
CPU time (s): 3600.07
CPU user time (s): 3593.07
CPU system time (s): 6.99301
CPU usage (%): 99.6998
Max. virtual memory (cumulated for all children) (KiB): 692604
Max. memory (cumulated for all children) (KiB): 593268
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.07
system time used= 6.99301
maximum resident set size= 593944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113882
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= 37
involuntary context switches= 1233
# summary of solver processes directly reported to runsolver:
# pid: 842697
# total CPU time (s): 3600.07
# total CPU user time (s): 3593.07
# total CPU system time (s): 6.99301
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.2641 second user time and 37.8625 second system time
The end
Begin job on nodeC009 at 2024-07-16 13:38:12
IDJOB=4435646
IDBENCH=155380
IDSOLVER=3066
FILE ID=nodeC009/4435646-1721129880
RUNJOBID= nodeC009-1721129892-842640
SLURM_JOB_ID= 7505696
Free space on /tmp= 723740 MiB
SOLVER NAME= mixed-bag 2024-07-02
BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-circ10-3.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435646-1721129880/watcher-4435646-1721129880 -o /tmp/evaluation-result-4435646-1721129880/solver-4435646-1721129880 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721129892-842640 --watchdog 3760 mixed-bag HOME/instance-4435646-1721129880.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= e9a18706671e83c85382be3233ac0f60
RANDOM SEED=938672012
nodeC009.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 : 0xb00001f
cpu MHz : 1197.316
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.580
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.301
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.316
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.315
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.318
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.662
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.361
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 128243620 kB
MemAvailable: 129911940 kB
Buffers: 417140 kB
Cached: 2077208 kB
SwapCached: 0 kB
Active: 724828 kB
Inactive: 2127076 kB
Active(anon): 1356 kB
Inactive(anon): 393896 kB
Active(file): 723472 kB
Inactive(file): 1733180 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 72136 kB
Writeback: 0 kB
AnonPages: 358032 kB
Mapped: 115928 kB
Shmem: 37700 kB
KReclaimable: 103396 kB
Slab: 201672 kB
SReclaimable: 103396 kB
SUnreclaim: 98276 kB
KernelStack: 3696 kB
PageTables: 9424 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 718140 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 52864 kB
HardwareCorrupted: 0 kB
AnonHugePages: 229376 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: 187208 kB
DirectMap2M: 19640320 kB
DirectMap1G: 116391936 kB
Free space on /tmp at the end= 723652 MiB
End job on nodeC009 at 2024-07-16 14:38:23