(2,22) (3,18) (4,20) (5,21) (6,27) (9,19) (10,25) (11,26) (13,30) (14,24) (15,16) 
nodes: 1952  conflicts: 50  modelTime: 659  solveTime: 2205  totalTime: 2871  modelSize: 41293  readTime: 7 size: 11