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