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