(1,18) (2,21) (3,29) (4,24) (5,27) (6,30) (7,14) (8,17) (9,15) (10,16) (11,13) (12,20) (19,23) (22,26) (25,28) 
nodes: 17316  conflicts: 31  modelTime: 1229  solveTime: 95923  totalTime: 97171  modelSize: 72263  readTime: 19 size: 15