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