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