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