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