(1,3) (2,5) (4,8) (6,7) (9,22) (10,19) (11,12) (13,20) (14,23) (15,24) (16,21) (17,18) (25,29) (26,30) 
nodes: 16877  conflicts: 30  modelTime: 972  solveTime: 72434  totalTime: 73417  modelSize: 72262  readTime: 11 size: 14