(1,24) (2,28) (3,26) (5,25) (6,23) (7,19) (8,30) (9,18) (10,29) (11,17) (12,27) (13,22) (14,16) (15,21) 
nodes: 6072  conflicts: 45  modelTime: 656  solveTime: 9875  totalTime: 10538  modelSize: 41293  readTime: 6 size: 14