(1,5) (2,4) (3,26) (6,12) (7,22) (8,14) (9,19) (10,27) (11,16) (13,23) (15,17) (18,20) (21,25) (29,30) 
nodes: 40640  conflicts: 16  modelTime: 1705  solveTime: 209302  totalTime: 211026  modelSize: 72285  readTime: 18 size: 14