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