(1,21) (2,22) (3,23) (4,20) (5,27) (6,18) (7,26) (8,29) (9,17) (10,16) (11,19) (12,30) (13,25) 
nodes: 1107  conflicts: 50  modelTime: 659  solveTime: 1514  totalTime: 2180  modelSize: 41292  readTime: 7 size: 13