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