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