(1,18) (2,17) (3,22) (4,20) (5,21) (6,24) (7,25) (9,27) (10,28) (11,30) (12,23) (13,16) (14,26) (15,29) 
nodes: 4794  conflicts: 15  modelTime: 660  solveTime: 8955  totalTime: 9620  modelSize: 41293  readTime: 5 size: 14