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