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