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