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