(1,9) (2,3) (4,20) (5,29) (6,7) (8,10) (11,17) (12,21) (13,25) (14,16) (15,23) (18,27) (19,22) (24,30) (26,28) 
nodes: 139964  conflicts: 43  modelTime: 1742  solveTime: 477932  totalTime: 479694  modelSize: 72265  readTime: 20 size: 15