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