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