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