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