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