(1,29) (2,10) (3,22) (4,9) (5,20) (6,25) (7,16) (8,17) (11,28) (12,15) (13,27) (14,23) (18,19) (21,30) (24,26) 
nodes: 40166  conflicts: 34  modelTime: 1732  solveTime: 191299  totalTime: 193050  modelSize: 72269  readTime: 19 size: 15