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