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