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