(2,18) (4,27) (6,19) (7,16) (8,30) (9,23) (10,28) (11,26) (12,22) (14,25) (15,24) 
nodes: 889  conflicts: 64  modelTime: 662  solveTime: 828  totalTime: 1497  modelSize: 41293  readTime: 7 size: 11