(1,23) (2,17) (5,21) (6,27) (7,26) (8,19) (9,30) (11,29) (12,24) (13,25) (14,18) (15,28) 
nodes: 1885  conflicts: 51  modelTime: 659  solveTime: 2811  totalTime: 3477  modelSize: 41292  readTime: 7 size: 12