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