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