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