(1,13) (2,22) (5,12) (6,27) (7,18) (8,11) (9,28) (10,24) (14,20) (15,26) (16,17) (19,25) (21,29) 
nodes: 5620  conflicts: 104  modelTime: 936  solveTime: 13514  totalTime: 14463  modelSize: 72262  readTime: 12 size: 13