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