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