(1,5) (2,12) (3,30) (4,29) (6,27) (7,10) (8,13) (9,15) (11,17) (14,24) (16,28) (18,19) (20,25) (22,23) 
nodes: 8438  conflicts: 64  modelTime: 933  solveTime: 31685  totalTime: 32629  modelSize: 72264  readTime: 11 size: 14