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