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