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