(1,19) (2,22) (5,27) (6,29) (7,20) (8,24) (9,26) (11,30) (12,17) (13,16) (15,18) 
nodes: 1042  conflicts: 49  modelTime: 671  solveTime: 1192  totalTime: 1870  modelSize: 41293  readTime: 7 size: 11