(1,16) (2,28) (3,21) (4,17) (5,15) (6,8) (7,12) (9,27) (10,18) (11,14) (13,22) (19,30) (20,25) (23,29) (24,26) 
nodes: 1518  conflicts: 35  modelTime: 1891  solveTime: 8124  totalTime: 10038  modelSize: 72265  readTime: 23 size: 15