(1,12) (2,14) (4,25) (5,21) (6,22) (7,20) (8,15) (9,29) (11,18) (13,28) (16,30) (23,24) (26,27) 
nodes: 60176  conflicts: 61  modelTime: 1705  solveTime: 240019  totalTime: 241744  modelSize: 72277  readTime: 20 size: 13