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