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