(1,5) (2,21) (3,17) (4,14) (6,20) (7,22) (8,29) (9,30) (10,23) (11,19) (12,15) (13,18) (16,25) (24,27) (26,28) 
nodes: 5336  conflicts: 1  modelTime: 948  solveTime: 22932  totalTime: 23886  modelSize: 72338  readTime: 6 size: 15