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