(1,27) (2,18) (3,24) (5,25) (6,28) (7,23) (8,26) (11,21) (12,16) (13,29) (14,20) (15,17) 
nodes: 1157  conflicts: 43  modelTime: 658  solveTime: 1978  totalTime: 2643  modelSize: 41293  readTime: 7 size: 12