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