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