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