(2,25) (3,28) (4,29) (5,20) (6,27) (7,19) (8,23) (9,26) (10,21) (12,30) (13,24) (14,17) (15,22) 
nodes: 2303  conflicts: 32  modelTime: 664  solveTime: 3146  totalTime: 3817  modelSize: 41293  readTime: 7 size: 13