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