(1,30) (2,19) (3,27) (4,25) (5,16) (6,22) (7,29) (8,18) (9,24) (11,20) (13,17) (14,21) 
nodes: 1956  conflicts: 31  modelTime: 658  solveTime: 3095  totalTime: 3760  modelSize: 41298  readTime: 7 size: 12