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