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