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