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