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