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