(1,2) (3,6) (4,8) (5,14) (7,28) (9,19) (10,11) (13,17) (15,22) (16,23) (18,25) (20,27) (21,24) (26,29) 
nodes: 11517  conflicts: 62  modelTime: 934  solveTime: 53654  totalTime: 54599  modelSize: 72262  readTime: 11 size: 14