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