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