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