(1,27) (2,5) (3,4) (6,18) (7,12) (8,15) (10,28) (11,24) (13,29) (14,25) (16,21) (17,19) (22,23) 
nodes: 1896  conflicts: 99  modelTime: 1087  solveTime: 11145  totalTime: 12244  modelSize: 72262  readTime: 12 size: 13