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