(1,27) (3,30) (4,15) (5,25) (6,12) (7,26) (8,11) (9,23) (10,28) (13,20) (14,17) (16,18) (19,24) (21,22) 
nodes: 8817  conflicts: 44  modelTime: 977  solveTime: 40669  totalTime: 41657  modelSize: 72262  readTime: 11 size: 14