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