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