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