(1,20) (2,18) (3,27) (4,29) (5,22) (6,19) (7,16) (8,24) (9,21) (10,30) (11,17) (13,23) (14,28) (15,25) 
nodes: 9033  conflicts: 32  modelTime: 659  solveTime: 24425  totalTime: 25090  modelSize: 41293  readTime: 6 size: 14