(1,18) (2,24) (5,26) (6,23) (8,22) (10,28) (11,21) (12,17) (13,30) (14,16) (15,29) 
nodes: 814  conflicts: 51  modelTime: 658  solveTime: 1189  totalTime: 1854  modelSize: 41293  readTime: 7 size: 11