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