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