(1,18) (2,27) (3,17) (4,6) (5,24) (7,22) (8,15) (9,16) (10,19) (11,12) (14,23) (20,25) (21,29) (26,30) 
nodes: 43577  conflicts: 63  modelTime: 1610  solveTime: 197812  totalTime: 199442  modelSize: 72272  readTime: 20 size: 14