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