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