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