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