(1,26) (2,17) (3,24) (5,22) (6,21) (7,25) (8,30) (9,20) (10,19) (11,28) (13,27) (14,29) (15,23) 
nodes: 2235  conflicts: 59  modelTime: 658  solveTime: 2339  totalTime: 3004  modelSize: 41293  readTime: 7 size: 13