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