(2,26) (3,16) (4,17) (5,20) (6,23) (8,19) (10,24) (11,29) (12,27) (13,30) (14,28) (15,21) 
nodes: 1032  conflicts: 68  modelTime: 663  solveTime: 738  totalTime: 1407  modelSize: 41300  readTime: 6 size: 12