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