(1,23) (2,11) (3,9) (4,6) (5,8) (7,16) (10,21) (12,22) (13,15) (14,17) (18,25) (19,24) (20,28) (26,27) (29,30) 
nodes: 99021  conflicts: 43  modelTime: 982  solveTime: 453488  totalTime: 454541  modelSize: 72262  readTime: 71 size: 15