(1,4) (2,16) (3,13) (5,24) (6,26) (7,21) (8,30) (9,19) (10,15) (11,25) (12,28) (14,29) (17,20) (18,23) (22,27) 
nodes: 15182  conflicts: 55  modelTime: 1694  solveTime: 65041  totalTime: 66755  modelSize: 72265  readTime: 20 size: 15