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