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