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