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