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