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