(1,23) (2,21) (3,20) (4,15) (5,28) (6,24) (7,25) (8,27) (10,18) (12,30) (13,29) (14,16) (17,22) (19,26) 
nodes: 55991  conflicts: 47  modelTime: 1707  solveTime: 227431  totalTime: 229158  modelSize: 72262  readTime: 19 size: 14