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