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