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