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