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