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