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