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