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