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