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