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