(1,22) (2,28) (3,25) (4,16) (5,19) (6,29) (7,15) (8,18) (9,17) (10,27) (11,23) (12,26) (13,14) (20,21) (24,30) 
nodes: 44063  conflicts: 11  modelTime: 1231  solveTime: 197270  totalTime: 198524  modelSize: 72264  readTime: 23 size: 15