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