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