(1,29) (2,16) (3,21) (5,20) (6,18) (7,22) (9,25) (10,19) (11,17) (12,27) (15,26) 
nodes: 2039  conflicts: 57  modelTime: 684  solveTime: 4967  totalTime: 5658  modelSize: 41292  readTime: 7 size: 11