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