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