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