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