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