(1,24) (2,30) (3,29) (4,18) (5,28) (6,17) (7,21) (8,22) (9,23) (10,25) (11,26) (12,16) (13,27) (14,20) (15,19) 
nodes: 9793  conflicts: 32  modelTime: 662  solveTime: 20888  totalTime: 21599  modelSize: 41293  readTime: 49 size: 15