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