(1,21) (2,23) (3,7) (4,13) (5,24) (6,12) (9,18) (10,25) (11,17) (15,19) (16,27) (20,30) (22,28) (26,29) 
nodes: 61237  conflicts: 39  modelTime: 1722  solveTime: 291053  totalTime: 292877  modelSize: 72269  readTime: 102 size: 14