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