(1,29) (2,23) (3,16) (5,18) (6,17) (8,28) (9,20) (10,26) (11,30) (12,25) (13,27) (15,21) 
nodes: 1067  conflicts: 53  modelTime: 663  solveTime: 870  totalTime: 1539  modelSize: 41293  readTime: 6 size: 12