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