(1,17) (2,19) (3,28) (4,22) (5,21) (6,20) (7,30) (8,25) (9,24) (10,16) (11,23) (12,29) (13,26) (14,27) (15,18) 
nodes: 7249  conflicts: 7  modelTime: 764  solveTime: 11226  totalTime: 11997  modelSize: 41292  readTime: 7 size: 15