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