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