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