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