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