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