(1,19) (3,24) (4,17) (5,16) (8,18) (9,23) (10,21) (11,26) (12,20) (13,27) (14,25) (15,29) 
nodes: 1267  conflicts: 55  modelTime: 657  solveTime: 865  totalTime: 1528  modelSize: 41293  readTime: 6 size: 12