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