(1,20) (2,24) (3,29) (4,30) (5,7) (6,25) (8,18) (9,11) (10,22) (13,23) (14,19) (15,28) (16,27) (17,21) 
nodes: 4268  conflicts: 76  modelTime: 936  solveTime: 14196  totalTime: 15144  modelSize: 72262  readTime: 12 size: 14