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