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