(1,8) (2,26) (3,6) (4,15) (5,28) (9,16) (10,22) (11,19) (12,23) (13,25) (14,18) (17,20) (21,30) (27,29) 
nodes: 13888  conflicts: 71  modelTime: 1036  solveTime: 56278  totalTime: 57325  modelSize: 72262  readTime: 11 size: 14