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