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