(1,21) (2,18) (3,14) (4,6) (5,25) (7,11) (8,22) (9,20) (10,30) (12,26) (13,16) (15,24) (17,27) (19,23) 
nodes: 5830  conflicts: 47  modelTime: 958  solveTime: 22007  totalTime: 22977  modelSize: 72262  readTime: 12 size: 14