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