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