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