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