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