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