(1,25) (2,19) (3,26) (5,17) (6,21) (7,16) (8,30) (9,29) (10,22) (11,28) (12,18) (13,20) (14,27) (15,24) 
nodes: 2269  conflicts: 37  modelTime: 655  solveTime: 3331  totalTime: 3993  modelSize: 41298  readTime: 7 size: 14