(1,30) (2,27) (3,17) (4,24) (5,16) (6,25) (7,26) (8,20) (9,29) (10,19) (11,18) (13,22) 
nodes: 1789  conflicts: 52  modelTime: 667  solveTime: 1331  totalTime: 2005  modelSize: 41293  readTime: 6 size: 12