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