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