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