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