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