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