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