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