(1,22) (2,18) (3,20) (4,28) (5,21) (6,30) (7,26) (8,29) (9,25) (11,17) (12,27) (13,24) 
nodes: 1971  conflicts: 65  modelTime: 663  solveTime: 3014  totalTime: 3683  modelSize: 41293  readTime: 6 size: 12