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