(1,19) (2,13) (3,4) (5,6) (7,28) (8,23) (9,16) (10,27) (11,14) (12,22) (15,25) (17,30) (18,29) (20,24) (21,26) 
nodes: 16747  conflicts: 27  modelTime: 1219  solveTime: 41875  totalTime: 43126  modelSize: 72268  readTime: 32 size: 15