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