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