(1,24) (3,21) (4,18) (5,16) (6,30) (7,27) (8,19) (9,22) (10,29) (11,26) (12,23) (13,25) (14,28) (15,20) 
nodes: 3214  conflicts: 20  modelTime: 1184  solveTime: 8881  totalTime: 10074  modelSize: 41293  readTime: 9 size: 14