(1,29) (2,8) (3,18) (4,19) (6,10) (7,12) (9,25) (11,26) (13,21) (14,24) (15,22) (20,23) (27,30) 
nodes: 1343  conflicts: 73  modelTime: 1704  solveTime: 7025  totalTime: 8750  modelSize: 72262  readTime: 21 size: 13