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