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