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