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