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