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