(1,5) (2,15) (3,11) (6,8) (7,30) (9,23) (10,12) (14,24) (16,21) (17,26) (18,19) (20,29) (25,27) 
nodes: 10228  conflicts: 72  modelTime: 1047  solveTime: 45297  totalTime: 46357  modelSize: 72269  readTime: 12 size: 13