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