(1,20) (2,22) (3,29) (4,16) (5,17) (6,27) (7,30) (8,25) (9,28) (10,24) (11,26) (12,19) (15,21) 
nodes: 1944  conflicts: 46  modelTime: 659  solveTime: 2306  totalTime: 2972  modelSize: 41293  readTime: 7 size: 13