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