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