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