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