(2,26) (3,15) (4,22) (5,8) (6,25) (7,13) (10,27) (11,14) (12,16) (17,30) (21,24) (28,29) 
nodes: 358  conflicts: 107  modelTime: 1098  solveTime: 3162  totalTime: 4293  modelSize: 72271  readTime: 33 size: 12