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