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