(1,25) (2,6) (3,29) (4,13) (7,17) (8,15) (9,27) (10,28) (11,16) (12,30) (14,19) (18,26) (20,21) (22,24) 
nodes: 587  conflicts: 51  modelTime: 936  solveTime: 2643  totalTime: 3591  modelSize: 72262  readTime: 12 size: 14