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