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