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