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