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