(1,26) (2,11) (3,6) (4,23) (5,13) (7,22) (9,12) (10,17) (14,29) (15,25) (16,30) (18,27) (19,28) (20,21) 
nodes: 3413  conflicts: 65  modelTime: 972  solveTime: 11796  totalTime: 12780  modelSize: 72266  readTime: 11 size: 14