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