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