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