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