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