(1,7) (2,29) (3,30) (4,11) (5,6) (8,14) (9,26) (10,21) (12,23) (13,27) (15,18) (16,28) (17,25) (19,20) (22,24) 
nodes: 13006  conflicts: 11  modelTime: 1189  solveTime: 70024  totalTime: 71231  modelSize: 72264  readTime: 18 size: 15