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