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