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