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