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