(1,16) (2,29) (3,26) (4,21) (5,15) (6,18) (7,12) (8,24) (11,13) (17,30) (19,20) (22,23) (27,28) 
nodes: 879  conflicts: 97  modelTime: 942  solveTime: 4169  totalTime: 5123  modelSize: 72262  readTime: 12 size: 13