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