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