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