(1,30) (2,23) (3,28) (4,16) (5,22) (6,20) (8,26) (11,25) (12,29) (13,24) (15,21) 
nodes: 1200  conflicts: 61  modelTime: 658  solveTime: 1386  totalTime: 2050  modelSize: 41293  readTime: 6 size: 11