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