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