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