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