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