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