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