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