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