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