(1,18) (2,24) (3,27) (4,5) (6,11) (8,28) (9,19) (10,17) (12,25) (13,20) (14,21) (15,16) (22,23) (26,30) 
nodes: 42551  conflicts: 93  modelTime: 1221  solveTime: 208074  totalTime: 209314  modelSize: 72264  readTime: 19 size: 14