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