(1,24) (2,16) (3,30) (4,23) (6,19) (7,22) (8,17) (9,18) (10,27) (11,21) (12,28) (13,29) (14,20) (15,26) 
nodes: 1963  conflicts: 15  modelTime: 658  solveTime: 2953  totalTime: 3616  modelSize: 41293  readTime: 5 size: 14