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