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