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