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