(1,24) (2,18) (3,17) (4,30) (5,22) (6,21) (7,19) (8,25) (10,27) (11,28) (12,26) (13,16) (14,23) (15,20) 
nodes: 2325  conflicts: 23  modelTime: 655  solveTime: 4106  totalTime: 4767  modelSize: 41293  readTime: 6 size: 14