(3,22) (4,26) (5,30) (6,19) (7,28) (8,16) (9,27) (10,25) (11,18) (13,17) (14,20) (15,21) 
nodes: 1471  conflicts: 69  modelTime: 671  solveTime: 1465  totalTime: 2143  modelSize: 41300  readTime: 7 size: 12