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