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