(1,8) (2,21) (3,20) (4,16) (5,14) (6,29) (7,26) (9,11) (10,28) (12,19) (13,22) (15,27) (17,23) (18,25) (24,30) 
nodes: 1722423  conflicts: 24  modelTime: 1135  solveTime: 8490232  totalTime: 8491385  modelSize: 72275  readTime: 18 size: 15