(1,18) (2,30) (3,26) (4,23) (5,19) (6,9) (8,11) (10,21) (12,15) (13,24) (14,29) (16,28) (20,22) (25,27) 
nodes: 81904  conflicts: 29  modelTime: 1726  solveTime: 417409  totalTime: 419154  modelSize: 72269  readTime: 19 size: 14