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