(1,23) (2,21) (3,30) (5,22) (6,24) (7,17) (8,19) (10,25) (11,20) (12,28) (13,18) (14,16) (15,29) 
nodes: 6200  conflicts: 37  modelTime: 667  solveTime: 10801  totalTime: 11473  modelSize: 41293  readTime: 5 size: 13