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