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