(1,13) (2,5) (3,6) (4,25) (7,14) (8,19) (9,10) (11,17) (12,16) (15,29) (18,23) (20,24) (26,27) 
nodes: 3991  conflicts: 56  modelTime: 936  solveTime: 14626  totalTime: 15573  modelSize: 72262  readTime: 11 size: 13