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