(1,24) (2,23) (3,26) (4,28) (5,17) (7,29) (8,21) (9,19) (10,27) (11,20) (12,18) (14,16) 
nodes: 805  conflicts: 59  modelTime: 662  solveTime: 1394  totalTime: 2062  modelSize: 41293  readTime: 6 size: 12