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