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