(2,27) (3,22) (4,17) (5,16) (6,25) (7,23) (8,24) (9,21) (10,19) (11,29) (12,20) (13,30) (15,26) 
nodes: 6322  conflicts: 40  modelTime: 661  solveTime: 10852  totalTime: 11519  modelSize: 41293  readTime: 6 size: 13