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