(1,23) (2,29) (3,21) (4,17) (6,25) (7,18) (8,27) (11,28) (12,24) (13,30) (15,26) 
nodes: 510  conflicts: 63  modelTime: 668  solveTime: 523  totalTime: 1198  modelSize: 41300  readTime: 7 size: 11