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