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