(1,12) (2,29) (3,20) (4,16) (5,8) (7,30) (9,19) (10,15) (11,27) (13,23) (17,24) (21,25) (26,28) 
nodes: 1084  conflicts: 87  modelTime: 956  solveTime: 6264  totalTime: 7232  modelSize: 72263  readTime: 12 size: 13