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