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