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