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