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