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