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