(1,18) (3,20) (4,14) (6,22) (8,23) (11,25) (12,17) (13,24) (15,19) (16,29) (21,26) (27,28) 
nodes: 2840  conflicts: 115  modelTime: 985  solveTime: 12482  totalTime: 13488  modelSize: 72262  readTime: 21 size: 12