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