(1,4) (2,16) (3,7) (5,21) (6,17) (8,13) (9,12) (10,23) (11,29) (14,28) (18,27) (19,26) (20,24) (25,30) 
nodes: 3804  conflicts: 92  modelTime: 945  solveTime: 11454  totalTime: 12410  modelSize: 72262  readTime: 11 size: 14