(2,24) (3,21) (4,22) (5,26) (6,20) (7,17) (8,27) (9,19) (10,30) (11,23) (12,29) (13,25) (14,28) (15,16) 
nodes: 5289  conflicts: 20  modelTime: 682  solveTime: 11785  totalTime: 12473  modelSize: 41293  readTime: 6 size: 14