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