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