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