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