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